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

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


(subclass Blade CuttingDevice) Mid-level-ontology.kif 19837-19837 subclass Blade and CuttingDevice
(subclass Drill CuttingDevice) Mid-level-ontology.kif 15830-15830 subclass Drill and CuttingDevice
(subclass Knife CuttingDevice) Mid-level-ontology.kif 19809-19809 subclass Knife and CuttingDevice
(subclass PaperShredder CuttingDevice) Mid-level-ontology.kif 15907-15907 subclass PaperShredder and CuttingDevice
(subclass Planer CuttingDevice) Economy.kif 4897-4897 subclass Planer and CuttingDevice
(subclass Saw CuttingDevice) Mid-level-ontology.kif 15869-15869 subclass Saw and CuttingDevice
(termFormat ChineseLanguage CuttingDevice "切割装置") domainEnglishFormat.kif 18172-18172
(termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置") domainEnglishFormat.kif 18171-18171
(termFormat EnglishLanguage CuttingDevice "cutting device") domainEnglishFormat.kif 18170-18170

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


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

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 15871-15905
(=>
    (instance ?B Blade)
    (exists (?CD)
        (and
            (instance ?CD CuttingDevice)
            (part ?B ?CD))))
Mid-level-ontology.kif 19840-19845


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