Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
stator
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: structure-based → ⊑
The stator is primarily defined by its physical configuration as the stationary part of rotating machinery, distinguished from its counterpart rotor. While it may house electromagnetic windings or other functional elements, its identity is fundamentally structural - being the non-rotating portion of a machine assembly. The differentiating characteristic is positional/mechanical (stationary vs rotating) rather than a unique function.
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
⚠ not anchored
StationaryMachineComponentFunction → StationaryMachineComponentProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The function captures the essential role of a stator as the stationary counterpart in rotating machinery. While stators may contain different functional elements (electromagnetic windings, guide vanes, seals), their identity-giving function is providing the stable, non-rotating foundation that enables the machine's operation.
▸
Expert review
2
Genus Proximus
✓ done
MaterialArtifact
▼
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 specific machine component superclass exists in the parent_candidates. A stator is a causally unified engineered component that forms part of a larger machine assembly. It has a single maintainable boundary and is designed to bear specific functions within rotating machinery. MaterialArtifact is the most appropriate BFO root since stators are typically monolithic or tightly integrated components rather than assemblies of removable parts.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.StationaryMachineComponentFunction ⊓ ∃partOf.RotatingMachine
▼
Conditions that distinguish
Stator
from sibling classes under genus
MaterialArtifact.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia captures the essential structural characteristic (stationary positioning within rotating machinery) and the relational aspect (being part of a rotating machine system). The functional differentia specifies the particular designed function that distinguishes stators from other machine components.
▸
Expert review
4
Necessary Parts
✓ done
StatorWinding
▼
Consider part-whole relations beyond subsumption:
hasComponentPartAtAllTimes (universal, structurally essential)
· hasComponentPartAtSomeTime (contingent, optional component)
LLM rationale:
The sources show significant variation in stator types. Electrical stators have windings, PDM motor stators are rubber elements, and turbomachinery stators have vanes. Only stator winding appears as a universal component term, but even this applies mainly to electrical machines. No single part is universal to all stator types, reflecting the constructive nature of this classification.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Stators are passive structural components that do not directly process fluids or energy streams. They provide containment and structural support for active elements (windings, vanes) that perform the actual transformations. The signature reflects this passive structural role with no direct input/output streams.
▸
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 Stator.
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.
