| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21993-21993 | CuttingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18107-18107 | Drill e' uma sub-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18146-18146 | Saw e' uma sub-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18185-18185 | PaperShredder e' uma sub-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21979-21979 | Knife e' uma sub-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22008-22008 | Blade e' uma sub-classe de CuttingDevice |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6014-6014 | Planer e' uma sub-classe de CuttingDevice |
|
|