| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21994-21994 | CuttingDevice est une sous-classe de appareil |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18108-18108 | Drill est une sous-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18147-18147 | Saw est une sous-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18186-18186 | PaperShredder est une sous-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21980-21980 | Knife est une sous-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22009-22009 | Blade est une sous-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6014-6014 | Planer est une sous-classe de CuttingDevice |
|
|