| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21994-21994 | 切割装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18108-18108 | 钻头 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18147-18147 | 锯 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18186-18186 | PaperShredder 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21980-21980 | 刀 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22009-22009 | 刀片 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6014-6014 | 刨床 是 切割装置 的 subclass |
|
|