Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
rotor
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The identity of a rotor is defined by its physical configuration as the rotating portion of a machine, not by any specific functional output. While rotors enable various functions (compression, mixing, energy transfer), their classification is based on their kinematic property of rotation and their mechanical role within machines.
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
RotationalEnergyTransferFunction → RotationalEnergyTransferProcess ⊑ MomentumTransfer
▼
COPI-Core operation
MomentumTransfer via process parent MomentumTransfer
LLM rationale:
While rotors appear in diverse applications (motors, compressors, pumps), their universal identity-giving function is the transfer of mechanical energy through rotation. This distinguishes rotors from stationary machine components and enables the various specialized functions of different rotor types.
▸
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:
A rotor is a machine component with physically connected parts (shaft, blades, windings, etc.) that functions as a causally unified whole. It is more specific than MaterialArtifact because rotors typically have removable subcomponents and require assembly. No domain-specific parent like 'MachineComponent' exists in the already-enriched classes, so Assembly is the most appropriate genus.
▸
Expert review
3
Differentia Specifica
✓ done
∃participatesIn.RotationalMotionProcess ⊓ ∃hasComponentPartAtAllTimes.RotorShaft
▼
Conditions that distinguish
Rotor
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The defining characteristics of a rotor are (1) its participation in rotational motion as the rotating element and (2) the presence of a rotor shaft that serves as the central rotating axis. These conditions distinguish rotors from other machine components while being minimal and necessary.
▸
Expert review
4
Necessary Parts
✓ done
None
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The rotor shaft is the only universal component that all rotors must possess. Other components like blades, windings, or cages are specific to particular rotor types (turbine rotors, electrical rotors, cage rotors) and should be modeled at the subtype level.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
A rotor fundamentally transfers mechanical energy through rotation. It receives rotational energy from a driver (motor, engine) and transmits it to the machine's working elements (impeller, compressor stages, generator windings). This signature distinguishes rotors from non-rotating components and static assemblies.
▸
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 Rotor.
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.
