No TPTP formula. May not be expressible in strict first order. | engineering.kif 767-767 | Gearbox est une sous-classe de composant d'un appareil |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2339-2339 | AutomobileTransmission est une sous-classe de Gearbox |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3963-3963 | SteeringBox est une sous-classe de Gearbox |