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 |
舞台教练 是 车皮 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1841-1841 |
卡车拖车 是 车皮 的 subclass |
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 |
|