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 11535-11537
(documentation Impacting JapaneseLanguage "何かが突然、力強く、物理的に何か他のものと接触する Touching。いくつかの例として、打撃、ノック、鞭打ちなど。") japanese_format.kif 1824-1825
(subclass Impacting Touching) Merge.kif 11533-11533 衝撃接触subclass では %n

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


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

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 1328-1340
(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))
Merge.kif 11539-11547

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 450-463
(=>
    (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 25840-25852
(=>
    (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 25821-25838
(=>
    (and
        (instance ?MOTION Ducking)
        (agent ?MOTION ?AGENT))
    (hasPurpose ?MOTION
        (not
            (exists (?IMPACT)
                (and
                    (instance ?IMPACT Impacting)
                    (patient ?IMPACT ?AGENT))))))
Mid-level-ontology.kif 13124-13131
(=>
    (instance ?C Crushing)
    (exists (?I ?C ?O)
        (and
            (instance ?I Impacting)
            (subProcess ?C ?I)
            (instance ?C Compressing)
            (patient ?I ?O)
            (patient ?C ?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 3632-3656
(=>
    (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 3675-3704


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