Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
pressure gauge
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Identity is defined by the measuring function - any device that measures and displays pressure qualifies as a pressure gauge, regardless of the specific physical mechanism (bourdon tube, diaphragm, digital, etc.)
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
PressureMeasurementFunction → PressureMeasurementProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
All definitions consistently identify measurement and display of pressure as the identity-giving function. This distinguishes pressure gauges from pressure transmitters (which transmit signals) and other pressure-related instruments.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Indicator · 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:
While parent candidates include PRESSURE MEASURING INSTRUMENT and PROCESS GAUGE from ISO15926, the most appropriate genus is the general Instrument class that encompasses all measuring and indicating devices. This is more specific than MaterialArtifact but captures the essential nature as a measuring device. Instrument is not yet enriched in our ontology but should be defined later as a measuring/monitoring device.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.PressureMeasurementFunction
▼
Conditions that distinguish
Pressure Gauge
from sibling classes under genus
Indicator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The specific measurement of pressure is what distinguishes this from other instruments. The function is both necessary (all pressure gauges must measure pressure) and sufficient (any instrument that measures and displays pressure is a pressure gauge).
▸
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 are the minimal essential components present in all pressure gauge implementations, regardless of technology or specific design.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PressureMeasurementResult
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Pressure gauges are passive measuring devices that sense the pressure of a connected fluid and provide a visual indication without altering the measured fluid.
▸
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 Pressure Gauge as
bfo:Quality subclasses.
Each selected property →
:PressureGaugeQuality ⊑ bfo:Quality, inheres in :PressureGauge
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on 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 (4)
PRESSURE GAUGE — ClassOfFunctionalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
pressure gauge — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
pressure gauge
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Pressure Gauge — Class
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (4)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
Linked competency questions
- answered What distinguishes a Transmitter from a local Indicator?
- answered What distinguishes a pressure gauge from a pressure transmitter?
- open What is a housing?
- open Which COPI equipment classes require a housing as a necessary component? (candidates: blower, humidity analyser and 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 124 · claude-sonnet-4-20250514
Created 2026-04-15 22:05
Updated 2026-09-08 12:26
