Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
header
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The definition emphasizes function over structure - headers are defined by their role in collecting or distributing fluids to/from smaller pipes, not by specific physical configuration. While they may be implemented as pipes or manifolds, their identity is given by the distribution/collection 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
FluidDistributionFunction → FluidDistributionProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
The identity-giving function is fluid distribution - headers are designed to either collect fluid from multiple smaller pipes or distribute fluid to multiple smaller pipes. This aligns with the already-enriched 'manifold' class which has the same function.
▸
Expert review
2
Genus Proximus
✓ done
Manifold · Assembly
▼
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:
Headers and manifolds serve the same functional role (fluid distribution/collection) but headers are specifically characterized by connecting to 'many smaller pipes' rather than general fluid distribution. Manifold is already enriched in the ontology with FluidDistributionFunction and Assembly genus, making it the appropriate superclass.
▸
Expert review
3
Differentia Specifica
✓ done
∃connects_to.SmallPipe ⊓ ∃participatesIn.MultiStreamDistributionProcess
▼
Conditions that distinguish
Header
from sibling classes under genus
Manifold.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The key differentia is the specific relationship to 'many smaller pipes' mentioned in the definition. This distinguishes headers from general manifolds that may distribute to various types of connections.
▸
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:
Headers inherit basic manifold parts but specifically require multiple connections to accommodate the many smaller pipes they interface with.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Headers transform between single/few large streams and multiple smaller streams, enabling collection or distribution functionality.
▸
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 Header.
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.
