validated
necessary
temperature measuring instrument - bimetal
IRI:
http://www.inf.ufrgs.br/ontologies/copi#Temperaturemeasuringinstrument-Bimetal
Generated on 2026-09-08
Natural Language Definition
EN
A bimetallic thermometer is an analogue temperature indicator whose dial pointer is actuated by a coiled bimetallic strip that deflects with differential thermal expansion.
PT-BR
Um termometro bimetalico e um indicador analogico de temperatura cujo ponteiro e acionado por uma lamina bimetalica enrolada que se deflete por expansao termica diferencial.
Formal Axioms
Semi-formal (Aristotelian)
Every bimetallic thermometer is an analogue temperature indicator that bears a temperature indication function and has a bimetallic coil as a component part, which drives the dial pointer.
First-Order Logic Theory
Loading…
▸ Stored override
∀x (BimetallicThermometer(x) → AnalogueTemperatureIndicator(x) ∧ ∃f (TemperatureIndicationFunction(f) ∧ bearerOf(x,f)) ∧ ∃p (BimetallicCoil(p) ∧ hasComponentPartAtAllTimes(x,p)))
OWL 2 / Turtle
@prefix copi: <https://www.inf.ufrgs.br/ontologies/copi/> .
@prefix : <https://www.inf.ufrgs.br/ontologies/copi/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix bfo: <http://purl.obolibrary.org/obo/> .
@prefix iof-core: <https://spec.industrialontologies.org/ontology/construct/> .
@prefix iof-av: <https://spec.industrialontologies.org/ontology/annotation/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix qudt: <http://qudt.org/schema/qudt/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix apv: <http://inf.ufrgs.br/ontologies/apv#> .
### COPI — Core Ontology for Petroleum Installations
### Class module: TemperatureMeasuringInstrumentBimetal
<https://www.inf.ufrgs.br/ontologies/copi>
rdf:type owl:Ontology ;
dcterms:title "Core Ontology for Petroleum Installations (COPI)"@en ;
dcterms:title "Ontologia Core para Instalações de Petróleo (COPI)"@pt-br ;
dcterms:description "BFO/IOF-Core conformant ontology of equipment classes for petroleum production plants, developed using the five-step RDL enrichment method."@en ;
skos:scopeNote "Material artifacts (bfo:material_entity) that (i) are part of a petroleum production plant, and (ii) bear at least one function whose realization involves the transport (e.g. production and injection), processing (separation and other processes), control, monitoring, measurement, containment or offloading of material or energy."@en ;
skos:scopeNote "Artefatos materiais (bfo:material_entity) que (i) fazem parte de uma planta de produção de petróleo, e (ii) possuem ao menos uma função cuja realização envolve o transporte (p. ex. produção e injeção), processamento (separação e outros processos), controle, monitoramento, medição, contenção ou escoamento de material ou energia."@pt-br ;
skos:scopeNote "COPI provides high-level equipment categories defined by function to demonstrate the defined-class mechanism. Equipment subtypes are annotated with references to CFIHOS and PCA RDL terms. COPI is not a reference data library; organizations should use CFIHOS, PCA RDL, or ISO 14224 for comprehensive equipment classification."@en ;
skos:scopeNote "COPI fornece categorias de alto nível de equipamentos definidas por função para demonstrar o mecanismo de classe definida. Os subtipos de equipamentos são anotados com referências aos termos do CFIHOS e do PCA RDL. COPI não é uma biblioteca de dados de referência; organizações devem utilizar o CFIHOS, o PCA RDL ou a ISO 14224 para classificação abrangente de equipamentos."@pt-br ;
owl:versionInfo "1.1.0" ;
owl:imports <https://spec.industrialontologies.org/ontology/core/Core/> ;
owl:imports <http://purl.obolibrary.org/obo/bfo/2020/bfo.owl> ;
dcterms:creator "Nicolau Oyhenard dos Santos"@en ;
dcterms:contributor "Cauã Antunes" ;
dcterms:contributor "Haroldo Rojas" ;
dcterms:contributor "Rafael Petry" ;
dcterms:contributor "Régis Romeu" ;
dcterms:contributor "Mara Abel" ;
dcterms:isPartOf <https://inf.ufrgs.br/projetos/OntoKG> ;
dcterms:publisher "Universidade Federal do Rio Grande do Sul (UFRGS)"@en ;
dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
dcterms:created "2026-04-08"^^xsd:date ;
dcterms:modified "2026-10-08"^^xsd:date ;
apv:GlobalMinLanguageCoverage "en pt-br" ;
apv:ClassURIFormationRule "https://www[.]inf[.]ufrgs[.]br/ontologies/copi/(COPI_[0-9]{7}|[A-Z][A-Za-z0-9]*)" ;
apv:ClassMinAnnotationCoverage "rdfs:label https://spec.industrialontologies.org/ontology/annotation/naturalLanguageDefinition" .
iof-av:naturalLanguageDefinition rdf:type owl:AnnotationProperty ;
apv:MinAnnotationLength 20 .
### Identity-giving function
:COPI_0000173 rdf:type owl:Class ; # TemperatureIndicationFunction
rdfs:subClassOf :COPI_0000028 ; # IndicationFunction
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:allValuesFrom :COPI_0000662 # TemperatureIndicationProcess
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty bfo:BFO_0000054 ; # realizedIn
owl:someValuesFrom :COPI_0000662 # TemperatureIndicationProcess
] ;
rdfs:label "temperature indication function"@en ;
rdfs:label "função de indicação de temperatura"@pt-br ;
iof-av:naturalLanguageDefinition "A DesignedFunction that is realized in a TemperatureIndicationProcess and that consists in displaying a local, human-readable representation of a sensed temperature."@en ;
skos:definition "A DesignedFunction that is realized in a TemperatureIndicationProcess and that consists in displaying a local, human-readable representation of a sensed temperature."@en .
:COPI_0000028 rdf:type owl:Class . # IndicationFunction
### Process type
:COPI_0000662 rdf:type owl:Class ; # TemperatureIndicationProcess
rdfs:subClassOf iof-core:MeasurementProcess ;
rdfs:label "temperature indication process"@en ;
rdfs:label "processo de indicação de temperatura"@pt-br ;
iof-av:naturalLanguageDefinition "A PlannedProcess in which a sensed temperature is converted into mechanical or visual displacement of an indicator, without remote signal transmission."@en ;
skos:definition "A PlannedProcess in which a sensed temperature is converted into mechanical or visual displacement of an indicator, without remote signal transmission."@en .
iof-core:MeasurementProcess rdf:type owl:Class .
:COPI_0000662 # TemperatureIndicationProcess
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasInput ;
owl:someValuesFrom :COPI_0000037 # PortionOfFluid
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasSpecifiedOutput ;
owl:someValuesFrom :COPI_0000047 # TemperatureMeasurementResult
] .
### Equipment universal: TemperatureMeasuringInstrumentBimetal
:COPI_0000786 rdf:type owl:Class ; # TemperatureMeasuringInstrumentBimetal
rdfs:subClassOf :COPI_0000210 ; # AnalogueTemperatureIndicator
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart)
owl:someValuesFrom :COPI_0000173 # TemperatureIndicationFunction
] ;
rdfs:subClassOf [
rdf:type owl:Restriction ;
owl:onProperty iof-core:hasComponentPartAtAllTimes ;
owl:someValuesFrom :COPI_0000743 # BimetallicCoil
] ;
rdfs:label "temperature measuring instrument bimetal"@en ;
iof-av:naturalLanguageDefinition "A bimetallic thermometer is an analogue temperature indicator whose dial pointer is actuated by a coiled bimetallic strip that deflects with differential thermal expansion."@en ;
skos:definition "A bimetallic thermometer is an analogue temperature indicator whose dial pointer is actuated by a coiled bimetallic strip that deflects with differential thermal expansion."@en ;
iof-av:naturalLanguageDefinition "Um termometro bimetalico e um indicador analogico de temperatura cujo ponteiro e acionado por uma lamina bimetalica enrolada que se deflete por expansao termica diferencial."@pt-br ;
iof-av:semiFormalNaturalLanguageAxiom "Every bimetallic thermometer is an analogue temperature indicator that bears a temperature indication function and has a bimetallic coil as a component part, which drives the dial pointer."@en ;
iof-av:firstOrderLogicAxiom "∀x (BimetallicThermometer(x) → AnalogueTemperatureIndicator(x) ∧ ∃f (TemperatureIndicationFunction(f) ∧ bearerOf(x,f)) ∧ ∃p (BimetallicCoil(p) ∧ hasComponentPartAtAllTimes(x,p)))"@en ;
iof-av:isPrimitive "true"^^xsd:boolean ;
iof-av:primitiveRationale "Constructive subtype reusing genus and function unchanged (same-genus-same-function rule): sufficiency is not asserted so a device with an incidentally-present bimetallic component for an unrelated purpose is not forcibly classified as this instrument type under OWA."@en ;
skos:altLabel "bi-metal thermometer"@en ;
skos:altLabel "bimetallic thermometer"@en ;
skos:definition "[ISO 15926-4] A <TEMPERATURE MEASURING INSTRUMENT - BIMETAL> is an <INSTRUMENTATION ITEM> and a <TEMPERATURE MEASURING INSTRUMENT> that handles the measurement results of a <TEMPERATURE MEASURING ELEMENT - BIMETAL>"@en .
:COPI_0000743 rdf:type owl:Class ; # BimetallicCoil
rdfs:subClassOf iof-core:MaterialArtifact ;
rdfs:label "bimetallic coil"@en .
Axiomatization Decision Log
1
Identity-Giving Function
Function class
TemperatureIndicationFunction
⊑ IndicationFunction
Realized in
TemperatureIndicationProcess
⊑ MeasurementProcess
Reused verbatim from the already-enriched genus 'analogue temperature indicator' per the constructive-type rule.
2
Genus Determination
AnalogueTemperatureIndicator
Primary source names TEMPERATURE MEASURING INSTRUMENT as parent, but that ISO 15926-4 chain is not itself enriched in the ontology. 'analogue temperature indicator' (already enriched, genus=Instrument, differentia=AnalogueDial) is a genuine and more specific supertype: a bimetal dial thermometer is, by construction, an analogue-dial temperature indicator whose dial is driven by a bimetallic coil rather than some other analogue mechanism.
3
Necessary Parts
| Part class | Parent | Relation |
|---|---|---|
| BimetallicCoil | MaterialArtifact | hasComponentPartAtAllTimes |
Only the bimetallic coil is asserted; the analogue dial itself is already a necessary part inherited from the genus AnalogueTemperatureIndicator and is not re-asserted here.
4
Process Participation Signature ⟨I, O, T⟩
Inputs (I)
PortionOfFluid
— process fluid or ambient medium whose temperature is sensed via direct thermal contact
Outputs (O)
TemperatureMeasurementResult
— local visual indication of temperature on a graduated dial
Transformation (T)
differential thermal expansion of the bimetallic coil converted into rotational needle displacement, read as a temperature value
Same measurement-transduction signature as the parent analogue temperature indicator; no new participant types needed. [Corrected 2026-09-10: replaced retired InformationBearingArtifact (ODR-021, resolved 2026-08-08 -- COPI no longer has this class) with the established ICE type(s) actually used by the reused/sibling genus, confirmed against regen_enriched_owl.py's assert_all_classes_anchored gate.]
5
Axiom Mode Decision
Necessary conditions only
— modelled as a primitive universal
(⊑, SubClassOf). Identity is grounded in designed
function and cannot be reduced to a property checklist.
Constructive subtype reusing genus and function unchanged (same-genus-same-function rule): sufficiency is not asserted so a device with an incidentally-present bimetallic component for an unrelated purpose is not forcibly classified as this instrument type under OWA.
Cross-Standard Observations
Only ISO 15926-4 defines this exact term (no cross-source corroboration in terms.db). Secondary encyclopedia source (Wikipedia, 'Bimetallic strip') supplements with the coil-to-pointer mechanism description used to ground the BimetallicCoil part.
Reviewer Notes
Step 2b (enrich-term skill): ScienceDirect Topics returned HTTP 403; Wikipedia's 'Bimetallic strip' article supplied a clean verbatim mechanism description instead, used to ground BimetallicCoil below.
Source Definitions
1 source
ISO 15926-4
TEMPERATURE MEASURING INSTRUMENT - BIMETAL ↗
Definition text withheld (copyrighted standard) — follow the source link above.
Metadata
| Ontology | COPI |
| Research group | INF-UFRGS-Ontologies |
| Funding | CNPq INF-UFRGS-ENERGIA |
| Project | OntoKG / Petrobras |
| Reviewer | claude-code-session |
| ID | #1117 |
| Cluster | temperature measuring instrument - bimetal |
| Status | validated |
| Axiom mode | necessary |
| Created | 2026-09-08 |
| Updated | 2026-09-10 |
ISA 5.1-2022 P&ID Symbol
wikimedia/instrument_field.svg
