Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
fired heater
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Identity is given by the specific function of burning fuel to heat a fluid medium. While there are constructive variations (tube configuration, burner arrangement), the primary identity is the designed function of fuel-fired heating, which distinguishes it from other heating methods like electric or steam heating.
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
FiredHeatingFunction → FiredHeatingProcess ⊑ HeatTransfer
▼
COPI-Core operation
HeatTransfer via process parent HeatingProcess
LLM rationale:
The identity-giving function is the conversion of chemical energy from burning fuel (solids, liquids, or gas) into thermal energy that is transferred to a process fluid. This distinguishes fired heaters from other heating equipment that uses electrical energy, steam, or hot oil as the heating medium.
▸
Expert review
2
Genus Proximus
✓ done
Heater · 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:
The parent_candidates list does not include 'heater' but the already-enriched classes show that 'heater' exists with HeatingFunction and Assembly genus. Both ISO 15926 and the natural classification hierarchy confirm that fired heater is a subtype of heater. This is the most specific appropriate genus - more specific than 'heat transfer equipment' and correctly captures the shared heating function.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.FiredHeatingFunction
▼
Conditions that distinguish
Fired Heater
from sibling classes under genus
Heater.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific subtype of HeatingFunction that involves fuel combustion. This is both necessary (all fired heaters burn fuel) and sufficient (any heater that burns fuel to heat process fluid is by definition a fired heater).
▸
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 constitute the minimal necessary components for any fired heater: a combustion space, fuel burning device, heat transfer surface, and exhaust system. Specific configurations vary by subtype but these elements are universal.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid + PortionOfFluid + PortionOfFluid → PortionOfFluid + PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Signature reflects the fundamental process: fuel and air combine in combustion to heat a separate process stream, with flue gas as exhaust. This distinguishes from direct heating where combustion products mix with the heated fluid.
▸
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 Fired Heater as
bfo:Quality subclasses.
Each selected property →
:FiredHeaterQuality ⊑ bfo:Quality, inheres in :FiredHeater
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Fired 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.
