| 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 22310-22311 | |
| (externalImage CuttingDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Scissors.jpg") | pictureList.kif 162-162 | |
| (subclass CuttingDevice Device) | Mid-level-ontology.kif 22309-22309 |
| appearance as argument number 2 |
|
|
| (subclass Blade CuttingDevice) | Mid-level-ontology.kif 22324-22324 | |
| (subclass Drill CuttingDevice) | Mid-level-ontology.kif 18398-18398 | |
| (subclass Knife CuttingDevice) | Mid-level-ontology.kif 22295-22295 | |
| (subclass PaperShredder CuttingDevice) | Mid-level-ontology.kif 18476-18476 | |
| (subclass Planer CuttingDevice) | Economy.kif 6129-6129 | |
| (subclass Saw CuttingDevice) | Mid-level-ontology.kif 18437-18437 | |
| (termFormat ChineseLanguage CuttingDevice "切割装置") | domainEnglishFormat.kif 18251-18251 | |
| (termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置") | domainEnglishFormat.kif 18250-18250 | |
| (termFormat EnglishLanguage CuttingDevice "cutting device") | domainEnglishFormat.kif 18249-18249 |
| antecedent |
|
|
| (=> (instance ?X CuttingDevice) (capability Cutting ?X instrument)) |
Mid-level-ontology.kif 22313-22315 |
| 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 18440-18474 | |
| (=> (instance ?B Blade) (exists (?CD) (and (instance ?CD CuttingDevice) (part ?B ?CD)))) |
Mid-level-ontology.kif 22327-22332 |
|
|
|