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 Processsubclass。 ") chinese_format.kif 3161-3162
(documentation Cutting EnglishLanguage "The subclass of Poking Processes which involve a sharp instrument.") Merge.kif 12344-12345
(subclass Cutting Poking) Merge.kif 12343-12343 Cutting ist eine teilkategorie von Poking

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


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

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


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

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 12259-12268
(=>
    (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 18113-18121
(=>
    (instance ?F FinishedLumber)
    (exists (?C ?P)
        (and
            (instance ?C Cutting)
            (instrument ?C ?P)
            (instance ?P Planer)
            (result ?C ?F))))
Economy.kif 5562-5569
(=>
    (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 5472-5483
(=>
    (instance ?L Lumber)
    (exists (?C ?T)
        (and
            (instance ?C Cutting)
            (result ?C ?L)
            (patient ?C ?T)
            (instance ?T Lumber))))
Economy.kif 5523-5530
(=>
    (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 6017-6036
(=>
    (instance ?R RoughSawnLumber)
    (not
        (exists (?C ?P)
            (and
                (instance ?C Cutting)
                (instrument ?C ?P)
                (instance ?P Planer)
                (patient ?C ?R)))))
Economy.kif 5548-5556
(=>
    (instance ?X CuttingDevice)
    (capability Cutting ?X instrument))
Mid-level-ontology.kif 21998-22000
(=>
    (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 18190-18198

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 18202-18219 Es gibt ?X, ?CUT,, , ?PAPER,, , ?CBO, and und ?INFO um ?X ist ein fall von PaperShredder %n{nicht} und ?CUT ist ein fall von Cutting %n{nicht} und ?X ist ein instrument fuer ?CUT %n{nicht} und ?PAPER ist ein fall von Paper %n{nicht} und ?PAPER ist ein patient von ?CUT %n{nicht} und ?CBO befindet sich an %n{nicht} und ?CBO ist ein fall von VisualContentBearingObject %n{nicht} und ?CBO enthaelt Informationen ueber ?INFO verringert die Wahrscheinlichkeit von es gibt ?READ um ?READ ist ein fall von Interpreting %n{nicht} und ?INFO ist ein patient von ?READ %n{nicht} und die zeit des Bestehens von ?CUT geschieht frueh als die zeit des Bestehens von ?READ %n{nicht} %n{nicht}


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