Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
temperature measuring element
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined purely by its designed function to measure temperature, regardless of the physical mechanism used (bimetal, thermocouple, resistance, infrared, etc.). The subtypes show various constructive implementations of the same functional identity.
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
TemperatureMeasurementFunction → TemperatureMeasurementProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is to measure temperature - converting thermal energy into a measurable signal. This is what makes it a temperature measuring element rather than any other type of measuring element.
▸
Expert review
2
Genus Proximus
✓ done
TemperatureElement · 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 MEASURING ELEMENT. MeasuringElement would be a MaterialArtifact designed for measurement functions. No parent_candidates were provided, but the source definition clearly establishes this hierarchy.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasFunction.TemperatureMeasurementFunction
▼
Conditions that distinguish
Temperature Measuring Element
from sibling classes under genus
TemperatureElement.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The genus MeasuringElement already provides general measurement capability. The differentia is the specific measurement of temperature rather than other measurable quantities.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
All temperature measuring elements require a sensing element that physically responds to temperature, regardless of the specific mechanism (bimetal, thermocouple, resistance element, etc.)
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → MeasurementInformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Temperature measuring elements transduce thermal energy from the measured medium into a measurable signal (electrical, mechanical, optical, etc.)
▸
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 Measuring Element.
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.
