Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
centrifugal pump
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
This concept is primarily defined by its physical mechanism - the use of centrifugal force via rotating impellers to achieve pressure increase. All definitions emphasize the constructive aspect (impeller, centrifugal force, vanes) rather than a unique functional role beyond generic pumping.
Validation status
Why primitive (necessary only)
Reviewer notes
FOL theory & disjointness
First-order logic theory (generated)
Loading…
Disjoint with
▸
Expert review
— accepted
Axiomatization steps
1
Identity-Giving Function
✓ done
PumpingFunction → PumpingProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
Reusing the existing PumpingFunction from the already-enriched 'pump' class, as centrifugal pumps perform the same identity-giving function of moving fluids by adding energy. The constructive differentia comes from the specific mechanism (centrifugal force via impellers).
▸
Expert review
— accepted
2
Genus Proximus
✓ done
Pump · 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, 'Pump' is the most specific appropriate superclass and is already enriched in our ontology. Centrifugal pump is clearly a subtype of pump, sharing the same functional identity but distinguished by its specific mechanical implementation. 'Rotating Equipment' is too broad and crosses multiple equipment categories.
▸
Expert review
— accepted
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.CentrifugalImpeller ⊓ ∃hasComponentPartAtAllTimes.VoluteCasing
▼
Conditions that distinguish
Centrifugal Pump
from sibling classes under genus
Pump.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The centrifugal impeller is the key component that creates centrifugal force, and the volute casing converts this kinetic energy to pressure. These are the minimal structural elements that distinguish centrifugal pumps from all other pump types.
▸
Expert review
— accepted
4
Necessary Parts
✓ done
Impeller, Volute
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
These parts represent the minimal physical components required for centrifugal pumping operation. The impeller and volute are specific to centrifugal design, while the shaft is necessary for power transmission.
▸
Expert review
— accepted
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Centrifugal pumps take a single fluid stream and increase its pressure through centrifugal force mechanism, maintaining mass continuity while adding energy
▸
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 316 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Centrifugal Pump as
bfo:Quality subclasses.
Each selected property →
:CentrifugalPumpQuality ⊑ bfo:Quality, inheres in :CentrifugalPump
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Centrifugal Pump.
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.