Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
pipe elbow
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
A pipe elbow is defined by its physical geometry and structural configuration (curved/bent shape with specific angular geometry) rather than by a unique function. All pipe elbows perform the same generic function as pipes (FluidConductionFunction) but are distinguished by their bent geometry that enables directional changes in pipe runs.
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:
A pipe elbow's identity-giving function is the same as any pipe component - to conduct fluid through its internal passage. The elbow geometry is a structural feature that enables this conduction function in directional changes, but does not constitute a distinct function type.
▸
Expert review
2
Genus Proximus
✓ done
Pipe · 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:
From the source hierarchies, pipe elbow is classified as both a PIPING COMPONENT and an ELBOW. The most specific appropriate genus is 'pipe' since a pipe elbow is fundamentally a specialized pipe segment with curved geometry. The enriched pipe class already exists in our ontology with FluidConductionFunction, making it the correct direct superclass.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasGeometricProperty.CurvedGeometry ⊓ ∃hasProperty.DirectionalChangeCapacity
▼
Conditions that distinguish
Pipe Elbow
from sibling classes under genus
Pipe.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The curved geometry is the essential structural differentia that distinguishes pipe elbows from straight pipes. The angular range constraint (0-135 degrees) from the definitions captures the specific geometric limitation that excludes sharper bends or return bends.
▸
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 parts are necessary for any pipe elbow regardless of specific angle, radius, or end connection type. More specific parts (like particular end connection types) vary by subtype and should be modeled at those levels.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
A pipe elbow conducts fluid while changing its flow direction. The fluid composition and phase remain unchanged, but the flow vector is altered according to the elbow's geometry.
▸
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
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Pipe Elbow.
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.
