ISA 5.1 symbol
exported necessary COPI_0000359
Thermowell Stem
IRI: https://www.inf.ufrgs.br/ontologies/copi/COPI_0000359
Generated onGerado em 2026-05-04
Natural Language DefinitionDefinição em Linguagem Natural
EN
A thermowell stem is a fiat object part that is part of a thermowell and that has a hollow cylindrical shape positioned to protrude into the process medium, providing protective housing for temperature sensing elements while enabling thermal conduction.
PT-BR
Um termowell stem é uma parte de objeto fiducial que é parte de um termowell e que tem uma forma cilíndrica oca posicionada para se projetar no meio do processo, fornecendo habitação protetora para elementos de detecção de temperatura enquanto permite condução térmica.
Formal AxiomsAxiomas Formais
Semi-formal (Aristotelian)Semi-formal (Aristotélico)
Every thermowell stem is a fiat object part that is part of some thermowell and has hollow cylindrical shape and is located in process medium intrusion zone.
First-Order Logic TheoryTeoria em Lógica de Primeira Ordem
[Necessary condition]∀x (ThermowellStem(x) → MaterialArtifact(x) ∧ ∃f (TemperatureSensorProtectionFunction(f) ∧ bearerOf(x,f))) — Steps 1–3: genus + identity-giving function [Function axiom: TemperatureSensorProtectionFunction]∀f (TemperatureSensorProtectionFunction(f) → ∀p (realizedIn(f,p) → TemperatureSensorProtectionProcess(p)) ∧ ∃p (TemperatureSensorProtectionProcess(p) ∧ realizedIn(f,p))) — Step 1: ∀ preserves type-type identity; ∃ rules out vacuous functions never realised [Structural differentia (necessary only)]∀x (ThermowellStem(x) → ∃partOf.Thermowell ⊓ ∃hasQuality.HollowCylindricalShape ⊓ ∃hasLocation.ProcessMediumIntrusionZone) — Step 3: structural property — necessary condition, not sufficient (OWA prevents ≡) [Process participation signature]∀x ∀f ((ThermowellStem(x) ∧ TemperatureSensorProtectionFunction(f) ∧ bearerOf(x,f)) → ∃m (ThermalEnergy(m) ∧ participatesIn(m,f)) ∧ ∃e (ThermalEnergy(e) ∧ participatesIn(e,f)) ∧ processType(f,ThermalEnergyTransfer)) — Step 5: typed participants in the realising process
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: ThermowellStem <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-104-g4d16eff" ; 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-07-13"^^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 :TemperatureSensorProtectionFunction rdf:type owl:Class ; rdfs:subClassOf iof-core:DesignedFunction ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:allValuesFrom :TemperatureSensorProtectionProcess ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty bfo:BFO_0000054 ; # realizedIn owl:someValuesFrom :TemperatureSensorProtectionProcess ] ; rdfs:label "temperature sensor protection function"@en ; rdfs:label "função de proteção de sensor de temperatura"@pt-br ; iof-av:naturalLanguageDefinition "A DesignedFunction that is realized in a TemperatureSensorProtectionProcess and that consists in providing a protective enclosure for temperature sensing elements while enabling thermal conductivity from the process medium to the sensor."@en ; skos:definition "A DesignedFunction that is realized in a TemperatureSensorProtectionProcess and that consists in providing a protective enclosure for temperature sensing elements while enabling thermal conductivity from the process medium to the sensor."@en . ### Process type :TemperatureSensorProtectionProcess rdf:type owl:Class ; rdfs:subClassOf iof-core:PlannedProcess ; rdfs:label "temperature sensor protection process"@en ; rdfs:label "processo de proteção de sensor de temperatura"@pt-br ; iof-av:naturalLanguageDefinition "A PlannedProcess in which a protective barrier shields a temperature sensing element from direct contact with the process medium while maintaining thermal conductivity to enable accurate temperature measurement."@en ; skos:definition "A PlannedProcess in which a protective barrier shields a temperature sensing element from direct contact with the process medium while maintaining thermal conductivity to enable accurate temperature measurement."@en . :TemperatureSensorProtectionProcess rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasInput ; owl:someValuesFrom :ThermalEnergy ] ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasSpecifiedOutput ; owl:someValuesFrom :ThermalEnergy ] . ### Equipment universal: ThermowellStem :ThermowellStem rdf:type owl:Class ; rdfs:subClassOf iof-core:MaterialArtifact ; rdfs:subClassOf [ rdf:type owl:Restriction ; owl:onProperty iof-core:hasFunction ; # Object branch (MaterialArtifact/Assembly/Object/FiatObjectPart) owl:someValuesFrom :TemperatureSensorProtectionFunction ] ; rdfs:label "thermowell stem"@en ; rdfs:label "termowell stem"@pt-br ; iof-av:naturalLanguageDefinition "A thermowell stem is a fiat object part that is part of a thermowell and that has a hollow cylindrical shape positioned to protrude into the process medium, providing protective housing for temperature sensing elements while enabling thermal conduction."@en ; skos:definition "A thermowell stem is a fiat object part that is part of a thermowell and that has a hollow cylindrical shape positioned to protrude into the process medium, providing protective housing for temperature sensing elements while enabling thermal conduction."@en ; iof-av:naturalLanguageDefinition "Um termowell stem é uma parte de objeto fiducial que é parte de um termowell e que tem uma forma cilíndrica oca posicionada para se projetar no meio do processo, fornecendo habitação protetora para elementos de detecção de temperatura enquanto permite condução térmica."@pt-br ; iof-av:semiFormalNaturalLanguageAxiom "Every thermowell stem is a fiat object part that is part of some thermowell and has hollow cylindrical shape and is located in process medium intrusion zone."@en ; iof-av:firstOrderLogicAxiom "∀x(ThermowellStem(x) → FiatObjectPart(x) ∧ ∃y(Thermowell(y) ∧ partOf(x,y)) ∧ ∃q(HollowCylindricalShape(q) ∧ hasQuality(x,q)) ∧ ∃l(ProcessMediumIntrusionZone(l) ∧ hasLocation(x,l)))"@en ; iof-av:isPrimitive "true"^^xsd:boolean ; iof-av:primitiveRationale "Constructive classification basis. The structural differentia (hollow cylindrical shape, positioning in process medium) is necessary but may not be sufficient under OWA - there could be other specialized parts of thermowells with similar geometry but different specific roles or configurations."@en ;
Axiomatization Decision LogRegistro de Decisões
1 Identity-Giving FunctionFunção Identitária
Function class
TemperatureSensorProtectionFunction ⊑ DesignedFunction
Realized in
TemperatureSensorProtectionProcess ⊑ PlannedProcess
Reusing TemperatureSensorProtectionFunction from the already-enriched thermowell class. The thermowell stem inherits this function as it is the part of the thermowell that actually realizes the protection function by physically housing the sensor element.
2 Genus DeterminationDeterminação do Gênero
MaterialArtifactbfo:Object (BFO_0000030)
A thermowell stem is explicitly defined as a part of a thermowell ('the hollow cylindrical part of a thermowell'). It is not an independent object with its own causal boundary, but rather a fiat part demarcated within the larger thermowell assembly. The most specific appropriate superclass is FiatObjectPart, as it is a portion of the thermowell object identified by its structural and functional role.
3 Differentia SpecificaDiferença Específica
∃partOf.Thermowell ⊓ ∃hasQuality.HollowCylindricalShape ⊓ ∃hasLocation.ProcessMediumIntrusionZone

