Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
heater
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The definitions consistently define heater by its function - 'capability of heating', 'transfers heat to the produced gas stream', 'has the capability of <HEATING>'. The identity is given by the heating function it performs, regardless of the physical mechanism (electric, fired, direct, etc.)
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
Axiomatization steps
1
Identity-Giving Function
✓ done
HeatingFunction → HeatingProcess ⊑ HeatTransfer
▼
COPI-Core operation
HeatTransfer via process parent HeatTransfer
LLM rationale:
The heating function is identity-giving - what makes a heater a heater is its designed capability to add thermal energy to a medium. This distinguishes it from coolers (remove heat) or heat exchangers (transfer heat between media without net addition).
▸
Expert review
2
Genus Proximus
✓ done
Assembly
▼
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:
No domain-specific superclass for heater exists in the parent_candidates (FunctionalObject, ProcessEquipment, Artefact are too abstract). Heater is a root equipment category. Most heaters are complex assemblies with multiple components (heating elements, casings, controls, insulation) that are physically connected and removable for maintenance, making Assembly the appropriate BFO root.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.HeatingFunction
▼
Conditions that distinguish
Heater
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The heating function is the minimal and complete differentiating condition. It distinguishes heaters from all other thermal equipment by their role of adding thermal energy to a process medium.
▸
Expert review
4
Necessary Parts
✓ done
no necessary parts
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts are universal across all heater types - electric, fired, steam, etc. all require heating elements and protective housing
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Heaters have a characteristic signature of taking a cooler fluid and energy input to produce a warmer fluid output, distinguishing them from heat exchangers (two fluid streams) or coolers (heat removal)
▸
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 2 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Heater as
bfo:Quality subclasses.
Each selected property →
:HeaterQuality ⊑ bfo:Quality, inheres in :Heater
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Heater.
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.
