No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2339-2339 |
AutomobileTransmission 是 变速器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3963-3963 |
SteeringBox 是 变速器 的 subclass |
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 |