Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
pipe
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
A pipe is primarily defined by its physical configuration - a long hollow cylindrical body/tube structure. While pipes can serve various functions (fluid conduction, structural support), their identity is grounded in their geometric form rather than any single designed function. Different pipe instances can serve different roles (conveying liquids, gases, solids, or structural purposes) while maintaining the same basic tubular configuration.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
FluidConductionFunction → FluidConductionProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
While pipes can serve structural purposes, their primary and most common designed function is fluid conduction - providing a pathway for liquid, gaseous or finely divided solid materials. This is the most general function that encompasses the majority of pipe applications.
▸
Expert review
2
Genus Proximus
✓ done
MaterialArtifact
▼
Genus (genus proximum)
Most specific superclass — may be a domain class like "Valve" or an IOF-Core root.
BFO/IOF-Core Root
bfo:Object branch
bfo:ObjectAggregate branch
bfo:ImmaterialEntity branch
LLM rationale:
Pipe represents a fundamental category of industrial equipment without a more specific superclass in our current ontology. While FLUID CONDUCTOR appears in the source hierarchies, it is not present in our enriched classes. A pipe is a causally unified material artifact - a single physical object that can be manufactured, transported, installed, and maintained as one unit. It lacks the complex removable subcomponents that would make it an Assembly.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.FluidConductionFunction ⊓ ∃hasPhysicalProperty.TubularGeometry ⊓ ∃hasPhysicalProperty.LongitudinalExtent
▼
Conditions that distinguish
Pipe
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The tubular geometry and longitudinal extent are the minimal physical properties that distinguish a pipe from other material artifacts. The FluidConductionFunction covers the primary designed purpose, though pipes can also serve structural roles.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These are the minimal essential parts that make a pipe a pipe - the wall structure and the hollow interior. End connections, fittings, or supports are not universal requirements.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
A pipe provides a conduit for fluid transport from one location to another without altering the fluid's properties. The signature is minimal - one input stream, one output stream, no transformation beyond spatial displacement.
▸
Expert review
More
Alternative labels
none
▼
Synonyms / alternative labels (comma-separated) — skos:altLabel
Language auto-detected on export (PT if the label contains accents, EN otherwise).
Properties as BFO qualities
0 of 34 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Pipe as
bfo:Quality subclasses.
Each selected property →
:PipeQuality ⊑ bfo:Quality, inheres in :Pipe
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Pipe.
Write the restriction block in Turtle syntax (without the leading
rdfs:subClassOf).
Example: [ owl:onProperty :hasPart ; owl:someValuesFrom :Wellhead ]
Cross-standard divergences
none detected yet
▼
Click "Detect divergences" to analyse cross-standard disagreements for this cluster.
