| No TPTP formula. May not be expressible in strict first order. | engineering.kif 742-742 | Motor e' uma sub-classe de Maquina |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 795-795 | ElectricalMotor e' uma sub-classe de Motor |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3953-3953 | StarterMotor e' uma sub-classe de Motor |
|
|