Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
pressure transmitter
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 function of transmitting pressure measurement signals (SignalTransmissionFunction applied to pressure variables), not by its physical construction mechanism. All definitions emphasize the functional role of converting pressure input to standardized output signals.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
— accepted
Axiomatization steps
1
Identity-Giving Function
✓ done
PressureTransmissionFunction → PressureSignalTransmissionProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent SignalTransmissionProcess
LLM rationale:
The identity-giving function is the specialized transmission of pressure measurement data as standardized output signals. This is a subtype of the already-defined SignalTransmissionFunction, specifically for pressure variables. The function realizes the conversion of pressure sensing to communication-ready signals.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Transmitter · 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 parent_candidates, 'transmitter' is the most specific appropriate superclass and is already enriched in our ontology with SignalTransmissionFunction. ISO 15926 confirms this inheritance path through PROCESS VARIABLE TRANSMITTER. 'PRESSURE MEASURING INSTRUMENT' is a lateral classification axis (measurement vs transmission), while 'transmitter' captures the core equipment category.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasFunction.PressureTransmissionFunction
▼
Conditions that distinguish
Pressure Transmitter
from sibling classes under genus
Transmitter.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specialization to pressure variables. Since transmitter already provides the generic signal transmission capability, only the process variable specificity (pressure) distinguishes this from other transmitter types.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts constitute the minimal functional architecture: sensing, conditioning, and process interface. Specific sensor technologies (capacitive, piezoresistive) vary by subtype.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PressureMeasurementResult → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Signature reflects the signal transduction from pressure sensing to communication-ready output, requiring electrical power for active signal conditioning and transmission.
▸
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 5 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Pressure Transmitter as
bfo:Quality subclasses.
Each selected property →
:PressureTransmitterQuality ⊑ bfo:Quality, inheres in :PressureTransmitter
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on 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.