Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
centrifuge
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: both
Centrifuge is defined by both its separation function (functional parent: separator) and its specific centrifugal force mechanism (constructive differentia: rotating drum/bowl). The identity combines the general separation function with the distinctive centrifugal mechanism that distinguishes it from other separators like filters or gravity settlers.
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 consistently identify separation as the identity-giving function. Since 'separator' is already enriched with SeparationFunction, we reuse this function rather than creating a new CentrifugalSeparationFunction. The centrifugal mechanism is a constructive differentia, not a functional one.
▸
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:
ISO 15926 and POSC Caesar explicitly state centrifuge is a subtype of 'separator'. The separator class is already enriched in our ontology with function SeparationFunction and genus Vessel. This provides the most specific appropriate superclass, inheriting the separation function while allowing the centrifugal mechanism to serve as differentia.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasPart.RotatingDrum ⊓ ∃participatesIn.CentrifugalForceProcess
▼
Conditions that distinguish
Centrifuge
from sibling classes under genus
Separator.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The rotating drum/bowl is the essential mechanical component that generates centrifugal force, and participation in centrifugal force processes is what distinguishes this from other separation methods. All sources emphasize centrifugal force as the key differentiating mechanism.
▸
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 universally required for centrifugal separation regardless of specific centrifuge type (bowl, decanting, filtering, etc.). The rotating drum generates centrifugal force, the drive system provides rotation, and housing provides containment and safety.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
FluidMixture → PortionOfFluid + PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Centrifuges specifically separate based on density differences using artificial centrifugal force, producing distinct heavy and light phase outputs from mixed input
▸
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 Centrifuge as
bfo:Quality subclasses.
Each selected property →
:CentrifugeQuality ⊑ bfo:Quality, inheres in :Centrifuge
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Centrifuge.
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.
