| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3465-3465 | 陆地车辆 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1846-1846 | 车皮 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1923-1923 | 周期 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1944-1944 | 摩托车 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2033-2033 | 铁路车辆 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1573-1573 | APC 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2019-2019 | 两栖车辆 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2129-2129 | AMEV 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3508-3508 | 公路车辆 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4591-4591 | FourWheelDriveVehicle 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4614-4614 | TwoWheelDriveVehicle 是 陆地车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4769-4769 | AllTerrainVehicle 是 陆地车辆 的 subclass |
|
|