No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2339-2339 |
子類 AutomobileTransmission and 變速器 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3963-3963 |
子類 SteeringBox and 變速器 |
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 |
齒輪系 typically 是 變速器 的 part |