No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2322-2322 |
AutomobileTransmission est une sous-classe de Gearbox |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3948-3948 |
SteeringBox est une sous-classe de Gearbox |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25616-25616 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25615-25615 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25614-25614 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 768-768 |
typicalPart GearTrain and Gearbox |