No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21994-21994 | Cutting device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18108-18108 | Drill is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18147-18147 | Saw is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18186-18186 | Paper shredder is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21980-21980 | Knife is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22009-22009 | 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 |