Definition & axiom
⚠ Conflicts with the ISO 15926-4 primary definition
Label (EN)
motor
Label (PT-BR)
Definition (EN)
Definition (PT-BR)
Semi-formal axiom (Aristotelian)
Axiom type
LLM classification basis: function-based → ≡
Motor identity is primarily defined by its function of converting energy to mechanical rotational motion. While specific motor types have constructive distinctions (electric vs pneumatic vs hydraulic mechanisms), the core concept is unified by the energy conversion function regardless of power source or internal mechanism.
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
MechanicalEnergyGenerationFunction → MechanicalEnergyGenerationProcess
▼
COPI-Core operation
⚠ Process parent
PlannedProcess reaches no COPI-Core operation, and no gap (out of scope / coverage gap) is recorded.
LLM rationale:
Motors are fundamentally defined by their designed function to convert various forms of energy (electrical, chemical combustion, pneumatic, hydraulic) into mechanical rotational energy. This energy conversion function is what distinguishes motors from other equipment types and is consistent across all motor variants.
▸
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:
Motor is a fundamental equipment category that does not have a more specific superclass in the current ontology. While the source hierarchies suggest 'driver' or 'DRIVER(function)', these are not established in our ontology. Motors are complex mechanical assemblies with multiple integrated components (stator, rotor, housing, bearings) that form a single causally unified object designed for energy conversion. Assembly is the appropriate BFO root as motors have physically connected, removable subcomponents but maintain causal unity.
▸
Expert review
3
Differentia Specifica
✓ done
∃bearerOf.MechanicalEnergyGenerationFunction ⊓ ∃participatesIn.MechanicalEnergyGenerationProcess
▼
Conditions that distinguish
Motor
from sibling classes under genus
Assembly.
Only what is not already entailed by the genus.
Differentia expression
Differentia (natural language)
LLM rationale:
The differentia focuses on the energy conversion function that defines motors - converting various input energy forms to mechanical rotational output. The rotational output specification distinguishes from linear actuators or other mechanical energy 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 universal across all motor types regardless of power source or specific mechanism. More specific parts like stators, rotors, pistons, or turbine wheels are subtype-specific.
▸
Expert review
5
Process Participation Signature ⟨I, O, T⟩
✓ done
∅ → ∅
▼
Inputs (I)
Outputs (O)
Transformation (T)
LLM rationale:
Motors are energy conversion devices that take various energy inputs and produce mechanical rotational output. The specific input type varies by motor subtype but the output is consistently rotational mechanical 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
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 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)
MOTOR — ClassOfInanimatePhysicalObject
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
cfihos V2.0
motor — AbstractTagAndEquipmentClass
Definition text hidden (copyrighted standard) — sign in to view, or follow the source link above.
Motor — ConcreteClass
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.
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 85 · claude-sonnet-4-20250514
Created 2026-04-13 23:43
Updated 2026-09-08 12:26
