| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21993-21993 | 切割装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18107-18107 | 钻头 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18146-18146 | 锯 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18185-18185 | PaperShredder 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21979-21979 | 刀 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22008-22008 | 刀片 是 切割装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6014-6014 | 刨床 是 切割装置 的 subclass |
|
|