No TPTP formula. May not be expressible in strict first order. | engineering.kif 742-742 | Motor is a subclass of machine |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 795-795 | Electrical motor is a subclass of motor |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3945-3945 | Starter motor is a subclass of motor |