Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
differential pressure gauge
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 measuring and indicating differential pressure between two points, which is a specific measurement function that determines its identity regardless of the physical mechanism (Bourdon tube, diaphragm, etc.)
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 measuring the difference between two pressure inputs and displaying this value. This is distinct from absolute pressure measurement as it requires two pressure inputs and computes their difference.
▸
Expert review
2
Genus Proximus
✓ done
PressureGauge · 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:
From parent candidates, 'pressure gauge' is the most specific appropriate superclass and is already enriched in our ontology. The differential pressure gauge inherits the basic pressure measurement capability but specializes it to differential measurement.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.DifferentialPressureMeasurementFunction ⊓ ∃hasInput.PressurePortPair
▼
Conditions that distinguish
Differential Pressure Gauge
from sibling classes under genus
PressureGauge.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific function of differential measurement and the structural requirement for dual pressure inputs. The genus already provides basic pressure measurement capability.
▸
Expert review
4
Necessary Parts
✓ done
DifferentialPressureMeasuringElement
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Beyond the basic gauge components inherited from the genus, differential pressure gauges specifically require a differential measuring element and dual pressure ports
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PressureMeasurementResult → PressureMeasurementResult
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Takes two pressure inputs, computes their difference, and displays the result. The signature differs from absolute pressure gauges by requiring two pressure inputs instead of one.
▸
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 12 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Differential Pressure Gauge as
bfo:Quality subclasses.
Each selected property →
:DifferentialPressureGaugeQuality ⊑ bfo:Quality, inheres in :DifferentialPressureGauge
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Differential Pressure Gauge.
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 GAUGE — ClassOfFunctionalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
differential pressure gauge — 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.
Linked competency questions
- open What is a differential pressure measuring element?
- open Is a differential pressure measuring element a necessary component of every differential pressure gauge?
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 218 · claude-sonnet-4-20250514
Created 2026-04-16 18:12
Updated 2026-09-08 12:26
