Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
pipe tee
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The pipe tee is defined purely by its physical geometry and structure - having three piping ends in T-shape with a 90-degree branch. This is a geometric/structural differentia rather than a functional one. While it enables fluid distribution, its identity is given by the T-shaped configuration, not by a specific designed function.
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 other pipe fittings, the pipe tee's basic function is to conduct fluid while enabling flow division/combining. This is the same generic function as pipes and pipe elbows - it provides a conduit for fluid flow. The T-shape configuration enables branching but the identity-giving function is still fluid conduction.
▸
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:
A pipe tee is fundamentally a specialized form of pipe fitting that provides branching functionality. The source hierarchies suggest 'PIPING COMPONENT' but the most specific appropriate genus from our enriched classes is 'pipe', which captures that this is a fluid conduction artifact. Pipe tees are monolithic artifacts (typically cast or forged as a single piece) without removable subcomponents, making MaterialArtifact the appropriate BFO root rather than Assembly.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasPartAtAllTimes.BranchPort ⊓ ∃hasPartAtAllTimes.RunPort ⊓ ∃hasPartAtAllTimes.RunPort
▼
Conditions that distinguish
Pipe Tee
from sibling classes under genus
Pipe.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The essential structural differentia is the T-shaped geometry with exactly three ports - two run ports (forming the straight-through path) and one branch port perpendicular to the run. This geometric configuration is what distinguishes a pipe tee from other pipe fittings.
▸
Expert review
4
Necessary Parts
✓ done
BranchPort
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The essential parts reflect the T-geometry: three ports (one branch, two run) and the body that houses the flow passages in T-configuration.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
A pipe tee can operate in combining mode (two inlets, one outlet) or dividing mode (one inlet, two outlets), enabling fluid distribution or collection without altering the fluid properties.
▸
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 Tee as
bfo:Quality subclasses.
Each selected property →
:PipeTeeQuality ⊑ bfo:Quality, inheres in :PipeTee
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Pipe Tee.
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.
