CuttingDevice![]() | ![]() |
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 23638-23639 | |
(externalImage CuttingDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Scissors.jpg") | pictureList.kif 162-162 | |
(subclass CuttingDevice Device) | Mid-level-ontology.kif 23637-23637 | CuttingDevice は デバイス の subclass では |
appearance as argument number 2 |
![]() |
(subclass Blade CuttingDevice) | Mid-level-ontology.kif 23652-23652 | Blade は CuttingDevice の subclass では |
(subclass Drill CuttingDevice) | Mid-level-ontology.kif 19679-19679 | Drill は CuttingDevice の subclass では |
(subclass Knife CuttingDevice) | Mid-level-ontology.kif 23623-23623 | Knife は CuttingDevice の subclass では |
(subclass PaperShredder CuttingDevice) | Mid-level-ontology.kif 19757-19757 | PaperShredder は CuttingDevice の subclass では |
(subclass Planer CuttingDevice) | Economy.kif 6412-6412 | Planer は CuttingDevice の subclass では |
(subclass Saw CuttingDevice) | Mid-level-ontology.kif 19718-19718 | Saw は CuttingDevice の subclass では |
(termFormat ChineseLanguage CuttingDevice "切割装置") | domainEnglishFormat.kif 18249-18249 | Saw は CuttingDevice の subclass では |
(termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置") | domainEnglishFormat.kif 18248-18248 | Saw は CuttingDevice の subclass では |
(termFormat EnglishLanguage CuttingDevice "cutting device") | domainEnglishFormat.kif 18247-18247 | Saw は CuttingDevice の subclass では |
antecedent |
![]() |
(=> (instance ?X CuttingDevice) (capability Cutting ?X instrument)) |
Mid-level-ontology.kif 23641-23643 |
|
consequent |
![]() |
![]() |
![]() |