No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3465-3465 | 子類 陸地車輛 and 車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1846-1846 | 子類 車皮 and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1923-1923 | 子類 週期 and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1944-1944 | 子類 摩托車 and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2033-2033 | 子類 鐵路車輛 and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | 子類 APC and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2019-2019 | 子類 兩棲車輛 and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2129-2129 | 子類 AMEV and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3508-3508 | 子類 公路車輛 and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4583-4583 | 子類 FourWheelDriveVehicle and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4606-4606 | 子類 TwoWheelDriveVehicle and 陸地車輛 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4761-4761 | 子類 AllTerrainVehicle and 陸地車輛 |