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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Impacting
Impacting

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


(documentation Impacting ChineseLanguage "这是任何 Touching 的过程， 她发生在当某样东西突然而有力 地和另外一样东西发生物理上的接触。 一些例子如击、敲和搅等。") chinese_format.kif 3056-3057
(documentation Impacting EnglishLanguage "Any Touching where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc.") Merge.kif 11640-11642
(documentation Impacting JapaneseLanguage "何かが突然、力強く、物理的に何か他のものと接触する Touching。いくつかの例として、打撃、ノック、鞭打ちなど。") japanese_format.kif 1824-1825
(subclass Impacting Touching) Merge.kif 11638-11638 子類 Impacting and Touching

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


(subclass Clapping Impacting) Mid-level-ontology.kif 14440-14440 子類 拍手 and Impacting
(subclass Crushing Impacting) Food.kif 961-961 子類 Crushing and Impacting
(subclass TouchSurfaceTap Impacting) ComputerInput.kif 1559-1559 子類 TouchSurfaceTap and Impacting
(termFormat ChineseLanguage Impacting "碰撞") chinese_format.kif 1128-1128 子類 TouchSurfaceTap and Impacting
(termFormat EnglishLanguage Impacting "impacting") english_format.kif 1473-1473 子類 TouchSurfaceTap and Impacting
(termFormat FrenchLanguage Impacting "impacte") french_format.kif 806-806 子類 TouchSurfaceTap and Impacting
(termFormat Hindi Impacting "takaraahata") terms-hindi.txt 338-338 子類 TouchSurfaceTap and Impacting
(termFormat ItalianLanguage Impacting "Impatto") terms-it.txt 341-341 子類 TouchSurfaceTap and Impacting
(termFormat JapaneseLanguage Impacting "衝撃") japanese_format.kif 2490-2490 子類 TouchSurfaceTap and Impacting
(termFormat PortugueseLanguage Impacting "Impactar") portuguese_format.kif 758-758 子類 TouchSurfaceTap and Impacting
(termFormat cb Impacting "paghapak") terms-cb.txt 343-343 子類 TouchSurfaceTap and Impacting
(termFormat cz Impacting "impacting") terms-cz.txt 377-377 子類 TouchSurfaceTap and Impacting
(termFormat de Impacting "Auswirken") terms-de.txt 636-636 子類 TouchSurfaceTap and Impacting
(termFormat ro Impacting "impact") relations-ro.kif 827-827 子類 TouchSurfaceTap and Impacting
(termFormat tg Impacting "pagtama;pagbangga") terms-tg.txt 342-342 子類 TouchSurfaceTap and Impacting

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


(=>
    (and
        (instance ?B Bell)
        (instance ?I Impacting)
        (destination ?I ?B))
    (exists (?MT)
        (and
            (instance ?MT MusicalTone)
            (causes ?I ?MT))))		 Music.kif 1256-1264
(=>
    (and
        (instance ?I Impacting)
        (patient ?I ?H)
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H
                (ImpairedBodyPartFn Brain))))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn ?I)
            (attribute ?H Concussion)) Likely))		 Medicine.kif 1316-1328
(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))		 Merge.kif 11644-11652

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


(=>
    (and
        (instance ?D Dodging)
        (agent ?D ?A)
        (equal ?DT
            (WhenFn ?D)))
    (hasPurpose ?D
        (not
            (exists (?I)
                (and
                    (or
                        (meetsTemporally ?DT
                            (WhenFn ?I))
                        (overlapsTemporally ?DT
                            (WhenFn ?I)))
                    (instance ?I Impacting)
                    (patient ?I ?A))))))		 Mid-level-ontology.kif 443-456
(=>
    (and
        (instance ?KL KnockLight)
        (instance ?A Human)
        (attribute ?A Deaf)
        (uses ?KL ?A))
    (hasPurpose ?KL
        (exists (?KNOCK ?DOOR)
            (and
                (instance ?KNOCK Impacting)
                (patient ?KNOCK ?DOOR)
                (instance ?DOOR Door)
                (knows ?A ?KNOCK)))))		 Mid-level-ontology.kif 27485-27497
