CuttingDevice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CuttingDevice

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 19845-19846
(externalImage CuttingDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Scissors.jpg")	pictureList.kif 162-162
(subclass CuttingDevice Device)	Mid-level-ontology.kif 19844-19844	subclass CuttingDevice and Device

appearance as argument number 2

(subclass Blade CuttingDevice)	Mid-level-ontology.kif 19858-19858	subclass Blade and CuttingDevice
(subclass Drill CuttingDevice)	Mid-level-ontology.kif 15855-15855	subclass Drill and CuttingDevice
(subclass Knife CuttingDevice)	Mid-level-ontology.kif 19830-19830	subclass Knife and CuttingDevice
(subclass PaperShredder CuttingDevice)	Mid-level-ontology.kif 15932-15932	subclass PaperShredder and CuttingDevice
(subclass Planer CuttingDevice)	Economy.kif 4897-4897	subclass Planer and CuttingDevice
(subclass Saw CuttingDevice)	Mid-level-ontology.kif 15894-15894	subclass Saw and CuttingDevice
(termFormat ChineseLanguage CuttingDevice "切割装置")	domainEnglishFormat.kif 18163-18163
(termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置")	domainEnglishFormat.kif 18162-18162
(termFormat EnglishLanguage CuttingDevice "cutting device")	domainEnglishFormat.kif 18161-18161

antecedent

(=>
(instance ?X CuttingDevice)
(capability Cutting ?X instrument))

Mid-level-ontology.kif 19847-19849

instance CaseRole and CuttingDevice
capability Cutting, CaseRole and instrument

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 15896-15930	instance Object and Saw instance Process and Cutting instrument Process and Object instance Object and Object patient Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object instance Process and Motion subProcess Process and Process instance Object and CuttingDevice part Object and Object meetsSpatially Object and Object patient Process and Object instance TimePosition and TimeInterval instance TimePosition and TimeInterval equal WhenFn Process and TimeInterval temporalPart TimeInterval and TimePosition temporalPart TimeInterval and TimePosition instance Entity and DirectionalAttribute instance Entity and DirectionalAttribute holdsDuring TimePosition and direction Process and Entity holdsDuring TimePosition and direction Process and Entity equal Entity and Entity oppositeDirection Entity and Entity ~{ equal Entity and Entity } ~{ oppositeDirection Entity and Entity }
(=> (instance ?B Blade) (exists (?CD) (and (instance ?CD CuttingDevice) (part ?B ?CD))))	Mid-level-ontology.kif 19861-19866	instance Object and Blade Object instance Object and CuttingDevice part Object and Object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners