Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
hydrocyclone
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
The hydrocyclone is primarily defined by its separation function using hydraulic/centrifugal forces to separate fluids and solids. While it has a specific conical geometry, this physical structure serves the functional purpose of creating the vortex necessary for separation.
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:
All definitions emphasize separation as the identity-giving function - separating fluids, solids dispersed in fluids, or two fluids of different density. This aligns with the already-enriched SeparationFunction used by centrifuge, separator, scrubber, and filter.
▸
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:
Separator is already enriched in the ontology with SeparationFunction and Vessel genus. Hydrocyclone is a specific type of separator that uses centrifugal/hydraulic forces. The parent candidates CYCLONE and CYLINDRICAL VESSEL are too broad - cyclone encompasses atmospheric phenomena, and cylindrical vessel is purely geometric. Separator captures the functional essence while being the most specific appropriate superclass.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.ConicalSection ⊓ ∃participatesIn.CentrifugalSeparationProcess
▼
Conditions that distinguish
Hydrocyclone
from sibling classes under genus
Separator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The conical geometry and centrifugal separation process are the key differentiating features that distinguish hydrocyclones from other separation equipment. The tangential feed creates a vortex in the cone that enables density-based separation.
▸
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 four components are universally required for hydrocyclone operation: the cone creates the separation chamber, tangential inlet generates vortex, and dual outlets allow separation of phases by density.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FluidMixture → PortionOfFluid + PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Hydrocyclones take a mixed fluid stream and separate it into two streams based on density differences using centrifugal force generated by tangential flow through conical geometry.
▸
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
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 Hydrocyclone.
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.
