| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15974-15974 | 车辆 是 运输设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1742-1742 | 乘用车 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1760-1760 | 货车 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1783-1783 | 无动力车辆 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1793-1793 | 动力车辆 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1811-1811 | 代理动力车辆 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 131-131 | 军车 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1596-1596 | 装甲车 是 车辆 的 subclass |
| 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. | Mid-level-ontology.kif 3483-3483 | 水车 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17711-17711 | 宇宙飞船 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17817-17817 | 飞机 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25763-25763 | RecreationalVehicle 是 车辆 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30092-30092 | DamagedVehicle 是 车辆 的 subclass |
|
|