No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1819-1819 |
車皮 是 卡車拖車製造 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1866-1866 |
子類 舞台教練 and 車皮 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1841-1841 |
子類 卡車拖車 and 車皮 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62055-62055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62054-62054 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62053-62053 |
|