Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
coalescer
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 designed function to separate two liquid substances using gravity-based coalescence, where the less dense substance can be skimmed off. This functional identity is consistent across all standards and is what distinguishes it from other separation equipment.
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
CoalescenceFunction → CoalescenceProcess ⊑ MechanicalSeparation
▼
COPI-Core operation
MechanicalSeparation via process parent MechanicalSeparation
LLM rationale:
The identity-giving function is coalescence - the process by which small droplets of one liquid phase merge within another immiscible liquid phase, allowing gravity separation and skimming. This is a specialized subtype of separation that relies on droplet aggregation rather than filtration, centrifugal force, or other separation mechanisms.
▸
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:
From the parent_candidates, 'GRAVITY SEPARATOR' is the most specific but not yet enriched. The enriched 'Separator' class (function: SeparationFunction, genus: Vessel) is the appropriate genus since a coalescer is fundamentally a type of separator that uses gravity-based coalescence. The 'vessel' option is too generic as it loses the separation specialization.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.CoalescenceFunction ⊓ ∃participatesIn.GravitySeparationProcess ⊓ ∃hasOutput.SkimmableLiquidPortion
▼
Conditions that distinguish
Coalescer
from sibling classes under genus
Separator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The CoalescenceFunction is the key differentia - this specialized separation relies on droplet aggregation. The gravity separation process and skimmable output are necessary characteristics that distinguish it from other liquid-liquid separators that might use different mechanisms or produce different output configurations.
▸
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 are essential for the coalescence process: a chamber for the separation to occur, media to promote droplet merger, and an interface for removing the separated phases.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FluidMixture → PortionOfLiquid + PortionOfLiquid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Coalescers specifically handle liquid-liquid mixtures and separate them into distinct phases based on density differences, with the key characteristic that the lighter phase can be skimmed off.
▸
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 Coalescer as
bfo:Quality subclasses.
Each selected property →
:CoalescerQuality ⊑ bfo:Quality, inheres in :Coalescer
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Coalescer.
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.
