Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
temperature indicator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Temperature indicator is defined by its primary function of measuring and locally displaying temperature values. The definition emphasizes the functional purpose (temperature measurement and local indication) rather than specific structural mechanisms, though it mentions possible sensing elements. The identity is given by what the instrument does (indicates temperature locally) rather than how it is constructed.
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
TemperatureIndicationFunction → TemperatureIndicationProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is to measure temperature and display the measured value locally. This function already exists in the enriched classes for 'analogue temperature indicator', so we reuse the same function name. The function is distinct from temperature transmission (which produces remote signals) by being limited to local indication.
▸
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:
Temperature indicator is a type of measuring instrument. While 'Instrument' appears as a genus in several enriched classes (indicator, controller, detector, etc.), it is not itself in the enriched classes list, so genus_enriched=false. The concept belongs to the Assembly branch as it consists of multiple connected components (sensing element, linkage, display) that form a causally unified measurement device.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasInput.Temperature ⊓ ∃hasOutput.TemperatureMeasurementResult
▼
Conditions that distinguish
Temperature Indicator
from sibling classes under genus
Indicator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia focuses on temperature as the measured variable and local-only display as the output characteristic. This distinguishes it from other instruments that measure different variables or provide remote transmission capabilities.
▸
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 three components are essential for any temperature indicator: sensing element to detect temperature, display to show the value, and some form of linkage to transmit the signal from sensor to display.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → TemperatureMeasurementResult
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Temperature indicators have a simple signature: they sense temperature at one location and display it locally. Unlike transmitters, they do not produce standardized remote output signals.
▸
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
no CFIHOS/DEXPI properties
▼
No CFIHOS/DEXPI properties found for this cluster.
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Temperature Indicator.
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.
