Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
distillation column
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The concept is defined by its intended function to enable a distillation process, which is a specific type of separation process. The physical structure (column geometry) serves this function but the identity is given by the distillation capability.
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
DistillationFunction → DistillationProcess ⊑ MassTransfer
▼
COPI-Core operation
MassTransfer via process parent MassTransfer
LLM rationale:
Distillation is the identity-giving function - a specific type of separation process based on differences in boiling points. This is what distinguishes a distillation column from other types of process columns or separators.
▸
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:
Based on parent candidates and the ISO 15926 definition stating it is a DISTILLATION SEPARATOR, the most specific appropriate genus is Separator (already enriched). While it's also described as a PROCESS COLUMN, the separating function is more fundamental - it's a separator that happens to use a column configuration for distillation, rather than a generic process column.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.DistillationFunction
▼
Conditions that distinguish
Distillation Column
from sibling classes under genus
Separator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
DistillationFunction is a specialized subtype of SeparationFunction that specifically involves vapor-liquid equilibrium and boiling point differences. This is the minimal differentia that distinguishes distillation columns from other separators.
▸
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 minimum physical configuration required for any distillation operation: containment, staged contact for mass transfer, feed introduction, and separate product withdrawal points.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FluidMixture → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Distillation takes a mixed feed and produces multiple product streams with different compositions based on component volatilities. The number of outputs can vary (2 for simple distillation, 3+ for complex columns).
▸
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 13 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Distillation Column as
bfo:Quality subclasses.
Each selected property →
:DistillationColumnQuality ⊑ bfo:Quality, inheres in :DistillationColumn
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Distillation Column.
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.
