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 21476-21477
(externalImage CuttingDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Scissors.jpg") pictureList.kif 162-162
(subclass CuttingDevice Device) Mid-level-ontology.kif 21475-21475 切割装置设备subclass

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


(subclass Blade CuttingDevice) Mid-level-ontology.kif 21490-21490 刀片切割装置subclass
(subclass Drill CuttingDevice) Mid-level-ontology.kif 17517-17517 钻头切割装置subclass
(subclass Knife CuttingDevice) Mid-level-ontology.kif 21461-21461 切割装置subclass
(subclass PaperShredder CuttingDevice) Mid-level-ontology.kif 17595-17595 PaperShredder切割装置subclass
(subclass Planer CuttingDevice) Economy.kif 5055-5055 刨床切割装置subclass
(subclass Saw CuttingDevice) Mid-level-ontology.kif 17556-17556 切割装置subclass
(termFormat ChineseLanguage CuttingDevice "切割装置") domainEnglishFormat.kif 18231-18231
(termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置") domainEnglishFormat.kif 18230-18230
(termFormat EnglishLanguage CuttingDevice "cutting device") domainEnglishFormat.kif 18229-18229

antecedent
-------------------------


(=>
    (instance ?X CuttingDevice)
    (capability Cutting ?X instrument))
Mid-level-ontology.kif 21479-21481

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 17559-17593
(=>
    (instance ?B Blade)
    (exists (?CD)
        (and
            (instance ?CD CuttingDevice)
            (part ?B ?CD))))
Mid-level-ontology.kif 21493-21498


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