Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
temperature element
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The identity is given by the DesignedFunction to sense/detect temperature. The definitions focus on the sensing capability rather than any specific physical mechanism (resistance, thermocouple, etc.). Different physical implementations can fulfill the same temperature sensing function.
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
TemperatureSensingFunction → TemperatureSensingProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function is to sense temperature - this is what makes a temperature element distinct from other types of sensing elements (pressure, flow, etc.). This is a subtype of sensing/detection functions focused specifically on thermal measurement.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Instrument · 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:
Both source definitions explicitly state this is 'a detecting element intended to sense temperature'. The parent_candidates list includes 'detecting element' from CFIHOS, which is the most specific appropriate superclass. This is more specific than the generic 'Instrumentation And Control Equipment' from POSC Caesar. Although not yet enriched in our ontology, 'detecting element' is the correct genus as it captures the sensing/detection nature while being more specific than MaterialArtifact.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.TemperatureSensingFunction
▼
Conditions that distinguish
Temperature Element
from sibling classes under genus
Instrument.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific sensing function - temperature sensing rather than the generic detection function provided by the genus. This distinguishes temperature elements from other types of detecting elements that sense different physical parameters.
▸
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:
At this level of abstraction, we only identify the most fundamental part - the actual sensing element. Specific implementations (resistance elements, thermocouples, etc.) would have more specific parts defined at their subtype levels.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → TemperatureMeasurementResult
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Temperature elements transduce thermal energy from the measured medium into an electrical signal that represents the temperature value. The transformation is fundamentally thermal-to-electrical transduction.
▸
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 5 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Temperature Element as
bfo:Quality subclasses.
Each selected property →
:TemperatureElementQuality ⊑ bfo:Quality, inheres in :TemperatureElement
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Temperature 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.
