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 BladeCuttingDevicesubclass では
(subclass Drill CuttingDevice) Mid-level-ontology.kif 19679-19679 DrillCuttingDevicesubclass では
(subclass Knife CuttingDevice) Mid-level-ontology.kif 23623-23623 KnifeCuttingDevicesubclass では
(subclass PaperShredder CuttingDevice) Mid-level-ontology.kif 19757-19757 PaperShredderCuttingDevicesubclass では
(subclass Planer CuttingDevice) Economy.kif 6412-6412 PlanerCuttingDevicesubclass では
(subclass Saw CuttingDevice) Mid-level-ontology.kif 19718-19718 SawCuttingDevicesubclass では
(termFormat ChineseLanguage CuttingDevice "切割装置") domainEnglishFormat.kif 18249-18249 SawCuttingDevicesubclass では
(termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置") domainEnglishFormat.kif 18248-18248 SawCuttingDevicesubclass では
(termFormat EnglishLanguage CuttingDevice "cutting device") domainEnglishFormat.kif 18247-18247 SawCuttingDevicesubclass では

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