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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Impacting

Sigma KEE - Impacting
ImpactingImpactar, Impatto, KO, KO_punch, Sunday_punch, backhand, backhand_drive, backhand_shot, backhand_stroke, backhander, bang, bash, baste, bastinado, bat, batter, beak, bean, beat, beat_up, beetle, belabor, belabour, belt, biff, birch, blast, blow, bludgeon, bonk, boom, boot, bop, bottom, bottom_out, box, brain, bray, broadside, bruise, buffet, buffeting, bulldoze, bump, bump_into, bunt, butt, butt_against, calk, cane...

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


(documentation Impacting ChineseLanguage "这是任何 Touching 的过程, 她发生在当某样东西突然而有力 地和另外一样东西发生物理上的接触。 一些例子如击、敲和搅等。") Merge.kif 11422-11423
(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 11419-11421
(subclass Impacting Touching) Merge.kif 11418-11418

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


(subclass Clapping Impacting) Mid-level-ontology.kif 10693-10693
(subclass TouchSurfaceTap Impacting) ComputerInput.kif 1253-1253
(termFormat ChineseLanguage Impacting "碰撞") chinese_format.kif 1128-1128
(termFormat EnglishLanguage Impacting "impacting") english_format.kif 815-815
(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 339-339
(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 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 1254-1262
(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))
Merge.kif 11425-11433

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 610-623
(=>
    (and
        (instance ?KL KnockLight)
        (attribute ?X Deaf)
        (located ?KL ?LOC)
        (located ?X ?LOC)
        (instance ?DOOR Door)
        (part ?DOOR ?LOC))
    (hasPurposeForAgent ?KL
        (knows ?X
            (exists (?KNOCK)
                (and
                    (instance ?KNOCK Impacting)
                    (patient ?KNOCK ?DOOR)))) ?X))
Mid-level-ontology.kif 23677-23690
(=>
    (and
        (instance ?KL KnockLight)
        (instance ?ROOM Room)
        (located ?KL ?ROOM)
        (instance ?DOOR Door)
        (part ?DOOR ?ROOM))
    (hasPurpose ?KL
        (exists (?SOUND ?LIGHT ?IMPACT)
            (and
                (instance ?IMPACT Impacting)
                (patient ?IMPACT ?DOOR)
                (causes ?IMPACT ?SOUND)
                (instance ?SOUND RadiatingSound)
                (agent ?SOUND ?DOOR)
                (causes ?SOUND ?LIGHT)
                (instance ?LIGHT RadiatingLight)
                (agent ?LIGHT ?KL)))))
Mid-level-ontology.kif 23657-23674
(=>
    (and
        (instance ?MOTION Ducking)
        (agent ?MOTION ?AGENT))
    (hasPurpose ?MOTION
        (not
            (exists (?IMPACT)
                (and
                    (instance ?IMPACT Impacting)
                    (patient ?IMPACT ?AGENT))))))
Mid-level-ontology.kif 10726-10733
(=>
    (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 1363-1373
(=>
    (instance ?X AutoAirbag)
    (hasPurpose ?X
        (exists (?CAR ?PERSON ?IMP ?INF)
            (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 3599-3623
(=>
    (instance ?X SeatBelt)
    (hasPurpose ?X
        (exists (?PERSON ?STOP ?VEHICLE)
            (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 3642-3671


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners