No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2345-2345 |
AutomobileTransmission e' uma sub-classe de Gearbox |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3971-3971 |
SteeringBox e' uma sub-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 |