| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16063-16063 | 子類 Machine and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1954-1954 | 子類 售貨機 and Machine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25510-25510 | 子類 IceMachine and Machine |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 742-742 | 子類 發動機 and Machine |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5986-5986 | 子類 車床 and Machine |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6013-6013 | 子類 刨床 and Machine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1190-1190 | 子類 Generator and Machine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2051-2051 | 子類 AirConditioningCondenser and Machine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2075-2075 | 子類 AirConditioningEvaporator and Machine |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5176-5176 | 子類 GasCompressor and Machine |
|
|