Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
deaerator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The deaerator is defined by its specific function of removing dissolved gases (particularly oxygen and CO2) from liquids, typically water. While there may be different physical implementations (catalytic, tower-based), the identity is given by the deaeration function rather than any particular structural configuration.
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
DeaerationFunction → DeaerationProcess ⊑ MassTransfer
▼
COPI-Core operation
MassTransfer via process parent MassTransfer
LLM rationale:
The identity-giving function is the removal of dissolved gases from liquid streams. This is a specific type of separation function focused on gas-liquid separation where the dissolved gas component is extracted from the liquid carrier phase.
▸
Expert review
2
Genus Proximus
✓ done
Separator · 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 that a deaerator is a separator, and this is the most specific appropriate superclass. The genus 'Separator' is already enriched in our ontology with function SeparationFunction and genus Vessel. This provides the correct inheritance path for separation equipment.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.DeaerationFunction
▼
Conditions that distinguish
Deaerator
from sibling classes under genus
Separator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia is the specific deaeration function that targets dissolved gases in liquid streams. This distinguishes it from other separation equipment that handle different phase combinations or separation mechanisms.
▸
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 define the basic flow configuration needed for any deaeration process: liquid input, degassing space, gas removal, and treated liquid output.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfLiquid → PortionOfLiquid + PortionOfGas
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Single liquid input stream with dissolved gases produces a degassed liquid stream plus a gas stream containing the released gases. The transformation involves mass transfer from dissolved to free gas phase.
▸
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 Deaerator.
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.
