Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
differential pressure measuring element
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined by its designed function to measure differential pressure, regardless of the physical mechanism used (bellows, bourdon, diaphragm, piston, etc.). The identity is given by the measurement function, not by any specific structural 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
DifferentialPressureMeasurementFunction → DifferentialPressureMeasurementProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is the measurement of differential pressure, which distinguishes this from absolute pressure measurement or gauge pressure measurement. This function is realized through various mechanical mechanisms but the functional identity remains constant.
▸
Expert review
2
Genus Proximus
✓ done
PressureElement · 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 parent_candidates list, 'PRESSURE MEASURING ELEMENT' maps to 'pressure element' which is already enriched in our ontology. This is the most specific appropriate superclass, as differential pressure measuring elements are a specialized type of pressure sensing device. The genus is more specific than the generic 'Instrument' and captures the pressure-specific sensing capability.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.DifferentialPressureMeasurementFunction
▼
Conditions that distinguish
Differential Pressure Measuring Element
from sibling classes under genus
PressureElement.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific subtype of pressure measurement function that distinguishes differential pressure measurement from other pressure measurement types. This is the minimal additional condition beyond the genus that defines the species identity.
▸
Expert review
4
Necessary Parts
✓ done
None
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
While the subtypes indicate various sensing mechanisms (bellows, bourdon tube, diaphragm, piston, liquid column), these are subtype-specific implementations rather than universal parts. The generic differential pressure measuring element concept does not mandate a specific sensing mechanism, only the functional capability.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature captures the fundamental operation: two fluid pressure inputs create mechanical displacement output proportional to their difference. This distinguishes differential pressure elements from single-input pressure sensors and grounds the measurement transduction transformation.
▸
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 Differential Pressure Measuring Element.
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.
