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 21994-21995 | |
(externalImage CuttingDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Scissors.jpg") | pictureList.kif 162-162 | |
(subclass CuttingDevice Device) | Mid-level-ontology.kif 21993-21993 | CuttingDevice は デバイス の subclass では %n |
appearance as argument number 2 |
(subclass Blade CuttingDevice) | Mid-level-ontology.kif 22008-22008 | Blade は CuttingDevice の subclass では %n |
(subclass Drill CuttingDevice) | Mid-level-ontology.kif 18107-18107 | Drill は CuttingDevice の subclass では %n |
(subclass Knife CuttingDevice) | Mid-level-ontology.kif 21979-21979 | Knife は CuttingDevice の subclass では %n |
(subclass PaperShredder CuttingDevice) | Mid-level-ontology.kif 18185-18185 | PaperShredder は CuttingDevice の subclass では %n |
(subclass Planer CuttingDevice) | Economy.kif 6014-6014 | Planer は CuttingDevice の subclass では %n |
(subclass Saw CuttingDevice) | Mid-level-ontology.kif 18146-18146 | Saw は CuttingDevice の subclass では %n |
(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 21997-21999 |
|
consequent |
(=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2))))))))) |
Mid-level-ontology.kif 18149-18183 |
|
(=> (instance ?B Blade) (exists (?CD) (and (instance ?CD CuttingDevice) (part ?B ?CD)))) |
Mid-level-ontology.kif 22011-22016 |