Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
absolute pressure transmitter
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
This concept is defined by a specific structural/constructive differentia - the presence of a vacuum reference chamber on one side of the sensor. While it shares the general pressure transmission function with other pressure transmitters, its identity comes from this specific physical configuration that enables absolute pressure measurement.
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
PressureTransmissionFunction → PressureTransmissionProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is pressure transmission - converting pressure measurements into standardized signals for transmission to control systems. This is the same core function as other pressure transmitters, with the absolute measurement capability being a constructive differentia rather than a distinct function.
▸
Expert review
2
Genus Proximus
✓ done
PressureTransmitter · 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:
The genus is 'pressure transmitter' which is already enriched in our ontology and appears in the parent candidates from ISO 15926. This is the most specific appropriate superclass - all absolute pressure transmitters are pressure transmitters with the additional structural constraint of having a vacuum reference chamber.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasPart.VacuumReferenceChamber
▼
Conditions that distinguish
Absolute Pressure Transmitter
from sibling classes under genus
PressureTransmitter.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The vacuum reference chamber is the essential structural differentia that enables absolute pressure measurement by providing a near-perfect vacuum reference against which the process pressure is measured.
▸
Expert review
4
Necessary Parts
✓ done
VacuumReferenceChamber, PressureSensor
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The vacuum reference chamber is the key differentiating part that must be present in all absolute pressure transmitters, while the pressure sensor is inherited from the genus.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Takes process fluid pressure as input and outputs electrical signal proportional to absolute pressure using vacuum chamber as reference.
▸
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 15 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Absolute Pressure Transmitter as
bfo:Quality subclasses.
Each selected property →
:AbsolutePressureTransmitterQuality ⊑ bfo:Quality, inheres in :AbsolutePressureTransmitter
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Absolute Pressure Transmitter.
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.