| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21993-21993 | Cutting device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18107-18107 | Drill is a subclass of cutting device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18146-18146 | Saw is a subclass of cutting device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18185-18185 | Paper shredder is a subclass of cutting device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21979-21979 | Knife is a subclass of cutting device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22008-22008 | Blade is a subclass of cutting device |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6014-6014 | Planer is a subclass of cutting device |
|
|