No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2081-2081 |
轨道车 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1822-1822 |
预告片 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1649-1649 |
AAV 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1574-1574 |
APC 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2616-2616 |
飞机 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2172-2172 |
电气化铁路车 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1893-1893 |
紧急公路车辆 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1887-1887 |
紧急车辆 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1947-1947 |
LCAC 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2122-2122 |
机车 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2210-2210 |
电动轨道车 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2117-2117 |
机动铁路车 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1804-1804 |
自供电公路车辆 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2048-2048 |
火车 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47026-47026 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47025-47025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47024-47024 |
|