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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cutting
Cutting(cutting)abscise, anatomise, anatomize, ax, axe, beardless, bite, break_up, bushwhack, center_punch, chatter, chop_off, chopped, clean-shaven, clipped, close-hauled, counter-drill, crosscut, cut, cut_across, cut_down, cut_off, cut_out, cut_up, cutting, dissect, empale, fresh-cut, gash, gastromy, gore, grooving, hand-hewn, hewn, hob, horn, impale, incise, incised, incision, indent, keratotomy, lacerate, laparoscopy, laparotomy, lop_off, mince, mown, nephrotomy, new-mown...

appearance as argument number 1
-------------------------


(documentation Cutting ChineseLanguage "这是使用尖锐 instrument 所做 Poking Processsubclass。 ") chinese_format.kif 3161-3162
(documentation Cutting EnglishLanguage "The subclass of Poking Processes which involve a sharp instrument.") Merge.kif 12106-12107
(subclass Cutting Poking) Merge.kif 12105-12105 Cutting is a subclass of poking

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


(subclass Slicing Cutting) Mid-level-ontology.kif 21484-21484 Slicing is a subclass of cutting
(termFormat ChineseLanguage Cutting "切开") chinese_format.kif 1164-1164
(termFormat EnglishLanguage Cutting "cutting") english_format.kif 1545-1545

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


(=>
    (and
        (instance ?B Blade)
        (instance ?CUT Cutting)
        (instance ?OBJ Object)
        (instrument ?CUT ?B)
        (patient ?CUT ?OBJ))
    (meetsSpatially ?B ?OBJ))
Mid-level-ontology.kif 21475-21482
(=>
    (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 17535-17569
(=>
    (and
        (instance ?X PaperShredder)
        (instance ?CUT Cutting)
        (instrument ?CUT ?X))
    (hasPurpose ?CUT
        (=>
            (and
                (instance ?CBO VisualContentBearingObject)
                (containsInformation ?CBO ?INFO)
                (instance ?PAPER Paper)
                (located ?CBO ?PAPER))
            (decreasesLikelihood
                (patient ?CUT ?PAPER)
                (exists (?READ)
                    (and
                        (instance ?READ Interpreting)
                        (patient ?READ ?INFO)
                        (earlier
                            (WhenFn ?CUT)
                            (WhenFn ?READ))))))))
Mid-level-ontology.kif 17585-17605

consequent
-------------------------


(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))
Merge.kif 12029-12038
(=>
    (attribute ?X BarberShops)
    (hasPurpose ?X
        (exists (?HAIR ?HUMAN ?CUT ?STYLIST)
            (and
                (instance ?HAIR Hair)
                (part ?HAIR ?HUMAN)
                (instance ?HUMAN Human)
                (instance ?CUT Cutting)
                (patient ?CUT ?HAIR)
                (eventLocated ?CUT ?X)
                (agent ?CUT ?STYLIST)
                (employs ?X ?STYLIST)))))
naics.kif 11934-11946
(=>
    (instance ?D Drill)
    (hasPurpose ?D
        (exists (?E ?H)
            (and
                (instance ?E Cutting)
                (instance ?H Hole)
                (result ?E ?H)
                (instrument ?E ?D)))))
Mid-level-ontology.kif 17498-17506
(=>
    (instance ?PLANER Planer)
    (hasPurpose ?PLANER
        (exists (?CUT ?OBJ1 ?OBJ2)
            (and
                (instance ?CUT Cutting)
                (instrument ?CUT ?PLANER)
                (resource ?CUT ?OBJ1)
                (instance ?OBJ1 Object)
                (material ?OBJ1 Wood)
                (result ?CUT ?OBJ2)
                (instance ?OBJ2 Object)
                (material ?OBJ2 Wood)
                (attribute ?OBJ2 Flat)
                (instance ?U UnitOfLength)
                (height ?OBJ1
                    (MeasureFn ?H1 ?U))
                (height ?OBJ2
                    (MeasureFn ?H2 ?U))
                (greaterThan ?H1 ?H2)))))
Economy.kif 5058-5077
(=>
    (instance ?X CuttingDevice)
    (capability Cutting ?X instrument))
Mid-level-ontology.kif 21455-21457
(=>
    (instance ?X PaperShredder)
    (hasPurpose ?X
        (exists (?CUT ?PAPER)
            (and
                (instance ?CUT Cutting)
                (instrument ?CUT ?X)
                (instance ?PAPER Paper)
                (patient ?CUT ?PAPER)))))
Mid-level-ontology.kif 17575-17583


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