Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
pipe bend
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The concept is primarily defined by its physical configuration - a pipe section with a curved geometry to change piping direction with non-standard radius. The 'non-standard radius' specification is a geometric/structural property, not a functional requirement. While it conducts fluid like any pipe, its identity is given by its bent geometry.
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:
Like any pipe component, pipe bends conduct fluid from one location to another. This is the generic function inherited from the pipe genus, not a distinguishing function specific to bends.
▸
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:
All source definitions consistently indicate pipe bend is a specialized type of piping component. The enriched 'pipe' class (function: FluidConductionFunction, genus: MaterialArtifact) is the most specific appropriate superclass. Pipe bend is essentially a pipe with modified geometry, inheriting the basic fluid conduction function while adding directional change capability through its curved form.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasQuality.CurvedGeometry ⊓ ∃hasQuality.NonStandardBendRadius
▼
Conditions that distinguish
Pipe Bend
from sibling classes under genus
Pipe.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The key differentiating characteristic is the curved geometry with non-standard radius. All three source definitions emphasize 'non-standard radius' as the distinguishing feature, contrasting with standard pipe fittings like elbows which have standardized bend radii.
▸
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:
Pipe bends inherit the basic pipe structure (pipe wall, bore) from the pipe genus. The specific additional part is the bent section that creates the curved geometry distinguishing it from straight pipes.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Like any pipe, conducts fluid from inlet to outlet, but the curved geometry changes the flow direction. The fluid properties remain unchanged - only the flow direction is modified.
▸
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 2 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Pipe Bend as
bfo:Quality subclasses.
Each selected property →
:PipeBendQuality ⊑ bfo:Quality, inheres in :PipeBend
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Pipe Bend.
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.
