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 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	子類切割裝置 and Device

appearance as argument number 2

(subclass Blade CuttingDevice)	Mid-level-ontology.kif 22008-22008	子類刀片 and 切割裝置
(subclass Drill CuttingDevice)	Mid-level-ontology.kif 18107-18107	子類鑽頭 and 切割裝置
(subclass Knife CuttingDevice)	Mid-level-ontology.kif 21979-21979	子類刀 and 切割裝置
(subclass PaperShredder CuttingDevice)	Mid-level-ontology.kif 18185-18185	子類 PaperShredder and 切割裝置
(subclass Planer CuttingDevice)	Economy.kif 6014-6014	子類刨床 and 切割裝置
(subclass Saw CuttingDevice)	Mid-level-ontology.kif 18146-18146	子類鋸 and 切割裝置
(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

例 CaseRole and 切割裝置
能力 Cutting, CaseRole and 儀器

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	例 Object and 鋸例 Process and Cutting 儀器 Process and Object 例 Object and Object 患者 Process and Object Process Entity, Entity, TimeInterval, TimePosition, TimePosition and Object 例 Process and Motion 子過程 Process and Process 例 Object and 切割裝置部分 Object and Object 空間的符合 Object and Object 患者 Process and Object 例 TimePosition and TimeInterval 例 TimePosition and TimeInterval 等於何時 Process and TimeInterval 時間部分 TimeInterval and TimePosition 時間部分 TimeInterval and TimePosition 例 Entity and DirectionalAttribute 例 Entity and DirectionalAttribute 持有期間 TimePosition and 方向 Process and Entity 持有期間 TimePosition and 方向 Process and Entity 等於 Entity and Entity Entity 是 Entity 的 opposite 方向 ~{ 等於 Entity and Entity } ~{ Entity 是 Entity 的 opposite 方向 }
(=> (instance ?B Blade) (exists (?CD) (and (instance ?CD CuttingDevice) (part ?B ?CD))))	Mid-level-ontology.kif 22011-22016	例 Object and 刀片 Object 例 Object and 切割裝置部分 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 3.0 is open source software produced by Articulate Software and its partners