Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
kettle reboiler
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The identity is given by the specific physical configuration (horizontal orientation + separate vapour space) that distinguishes it from other reboiler types. While it shares the general ReboilingFunction with all reboilers, its differentia is purely structural/geometric.
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
ReboilingFunction → ReboilingProcess ⊑ PhaseChange
▼
COPI-Core operation
PhaseChange via process parent PhaseChange
LLM rationale:
A reboiler's identity is given by its function to reboil liquid (typically from distillation column bottom) by adding heat to produce vapor that returns to the column. This is a specialized heating function for distillation support.
▸
Expert review
2
Genus Proximus
✓ done
HeatExchanger · 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:
ISO 15926 explicitly states 'A KETTLE REBOILER is a REBOILER that is horizontal and has a separate vapour space.' The genus is clearly Reboiler, not the broader heat exchanger. Reboiler is the most specific superclass for this concept, though it is not yet enriched in our ontology.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasQuality.HorizontalOrientation ⊓ ∃hasComponentPartAtAllTimes.SeparateVapourSpace
▼
Conditions that distinguish
Kettle Reboiler
from sibling classes under genus
HeatExchanger.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The horizontal orientation and separate vapour space are the two essential structural features that define kettle reboiler configuration. These enable gravity separation of vapor from liquid and create the characteristic kettle-like vapor disengagement zone.
▸
Expert review
4
Necessary Parts
✓ done
SeparateVapourSpace
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Parts focus on the distinctive separate vapour space plus essential heat transfer components inherited from the reboiler genus.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfLiquid + HeatTransferMedium → PortionOfGas + PortionOfLiquid + HeatTransferMedium
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Kettle reboiler receives column bottom liquid and heating medium, produces separated vapor (to column) and liquid (recirculation), while cooling the heating medium.
▸
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 32 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Kettle Reboiler as
bfo:Quality subclasses.
Each selected property →
:KettleReboilerQuality ⊑ bfo:Quality, inheres in :KettleReboiler
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Kettle Reboiler.
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.
