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 23638-23639
(externalImage CuttingDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Scissors.jpg") pictureList.kif 162-162
(subclass CuttingDevice Device) Mid-level-ontology.kif 23637-23637 CuttingDevice は デバイス の subclass では

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


(subclass Blade CuttingDevice) Mid-level-ontology.kif 23652-23652 Blade は CuttingDevice の subclass では
(subclass Drill CuttingDevice) Mid-level-ontology.kif 19679-19679 Drill は CuttingDevice の subclass では
(subclass Knife CuttingDevice) Mid-level-ontology.kif 23623-23623 Knife は CuttingDevice の subclass では
(subclass PaperShredder CuttingDevice) Mid-level-ontology.kif 19757-19757 PaperShredder は CuttingDevice の subclass では
(subclass Planer CuttingDevice) Economy.kif 6412-6412 Planer は CuttingDevice の subclass では
(subclass Saw CuttingDevice) Mid-level-ontology.kif 19718-19718 Saw は CuttingDevice の subclass では
(termFormat ChineseLanguage CuttingDevice "切割装置") domainEnglishFormat.kif 18249-18249 Saw は CuttingDevice の subclass では
(termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置") domainEnglishFormat.kif 18248-18248 Saw は CuttingDevice の subclass では
(termFormat EnglishLanguage CuttingDevice "cutting device") domainEnglishFormat.kif 18247-18247 Saw は CuttingDevice の subclass では

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


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

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 19721-19755
(=>
    (instance ?B Blade)
    (exists (?CD)
        (and
            (instance ?CD CuttingDevice)
            (part ?B ?CD))))		 Mid-level-ontology.kif 23655-23660


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