Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
flash drum
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Flash drum is defined by its distinctive function of flash vaporization separation - lighter components vaporize and are drawn off at the top while heavier fractions are drawn off at the bottom. This is a specific separation process that defines the equipment's identity regardless of the physical vessel configuration used to implement it.
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
FlashVaporizationFunction → FlashVaporizationProcess ⊑ PhaseChange
▼
COPI-Core operation
PhaseChange via process parent PhaseChange
LLM rationale:
Flash vaporization is the identity-giving function - the process of sudden pressure/temperature change causing lighter components to vaporize while heavier components remain liquid. This is distinct from other separation functions like filtration or centrifugal separation.
▸
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:
Flash drum is clearly a type of separator (already enriched in our ontology) that performs phase separation. While it could be considered a vessel, Separator is more specific and captures the functional nature. The parent_candidates show VESSEL as a superclass, but Separator better captures the equipment category for industrial classification purposes.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.FlashVaporizationFunction
▼
Conditions that distinguish
Flash Drum
from sibling classes under genus
Separator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The flash vaporization function is the minimal differentiating condition that distinguishes this from other separators. All flash drums perform this specific type of separation where phase change occurs due to pressure/temperature conditions rather than external forces or filtration.
▸
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 three ports are essential for the flash separation process - one for feed input, one for vapor product removal, and one for liquid product removal. The vessel structure is inherited from the Separator genus.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FluidMixture → PortionOfGas + PortionOfLiquid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Flash drums take a mixed or liquid stream and separate it into vapor (light components) and liquid (heavy components) through spontaneous vaporization. This signature is distinct from other separation processes.
▸
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 30 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Flash Drum as
bfo:Quality subclasses.
Each selected property →
:FlashDrumQuality ⊑ bfo:Quality, inheres in :FlashDrum
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Flash Drum.
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.
