Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
thermowell
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Thermowell is primarily defined by its structural characteristics: being a pressure-tight receptacle with external threads or other mechanical attachment means. While it serves a function (protecting temperature sensors), its identity is given by its physical configuration as a receptacle with specific attachment features, not by the function it enables.
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
⚠ not anchored
TemperatureSensorProtectionFunction → TemperatureSensorProtectionProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
A thermowell's identity-giving function is to provide a pressure-tight protective housing for temperature sensing elements, allowing safe temperature measurement while protecting the sensor from process conditions.
▸
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:
All three sources classify thermowell as an instrument component or part of instrumentation. While 'Instrument' is not explicitly in the parent_candidates, it is the most appropriate genus as thermowells are instrumentation accessories. The closest parent_candidate 'INSTRUMENT COMPONENT' suggests this classification. Thermowell is more specific than MaterialArtifact but belongs to the instrumentation domain.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasPart.PressureTightReceptacle ⊓ ∃hasPart.ProcessConnection ⊓ ∃designedFor.SensingElement
▼
Conditions that distinguish
Thermowell
from sibling classes under genus
Instrument.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the three essential structural characteristics: (1) pressure-tight receptacle for sensor housing, (2) process connection mechanism for attachment, and (3) specific design purpose for temperature sensing elements. These are the minimal conditions that distinguish thermowells from other instrument components.
▸
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:
These three parts are structurally necessary for any thermowell: the stem provides process penetration, the receptacle houses the sensor, and the process connection enables safe installation.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
⚠ 1 not in vocab
SensingElement → SensingElement
▼
⚠ Participant type(s) not in COPI vocabulary
SensingElement
Participant types are hand-authored in
copi-vocab, not produced by the pipeline.
Replace each with an existing vocab type, redirect it to a BFO / IOF-Core class in copi-iri-map.tsv,
or add it to copi-vocab.ttl first.
This entry cannot be saved as validated until then.
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Thermowells provide passive protection transformation - they take an exposed temperature sensor and output a protected sensor that can safely measure temperature while being isolated from process pressure and fluid contact.
▸
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 Thermowell.
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 (3)
THERMOWELL — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
thermowell — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Thermowell — Class
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (3)
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 Which equipment classes in COPI have iof:MaterialArtifact as their BFO genus root?
- answered What is the designed function of a thermowell?
- open What is a thermowell stem?
- open Is a thermowell stem a necessary component of every thermowell?
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 196 · claude-sonnet-4-20250514
Created 2026-04-16 18:12
Updated 2026-09-08 12:26
