(subclass Motor Machine) | engineering.kif 742-742 | Motor is a subclass of machine |
(subclass ElectricalMotor Motor) | engineering.kif 795-795 | Electrical motor is a subclass of motor |
(subclass StarterMotor Motor) | Cars.kif 3945-3945 | Starter motor is a subclass of motor |