Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
electric motor
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Electric motor is primarily defined by its function to convert electrical energy into mechanical energy, regardless of specific construction type (induction, commutator, AC, DC, etc.). The identity is given by the ElectricToMechanicalConversionFunction.
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
ElectricToMechanicalConversionFunction → ElectricToMechanicalConversionProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
The identity-giving function is converting electrical energy into mechanical energy. This is consistently mentioned across all three source definitions (ISO 15926, CFIHOS, POSC Caesar) as the core purpose that distinguishes electric motors from other equipment 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:
No specific 'Motor' or 'RotatingMachine' class is enriched in our ontology yet. Electric motors are complex assemblies with multiple physically connected parts (stator, rotor, bearings, housing, terminals) that are causally unified and maintained as a single unit. The parent candidates from source hierarchies (ELECTRIC ROTATING MACHINE, MOTOR) are not yet enriched, so we use Assembly as the most appropriate existing genus.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.ElectricToMechanicalConversionFunction ⊓ ∃hasComponentPartAtAllTimes.Stator ⊓ ∃hasComponentPartAtAllTimes.Rotor
▼
Conditions that distinguish
Electric Motor
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The ElectricToMechanicalConversionFunction is the primary differentiator from other assemblies. The stator-rotor pair is architecturally necessary for any electric motor (rotating or linear) and distinguishes motors from other electrical equipment like transformers or static converters.
▸
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 architecturally necessary for any electric motor to function. Stator and rotor provide the electromagnetic conversion, housing provides structural integrity, and bearings enable rotation.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Electric motors consume electrical energy and produce rotational mechanical energy. This signature distinguishes them from generators (opposite direction), pumps (fluid transformation), or compressors (gas compression).
▸
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 11 selected
▼
Select which CFIHOS/DEXPI properties inhere in every instance of Electric Motor as
bfo:Quality subclasses.
Each selected property →
:ElectricMotorQuality ⊑ bfo:Quality, inheres in :ElectricMotor
Custom axioms
none
▼
Axioms not produced by the pipeline. Each is appended verbatim as an
rdfs:subClassOf restriction on Electric Motor.
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.
Source Definitions (3)
ELECTRIC MOTOR — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
electric motor — TagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Electric Motor — Class
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Provenance tiers (3)
Sources the pipeline cited while building this entry. Verbatim = the quote was copied word-for-word from that source; summary = paraphrased.
Linked competency questions
- answered What is the identity-giving function of an electric motor?
- answered Is an electric motor an Assembly or a MaterialArtifact in BFO terms?
- open What is a rotor?
- open Is a rotor a necessary component of every electric motor?
- open What is a stator?
- open Is a stator a necessary component of every electric motor?
OWL/Turtle preview
Download .ttl
Numeric
COPI_* IRIs from copi-iri-map.tsv, with the readable name as a trailing comment. Names not yet in the map stay readable.
Loading...
ID 84 · claude-sonnet-4-20250514
Created 2026-04-13 23:43
Updated 2026-09-08 12:26
