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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Impacting
Impacting(impacting)Impactar, 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 11342-11343
(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 11339-11341
(subclass Impacting Touching) Merge.kif 11338-11338 Impacting is a subclass of touching

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


(subclass Clapping Impacting) Mid-level-ontology.kif 10681-10681 Clapping is a subclass of impacting
(subclass TouchSurfaceTap Impacting) ComputerInput.kif 1239-1239 TouchSurfaceTap is a subclass of impacting
(termFormat ChineseLanguage Impacting "碰撞") chinese_format.kif 1128-1128 "碰撞" is the printable form of impacting in ChineseLanguage
(termFormat EnglishLanguage Impacting "impacting") english_format.kif 815-815 "impacting" is the printable form of impacting in english language
(termFormat FrenchLanguage Impacting "impacte") french_format.kif 806-806 "impacte" is the printable form of impacting in french language
(termFormat Hindi Impacting "takaraahata") terms-hindi.txt 338-338 "takaraahata" is the printable form of impacting in Hindi
(termFormat ItalianLanguage Impacting "Impatto") terms-it.txt 339-339 "Impatto" is the printable form of impacting in italian language
(termFormat PortugueseLanguage Impacting "Impactar") portuguese_format.kif 758-758 "Impactar" is the printable form of impacting in portuguese language
(termFormat cb Impacting "paghapak") terms-cb.txt 343-343 "paghapak" is the printable form of impacting in cb
(termFormat cz Impacting "impacting") terms-cz.txt 377-377 "impacting" is the printable form of impacting in cz
(termFormat tg Impacting "pagtama;pagbangga") terms-tg.txt 342-342 "pagtama;pagbangga" is the printable form of impacting in tg

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


(=>
    (and
        (instance ?B Bell)
        (instance ?I Impacting)
        (destination ?I ?B))
    (exists (?MT)
        (and
            (instance ?MT MusicalTone)
            (causes ?I ?MT))))
Music.kif 1270-1278
(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))
Merge.kif 11345-11353

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 23316-23329
(=>
    (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 23296-23313
(=>
    (and
        (instance ?MOTION Ducking)
        (agent ?MOTION ?AGENT))
    (hasPurpose ?MOTION
        (not
            (exists (?IMPACT)
                (and
                    (instance ?IMPACT Impacting)
                    (patient ?IMPACT ?AGENT))))))
Mid-level-ontology.kif 10714-10721
(=>
    (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 1379-1389
(=>
    (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 3640-3664
(=>
    (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 3683-3712


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners