| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21993-21993 | 子類 切割裝置 and Device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18107-18107 | 子類 鑽頭 and 切割裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18146-18146 | 子類 鋸 and 切割裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18185-18185 | 子類 PaperShredder and 切割裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21979-21979 | 子類 刀 and 切割裝置 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22008-22008 | 子類 刀片 and 切割裝置 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6014-6014 | 子類 刨床 and 切割裝置 |
|
|