Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
gas cyclone separator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
While 'gas cyclone separator' has a separation function, its identity is primarily defined by its specific physical mechanism - generating centrifugal force through cyclonic flow geometry. The cyclone configuration is what distinguishes it from other separators that achieve gas-liquid-solid separation through different physical principles (gravity settling, filtration, etc.).
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
SeparationFunction → SeparationProcess ⊑ MechanicalSeparation
▼
COPI-Core operation
MechanicalSeparation via process parent MechanicalSeparation
LLM rationale:
The identity-giving function is separation - specifically separating solid or liquid particles from gas of different density. This reuses the existing SeparationFunction from the enriched 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:
The most specific appropriate superclass is 'separator' which is already enriched in our ontology. Gas cyclone separator is clearly a subtype of separator, inheriting the basic separation function but with the specific cyclonic mechanism differentia.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasPart.CyclonicFlowChamber ⊓ ∃participatesIn.CentrifugalSeparationProcess
▼
Conditions that distinguish
Gas Cyclone Separator
from sibling classes under genus
Separator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The cyclonic flow chamber and centrifugal separation mechanism are the minimal conditions that distinguish this separator type from other separators. The static device generates centrifugal force through flow geometry rather than mechanical rotation.
▸
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:
All gas cyclone separators must have these basic components to create and utilize cyclonic flow for separation
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FluidMixture → PortionOfGas + FluidMixture
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Takes contaminated gas stream and separates it into clean gas and concentrated contaminants using centrifugal force
▸
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 20 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Gas Cyclone Separator as
bfo:Quality subclasses.
Each selected property →
:GasCycloneSeparatorQuality ⊑ bfo:Quality, inheres in :GasCycloneSeparator
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Gas Cyclone 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 (1)
cfihos V2.0
gas cyclone separator — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (1)
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 183 · claude-sonnet-4-20250514
Created 2026-04-16 18:12
Updated 2026-09-08 12:26