A part of a thermowell that has a hollow cylindrical shape and is positioned to protrude into the process medium.

The differentia specifies: (1) part-of relationship to thermowell specifically, (2) hollow cylindrical geometry for housing sensor elements, and (3) positioning that protrudes into process medium for thermal contact. These are the minimal conditions that distinguish this part from other potential thermowell components.
4 Necessary PartsPartes Necessárias

No necessary parts recorded.

No component parts are identified. The thermowell stem is described as a monolithic hollow cylindrical part. The temperature sensor/thermocouple it houses is not a permanent component part but rather a removable instrumentation element that occupies the hollow space.
Process Participation SignatureAssinatura de Participação em Processo
InputsEntradas
{'type': 'ThermalEnergy', 'count': 1, 'constraints': 'thermal energy from process medium via conductive heat transfer through the stem wall'}
OutputsSaídas
{'type': 'ThermalEnergy', 'count': 1, 'constraints': 'thermal energy conducted to the housed temperature sensor element'}
TransformationTransformação
thermal energy conducted from process medium through the stem wall material to the temperature sensing element housed within
The stem's process role is pure thermal conduction - it transfers heat from the external process medium to the internal sensor without changing the thermal energy. The hollow cylindrical geometry enables housing the sensor while the wall material provides the conductive path.
MetadataMetadados
COPI IDCOPI IDCOPI_0000359
IRIIRIhttps://www.inf.ufrgs.br/ontologies/copi/COPI_0000359
StatusStatusexported
Axiom modeModonecessary
CreatedCriado2026-05-04
UpdatedAtualizado2026-06-26
LLM modelModelo LLMclaude-sonnet-4-20250514
VersionVersão2026-07-13