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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CuttingDevice

Sigma KEE - CuttingDevice
CuttingDevice(cutting device)
ax, axe, chisel, cookie_cutter, cutlery, cutter, cutting_tool, khukuri, knife, lumberman's_saw, pipe_cutter, razor, scauper, scorper, two-handed_saw, two-man_saw, whipsaw, wire_cutter

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 21995-21996
(externalImage CuttingDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Scissors.jpg") pictureList.kif 162-162
(subclass CuttingDevice Device) Mid-level-ontology.kif 21994-21994 Cutting device is a subclass of device

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


(subclass Blade CuttingDevice) Mid-level-ontology.kif 22009-22009 Blade is a subclass of cutting device
(subclass Drill CuttingDevice) Mid-level-ontology.kif 18108-18108 Drill is a subclass of cutting device
(subclass Knife CuttingDevice) Mid-level-ontology.kif 21980-21980 Knife is a subclass of cutting device
(subclass PaperShredder CuttingDevice) Mid-level-ontology.kif 18186-18186 Paper shredder is a subclass of cutting device
(subclass Planer CuttingDevice) Economy.kif 6014-6014 Planer is a subclass of cutting device
(subclass Saw CuttingDevice) Mid-level-ontology.kif 18147-18147 Saw is a subclass of cutting device
(termFormat ChineseLanguage CuttingDevice "切割装置") domainEnglishFormat.kif 18240-18240
(termFormat ChineseTraditionalLanguage CuttingDevice "切割裝置") domainEnglishFormat.kif 18239-18239
(termFormat EnglishLanguage CuttingDevice "cutting device") domainEnglishFormat.kif 18238-18238

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


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

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 18150-18184
(=>
    (instance ?B Blade)
    (exists (?CD)
        (and
            (instance ?CD CuttingDevice)
            (part ?B ?CD))))
Mid-level-ontology.kif 22012-22017


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