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 切割装置 是 设备 的 subclass

appearance as argument number 2
-------------------------


(subclass Blade CuttingDevice) Mid-level-ontology.kif 22008-22008 刀片 是 切割装置 的 subclass
(subclass Drill CuttingDevice) Mid-level-ontology.kif 18107-18107 钻头 是 切割装置 的 subclass
(subclass Knife CuttingDevice) Mid-level-ontology.kif 21979-21979 刀 是 切割装置 的 subclass
(subclass PaperShredder CuttingDevice) Mid-level-ontology.kif 18185-18185 PaperShredder 是 切割装置 的 subclass
(subclass Planer CuttingDevice) Economy.kif 6014-6014 刨床 是 切割装置 的 subclass
(subclass Saw CuttingDevice) Mid-level-ontology.kif 18146-18146 锯 是 切割装置 的 subclass
(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


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