Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
three-phase separator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
All definitions emphasize the separating function with specific phase differentiation (gas, oil, water) rather than structural mechanisms. The identity is given by what it does (separates three fluid phases) not how it does it (internal mechanisms may vary).
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
ThreePhaseSeparationFunction → ThreePhaseSeparationProcess ⊑ MechanicalSeparation
▼
COPI-Core operation
MechanicalSeparation via process parent SeparationProcess
LLM rationale:
The identity-giving function is the separation of well fluids into three distinct phases (gas, oil, water). This is a specific subtype of SeparationFunction that distinguishes it from two-phase separators or other separation equipment.
▸
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:
The parent_candidates show 'FLUID SEPARATOR' from iso15926, but 'separator' is already enriched in our ontology with SeparationFunction and Vessel genus. Three-phase separator is clearly a specialized type of separator, not a general vessel or assembly.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ThreePhaseSeparationFunction
▼
Conditions that distinguish
Three-Phase Separator
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 three-phase separation capability. The genus 'separator' already provides general separation function, so the differentia must specify the three-phase nature which is both necessary (all instances must separate three phases) and sufficient (any separator that separates three phases in this context is a three-phase separator).
▸
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:
Three-phase separators require three distinct outlets for the three phases plus the separation chamber where the process occurs. These are universal requirements regardless of specific design variations.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FluidMixture → PortionOfGas + PortionOfOil + PortionOfWater
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
The signature reflects the fundamental three-phase separation process: one multiphase input becomes three single-phase outputs through physical separation.
▸
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).
Label aggregation (source terms merged into this cluster)
Merged automatically (hyphen/space variants):
-
Three-Phase-Separator— posc_caesar
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 Three-Phase Separator.
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.