Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
differential 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 specific function of transmitting differential pressure measurements as signals, which is a specialization of the general pressure transmission function. The definitions focus on the measurement and signal transmission capability rather than physical construction.
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
DifferentialPressureTransmissionFunction → DifferentialPressureMeasurementAndTransmissionProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent PressureMeasurementAndTransmissionProcess
LLM rationale:
The identity-giving function is measuring the difference between two pressures and transmitting this differential as a standardized signal, which is a specific subtype of pressure transmission that requires two pressure inputs rather than one absolute pressure.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
PressureTransmitter · 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:
ISO 15926 explicitly states this is a subtype of PRESSURE TRANSMITTER. The parent_candidates include 'pressure transmitter' which is already enriched in our ontology. This is the most specific appropriate superclass - more specific than 'transmitter' but still a genuine supertype of differential pressure transmitter.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.DifferentialPressureTransmissionFunction
▼
Conditions that distinguish
Differential 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 differentia is the specific subtype of pressure transmission function that requires two pressure inputs and computes their difference, which is not provided by the genus pressure transmitter that covers general pressure measurement and transmission.
▸
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:
Differential pressure transmitters require specialized components to handle two pressure inputs and compute their difference, beyond the basic signal transmission components inherited from the transmitter genus.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PressureMeasurementResult + PressureMeasurementResult → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature requires two pressure inputs to compute differential, distinguishing it from single-input pressure transmitters. Output is standardized signal proportional to pressure difference.
▸
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 16 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Differential Pressure Transmitter as
bfo:Quality subclasses.
Each selected property →
:DifferentialPressureTransmitterQuality ⊑ bfo:Quality, inheres in :DifferentialPressureTransmitter
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Differential 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.
Source Definitions (2)
DIFFERENTIAL PRESSURE TRANSMITTER — ClassOfFunctionalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
differential pressure transmitter — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (2)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
standard · verbatim
Quote hidden — sign in to view.
standard · verbatim
Quote hidden — sign in to view.
Linked competency questions
- answered What planned processes involve Transmitters as measurement participants?
- answered What is the measurand of a differential pressure transmitter?
OWL/Turtle preview
Download .ttl
Numeric
COPI_* IRIs from copi-iri-map.tsv, with the readable name as a trailing comment. Names not yet in the map stay readable.
Loading...
ID 68 · claude-sonnet-4-20250514
Created 2026-04-13 23:41
Updated 2026-09-08 12:26