(=>
    (and
        (instance ?KL KnockLight)
        (located ?KL ?ROOM)
        (instance ?ROOM Room)
        (instance ?DOOR Door)
        (part ?DOOR ?ROOM))
    (hasPurpose ?KL
        (exists (?KNOCK ?SOUND ?LIGHT)
            (and
                (instance ?KNOCK Impacting)
                (patient ?KNOCK ?DOOR)
                (causes ?KNOCK ?SOUND)
                (instance ?SOUND RadiatingSound)
                (agent ?SOUND ?DOOR)
                (causes ?SOUND ?LIGHT)
                (instance ?LIGHT RadiatingVisibleLight)
                (instrument ?LIGHT ?KL)))))		 Mid-level-ontology.kif 27466-27483
(=>
    (and
        (instance ?MOTION Ducking)
        (agent ?MOTION ?AGENT))
    (hasPurpose ?MOTION
        (not
            (exists (?IMPACT)
                (and
                    (instance ?IMPACT Impacting)
                    (patient ?IMPACT ?AGENT))))))		 Mid-level-ontology.kif 14473-14480
(=>
    (instance ?C Crushing)
    (exists (?I ?CO ?O)
        (and
            (instance ?I Impacting)
            (subProcess ?C ?I)
            (instance ?CO Compressing)
            (patient ?I ?O)
            (patient ?CO ?O)
            (instance ?O Object))))		 Food.kif 969-978
(=>
    (instance ?D Drumming)
    (exists (?A ?DRUM ?I)
        (and
            (agent ?D ?A)
            (instrument ?D ?DRUM)
            (subProcess ?I ?D)
            (agent ?I ?A)
            (patient ?I ?DRUM)
            (instance ?I Impacting)
            (instance ?DRUM Drum))))		 Music.kif 1365-1375
(=>
    (instance ?X AutoAirbag)
    (hasPurpose ?X
        (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
            (and
                (instance ?CAR Automobile)
                (part ?X ?CAR)
                (instance ?PERSON Human)
                (contains ?CAR ?PERSON)
                (instance ?IMP Impacting)
                (patient ?IMP ?CAR)
                (instance ?INF Inflating)
                (patient ?INF ?X)
                (causes ?IMP ?INF)
                (hinders ?INF
                    (KappaFn ?INJ
                        (and
                            (instance ?INJ Injuring)
                            (experiencer ?INJ ?PERSON)
                            (exists (?HIT)
                                (and
                                    (instance ?HIT Impacting)
                                    (destination ?HIT ?CAR)
                                    (experiencer ?HIT ?PERSON)
                                    (causes ?HIT ?INJ))))))))))		 Cars.kif 3693-3717
(=>
    (instance ?X SeatBelt)
    (hasPurpose ?X
        (exists (?PERSON ?STOP ?VEHICLE ?M)
            (and
                (instance ?VEHICLE Vehicle)
                (part ?X ?VEHICLE)
                (instance ?PERSON Human)
                (contains ?VEHICLE ?PERSON)
                (instance ?STOP Process)
                (prevents ?STOP
                    (KappaFn ?M
                        (and
                            (instance ?M Translocation)
                            (patient ?M ?PERSON)
                            (exists (?COLLISION)
                                (and
                                    (or
                                        (instance ?COLLISION Decelerating)
                                        (instance ?COLLISION Impacting))
                                    (experiencer ?COLLISION ?VEHICLE)
                                    (causes ?COLLISION ?M)))
                            (modalAttribute
                                (exists (?INJ ?IMP)
                                    (and
                                        (instance ?INJ Injuring)
                                        (instance ?IMP Impacting)
                                        (causes ?M ?INJ)
                                        (patient ?INJ ?PERSON)
                                        (subProcess ?IMP ?INJ))) Possibility))))))))		 Cars.kif 3736-3765


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