No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2345-2345 |
Transmission is a subclass of gearbox |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3971-3971 |
Steering box is a subclass of 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 |
A gear train is typically a part of a gearbox |