| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15974-15974 | 子類 車輛 and TransportationDevice |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1742-1742 | 子類 乘用車 and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1760-1760 | 子類 貨車 and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1783-1783 | 子類 無動力車輛 and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1793-1793 | 子類 動力車輛 and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1811-1811 | 子類 代理動力車輛 and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 131-131 | 子類 軍車 and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1596-1596 | 子類 裝甲車 and 車輛 |
| 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. | Mid-level-ontology.kif 3483-3483 | 子類 水車 and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17711-17711 | 子類 宇宙飛船 and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17817-17817 | 子類 飛機 and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25763-25763 | 子類 RecreationalVehicle and 車輛 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30092-30092 | 子類 DamagedVehicle and 車輛 |
|
|