No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1947-1947 |
汽车 是 自供电公路车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1966-1966 |
总线 是 自供电公路车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1876-1876 |
摩托车 是 自供电公路车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2009-2009 |
卡车 是 自供电公路车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52013-52013 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52012-52012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52011-52011 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3694-3694 |
CarAlarm typically 是 自供电公路车辆 的 part |