Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
impeller
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
Impellers are defined primarily by their physical configuration - assembly of rotating vanes within an enclosure that transfers energy through dynamic force. While they serve a general energy transfer function, their identity is given by their specific rotational vane mechanism, not by what type of energy transfer they perform.
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
EnergyTransferFunction → EnergyTransferProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
The identity-giving function is the general energy transfer capability - impellers are designed to transfer energy to or from fluids through dynamic force. This is the fundamental function that makes an impeller an impeller, whether in pumps, compressors, mixers, or turbines.
▸
Expert review
2
Genus Proximus
✓ done
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:
No domain-specific superclass exists in the parent candidates or enriched classes. Impeller is itself a root equipment category with many subtypes (pump impeller, compressor impeller, mixer impeller). It is clearly an assembly of physically connected parts (hub, vanes, potentially shrouds) that form a causally unified whole, making Assembly the appropriate genus.
▸
Expert review
3
Differentia Specifica
✓ done
∃hasComponentPartAtAllTimes.RotatingVanes ⊓ ∃hasComponentPartAtAllTimes.Hub ⊓ ∃participatesIn.RotationalMotion ⊓ ∃bearerOf.EnergyTransferFunction
▼
Conditions that distinguish
Impeller
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The rotating vanes are the defining structural feature that creates dynamic force for energy transfer. The hub is necessary for mounting and rotation. The rotational motion distinguishes from static mixing or flow devices. The energy transfer function is the generic capability all impellers share.
▸
Expert review
4
Necessary Parts
✓ done
RotatingVanes
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
Hub and rotating vanes are universal components across all impeller types. Shrouds, backing plates, and other components vary by specific impeller design (open, closed, semi-open).
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
PortionOfFluid → PortionOfFluid
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Impellers work with any fluid type and transfer mechanical rotational energy to change the fluid's kinetic and/or pressure energy. The transformation is mechanical-to-fluid energy transfer or vice versa.
▸
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 Impeller.
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.
