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. |
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 21980-21980 |
Knife 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. |
Economy.kif 6014-6014 |
Planer 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. |
domainEnglishFormat.kif 18240-18240 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18239-18239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18238-18238 |
|