Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
temperature transmitter
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
A temperature transmitter is defined by its dual functions of measuring temperature and transmitting signals, regardless of the specific physical implementation (thermocouples, RTDs, etc.). The identity is given by the combined measurement and transmission functions, not by any particular structural mechanism.
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
TemperatureMeasurementAndTransmissionFunction → TemperatureMeasurementAndTransmissionProcess ⊑ MeasurementProcess
▼
COPI-Core operation
MeasurementProcess via process parent MeasurementProcess
LLM rationale:
The identity-giving function combines temperature measurement with signal transmission. While SignalTransmissionFunction already exists in the ontology for generic transmitters, temperature transmitters have a more specific function that includes the temperature sensing capability - they don't just transmit arbitrary signals but specifically measure and transmit temperature data.
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Transmitter · 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:
The parent_candidates include 'transmitter' which is already enriched in our ontology with function SignalTransmissionFunction. ISO 15926 shows temperature transmitter as both a PROCESS VARIABLE TRANSMITTER and TEMPERATURE MEASURING INSTRUMENT, but 'transmitter' is the most specific appropriate superclass that exists in our system. Temperature transmitters inherit signal transmission capability and add temperature measurement specificity.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃bearerOf.TemperatureMeasurementCapability ⊓ ∃hasInput.TemperatureMeasurementResult
▼
Conditions that distinguish
Temperature Transmitter
from sibling classes under genus
Transmitter.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The genus 'transmitter' already provides signal transmission functionality. The differentia adds the temperature measurement capability that distinguishes this from other process variable transmitters. The temperature signal input requirement captures that these devices specifically process temperature-related inputs from temperature elements.
▸
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:
All temperature transmitters require these core components: a temperature sensor to measure temperature and signal conversion electronics to produce the standardized output signal. These are universal requirements regardless of specific temperature sensing technology used.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
TemperatureMeasurementResult → InformationContentEntity
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Temperature transmitters receive temperature input signals from temperature elements (thermocouples, RTDs, etc.) and output standardized signals for process control systems. This signature distinguishes them from other transmitter types.
▸
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 13 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Temperature Transmitter as
bfo:Quality subclasses.
Each selected property →
:TemperatureTransmitterQuality ⊑ bfo:Quality, inheres in :TemperatureTransmitter
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Temperature Transmitter.
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)
TEMPERATURE TRANSMITTER — ClassOfFunctionalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
temperature transmitter — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Temperature Transmitter — ISA Tag Abbreviation
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Temperature Transmitter — 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 planned processes involve Transmitters as measurement participants?
- answered What distinguishes a Transmitter from a local Indicator?
- answered What distinguishes a temperature element from a temperature transmitter?
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 43 · claude-sonnet-4-20250514
Created 2026-04-13 22:16
Updated 2026-09-08 12:26
