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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Cutting
Cutting(切断)

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


(documentation Cutting ChineseLanguage "这是使用尖锐 instrument 所做 Poking Process 的 subclass。 ") chinese_format.kif 3161-3162
(documentation Cutting EnglishLanguage "The subclass of Poking Processes which involve a sharp instrument.") Merge.kif 12479-12480
(subclass Cutting Poking) Merge.kif 12478-12478 切断 は 突き の subclass では

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


(subclass Felling Cutting) Economy.kif 5810-5810 Felling は 切断 の subclass では
(subclass Slicing Cutting) Mid-level-ontology.kif 23670-23670 Slicing は 切断 の subclass では
(termFormat ChineseLanguage Cutting "切开") chinese_format.kif 1164-1164 Slicing は 切断 の subclass では
(termFormat EnglishLanguage Cutting "cutting") english_format.kif 1545-1545 Slicing は 切断 の subclass では
(termFormat FrenchLanguage Cutting "couper") french_format.kif 842-842 Slicing は 切断 の subclass では
(termFormat Hindi Cutting "kataaii") terms-hindi.txt 374-374 Slicing は 切断 の subclass では
(termFormat ItalianLanguage Cutting "Tagliare") terms-it.txt 377-377 Slicing は 切断 の subclass では
(termFormat JapaneseLanguage Cutting "切断") japanese_format.kif 2526-2526 Slicing は 切断 の subclass では
(termFormat PortugueseLanguage Cutting "Cortar") portuguese_format.kif 794-794 Slicing は 切断 の subclass では
(termFormat cb Cutting "pagputol") terms-cb.txt 379-379 Slicing は 切断 の subclass では
(termFormat cz Cutting "cutting") terms-cz.txt 413-413 Slicing は 切断 の subclass では
(termFormat de Cutting "Schneiden") terms-de.txt 672-672 Slicing は 切断 の subclass では
(termFormat ro Cutting "tãiere") relations-ro.kif 863-863 Slicing は 切断 の subclass では
(termFormat tg Cutting "pagputol") terms-tg.txt 378-378 Slicing は 切断 の subclass では

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


(=>
    (and
        (instance ?B Blade)
        (instance ?CUT Cutting)
        (instance ?OBJ Object)
        (instrument ?CUT ?B)
        (patient ?CUT ?OBJ))
    (meetsSpatially ?B ?OBJ))		 Mid-level-ontology.kif 23661-23668
(=>
    (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

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 12394-12403
(=>
    (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 HoleRegion)
                (result ?E ?H)
                (instrument ?E ?D)))))		 Mid-level-ontology.kif 19684-19692
(=>
    (instance ?F FinishedLumber)
    (exists (?C ?P)
        (and
            (instance ?C Cutting)
            (instrument ?C ?P)
            (instance ?P Planer)
            (result ?C ?F))))		 Economy.kif 5904-5911
(=>
    (instance ?FELL Felling)
    (exists (?C ?F ?T ?S)
        (and
            (instance ?C Cutting)
            (patient ?C ?T)
            (instance ?T BotanicalTree)
            (result ?C ?F)
            (instance ?F Falling)
            (patient ?F ?S)
            (instance ?S PlantStem)
            (part ?S ?T))))		 Economy.kif 5814-5825
(=>
    (instance ?L Lumber)
    (exists (?C ?T)
        (and
            (instance ?C Cutting)
            (result ?C ?L)
            (patient ?C ?T)
            (instance ?T Lumber))))		 Economy.kif 5865-5872
(=>
    (instance ?PLANER Planer)
    (hasPurpose ?PLANER
        (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
            (and
                (instance ?CUT Cutting)
                (instrument ?CUT ?PLANER)
                (resource ?CUT ?OBJ1)
                (instance ?OBJ1 Object)
                (material ?OBJ1 Wood)
                (result ?CUT ?OBJ2)
                (instance ?OBJ2 Object)
                (material Wood ?OBJ2)
                (attribute ?OBJ2 Flat)
                (instance ?U UnitOfLength)
                (height ?OBJ1
                    (MeasureFn ?H1 ?U))
                (height ?OBJ2
                    (MeasureFn ?H2 ?U))
                (greaterThan ?H1 ?H2)))))		 Economy.kif 6415-6434
(=>
    (instance ?R RoughSawnLumber)
    (not
        (exists (?C ?P)
            (and
                (instance ?C Cutting)
                (instrument ?C ?P)
                (instance ?P Planer)
                (patient ?C ?R)))))		 Economy.kif 5890-5898
(=>
    (instance ?X CuttingDevice)
    (capability Cutting ?X instrument))		 Mid-level-ontology.kif 23641-23643
(=>
    (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 19761-19769

statement
-------------------------


(decreasesLikelihood
    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
        (and
            (instance ?X PaperShredder)
            (instance ?CUT Cutting)
            (instrument ?CUT ?X)
            (instance ?PAPER Paper)
            (patient ?CUT ?PAPER)
            (located ?CBO ?PAPER)
            (instance ?CBO VisualContentBearingObject)
            (containsInformation ?CBO ?INFO)))
    (exists (?READ)
        (and
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
            (earlier
                (WhenFn ?CUT)
                (WhenFn ?READ)))))		 Mid-level-ontology.kif 19773-19790 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X は PaperShredder の instance では ?CUT は 切断 の instance では ?X は ?CUT の instrument では ?PAPER は Paper の instance では ?PAPER は ?CUT の patient では ?CBO は ?PAPER に located して ?CBO は VisualContentBearingObject の instance では ?CBO は ?INFO の情報を contains は ?READ ?READ は Interpreting の instance では ?INFO は ?READ の patient では ?CUT の time の existence は ?READ の time の existence より earlier happens を decreases 可能性がある


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