Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
gravity separator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
This concept is primarily defined by its function - performing separation based on difference in specific gravity. While it implies a physical mechanism (gravitational force), the identity is given by the separation function, not by a specific constructive design. Any apparatus that performs gravity-based separation would qualify regardless of its exact physical 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
GravitySeparationFunction → GravitySeparationProcess ⊑ MechanicalSeparation
▼
COPI-Core operation
MechanicalSeparation via process parent SeparationProcess
LLM rationale:
The identity-giving function is gravity-based separation - the designed capability to separate substances based on differences in specific gravity. This is a specialization of the general SeparationFunction already used by the separator class.
▸
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 parent_candidates, 'separator' is the most specific and appropriate superclass. It is already enriched in our ontology with function SeparationFunction and genus Vessel. The other candidates (FLUID SEPARATOR, Static Equipment, ARTEFACT) are either too broad or represent lateral categories. A gravity separator is clearly a subtype of separator.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.GravitySeparationFunction
▼
Conditions that distinguish
Gravity 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 type of separation function - gravity-based separation. This distinguishes it from other separator types that use different physical principles (centrifugal force, filtration, coalescence, etc.). The mechanism relies on differences in specific gravity allowing heavier phases to settle under gravitational force.
▸
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 are the minimal necessary parts for any gravity separator. More specific parts like baffles, weirs, or distribution systems would be subtype-specific and not universal to all gravity separators.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FluidMixture → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Gravity separators take a multi-phase fluid mixture and output separate streams of different phases, using gravitational force to exploit density differences. The number of outputs depends on the number of phases being separated.
▸
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 21 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Gravity Separator as
bfo:Quality subclasses.
Each selected property →
:GravitySeparatorQuality ⊑ bfo:Quality, inheres in :GravitySeparator
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Gravity 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.
Source Definitions (3)
GRAVITY SEPARATOR — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
gravity separator — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Gravity Separator — Class
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (3)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
OWL/Turtle preview
Download .ttl
Numeric
COPI_* IRIs from copi-iri-map.tsv, with the readable name as a trailing comment. Names not yet in the map stay readable.
Loading...
ID 180 · claude-sonnet-4-20250514
Created 2026-04-16 18:12
Updated 2026-09-08 12:26
