CuttingDevice(cutting device) | ax, axe, chisel, cookie_cutter, cutlery, cutter, cutting_tool, khukuri, knife, lumberman's_saw, pipe_cutter, razor, scauper, scorper, two-handed_saw, two-man_saw, whipsaw, wire_cutter |
appearance as argument number 1 |
(documentation CuttingDevice EnglishLanguage "Any Device whose purpose is Cutting something else. This class covers knives of all times, axes, saws, razors, chisels etc.") | Mid-level-ontology.kif 22047-22048 | |
(externalImage CuttingDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Scissors.jpg") | pictureList.kif 162-162 | |
(subclass CuttingDevice Device) | Mid-level-ontology.kif 22046-22046 | Cutting device is a subclass of device |
appearance as argument number 2 |
(subclass Blade CuttingDevice) | Mid-level-ontology.kif 22061-22061 | Blade is a subclass of cutting device |
(subclass Drill CuttingDevice) | Mid-level-ontology.kif 18135-18135 | Drill is a subclass of cutting device |
(subclass Knife CuttingDevice) | Mid-level-ontology.kif 22032-22032 | Knife is a subclass of cutting device |
(subclass PaperShredder CuttingDevice) | Mid-level-ontology.kif 18213-18213 | Paper shredder is a subclass of cutting device |
(subclass Planer CuttingDevice) | Economy.kif 6014-6014 | Planer is a subclass of cutting device |
(subclass Saw CuttingDevice) | Mid-level-ontology.kif 18174-18174 | Saw is a subclass of cutting device |
(termFormat ChineseLanguage CuttingDevice "切割装置") | domainEnglishFormat.kif 18240-18240 | |
(termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置") | domainEnglishFormat.kif 18239-18239 | |
(termFormat EnglishLanguage CuttingDevice "cutting device") | domainEnglishFormat.kif 18238-18238 |
antecedent |
(=> (instance ?X CuttingDevice) (capability Cutting ?X instrument)) |
Mid-level-ontology.kif 22050-22052 |
|
consequent |