Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 21945-21946
(externalImage CuttingDevice " e/ e1/ Scissors.jpg") pictureList.kif 162-162
(subclass CuttingDevice Device) Mid-level-ontology.kif 21944-21944

appearance as argument number 2

(subclass Blade CuttingDevice) Mid-level-ontology.kif 21959-21959
(subclass Drill CuttingDevice) Mid-level-ontology.kif 18056-18056
(subclass Knife CuttingDevice) Mid-level-ontology.kif 21930-21930
(subclass PaperShredder CuttingDevice) Mid-level-ontology.kif 18134-18134
(subclass Planer CuttingDevice) Economy.kif 5836-5836
(subclass Saw CuttingDevice) Mid-level-ontology.kif 18095-18095
(termFormat ChineseLanguage CuttingDevice "切割装置") domainEnglishFormat.kif 18240-18240
(termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置") domainEnglishFormat.kif 18239-18239
(termFormat EnglishLanguage CuttingDevice "cutting device") domainEnglishFormat.kif 18238-18238


    (instance ?X CuttingDevice)
    (capability Cutting ?X instrument))
Mid-level-ontology.kif 21948-21950


        (instance ?SAW Saw)
        (instance ?CUT Cutting)
        (instrument ?CUT ?SAW)
        (instance ?OBJ Object)
        (patient ?CUT ?OBJ))
    (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
            (instance ?MOTION Motion)
            (subProcess ?MOTION ?CUT)
            (instance ?PART CuttingDevice)
            (part ?PART ?SAW)
            (meetsSpatially ?PART ?OBJ)
            (patient ?MOTION ?PART)
            (instance ?T2 TimeInterval)
            (instance ?T2 TimeInterval)
                (WhenFn ?MOTION) ?TIME)
            (temporalPart ?TIME ?T1)
            (temporalPart ?TIME ?T2)
            (instance ?DIR1 DirectionalAttribute)
            (instance ?DIR2 DirectionalAttribute)
                (holdsDuring ?T1
                    (direction ?MOTION ?DIR1))
                (holdsDuring ?T2
                        (direction ?MOTION ?DIR2)
                            (equal ?DIR1 ?DIR2)
                            (oppositeDirection ?DIR1 ?DIR2))
                                (equal ?DIR1 ?DIR2)
                                (oppositeDirection ?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18098-18132
    (instance ?B Blade)
    (exists (?CD)
            (instance ?CD CuttingDevice)
            (part ?B ?CD))))
Mid-level-ontology.kif 21962-21967

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

Show without tree

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