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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Impelling
Impelling(impelling)Texas_leaguer, actuation, aerosolise, aerosolize, away, backhand, bait_casting, ball, bank_shot, base_hit, basketball_shot, beanball, beaner, belch, belching, belt, bender, blast, blast_off, blastoff, blow, bombard, boost, bounce, bounce_out, bowl, break_wind, breaking_ball, breathe, bubble, bullet, bundling, bunker, bunt, burp, burping, cannon, carry, cast, casting, catapult, centering, change-of-pace, change-of-pace_ball, change-up, charity_shot, charity_throw, charity_toss, chop, chopper...

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


(documentation Impelling ChineseLanguage "这是 Transfersubclass,当中 patient 通过一次突然有力的过程穿过空间, 例如:射击、投掷和扔等。") chinese_format.kif 3044-3045
(documentation Impelling EnglishLanguage "The subclass of Transfer where the patient travels through space by means of a sudden, forceful event. Some examples would be shooting, throwing, tossing, etc.") Merge.kif 11620-11622
(documentation Impelling JapaneseLanguage "patient が突然、衝撃な出来事によって宇宙を通過す る Transfersubclass。例えば、射撃、物を投げたり、トスする、など。") japanese_format.kif 1812-1813
(subclass Impelling Transfer) Merge.kif 11618-11618 Impelling is a subclass of transfer

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


(subclass AvalancheProcess Impelling) Geography.kif 2417-2417 Avalanche process is a subclass of impelling
(subclass Drooling Impelling) Mid-level-ontology.kif 7500-7500 Drooling is a subclass of impelling
(subclass GameShot Impelling) Mid-level-ontology.kif 18406-18406 Game shot is a subclass of impelling
(subclass HeartBeat Impelling) Mid-level-ontology.kif 12044-12044 Heart beat is a subclass of impelling
(subclass Kicking Impelling) Mid-level-ontology.kif 7570-7570 Kicking is a subclass of impelling
(subclass Landslide Impelling) Geography.kif 2423-2423 Landslide is a subclass of impelling
(subclass Punching Impelling) Mid-level-ontology.kif 7554-7554 Punching is a subclass of impelling
(subclass Shooting Impelling) Merge.kif 11624-11624 Shooting is a subclass of impelling
(subclass Spitting Impelling) Mid-level-ontology.kif 7486-7486 Spitting is a subclass of impelling
(subclass Throwing Impelling) Mid-level-ontology.kif 18465-18465 Throwing is a subclass of impelling
(termFormat ChineseLanguage Impelling "驱动") chinese_format.kif 1125-1125 Throwing is a subclass of impelling
(termFormat EnglishLanguage Impelling "impelling") english_format.kif 1467-1467 Throwing is a subclass of impelling
(termFormat FrenchLanguage Impelling "propulser") french_format.kif 803-803 Throwing is a subclass of impelling
(termFormat Hindi Impelling "prerakataa") terms-hindi.txt 335-335 Throwing is a subclass of impelling
(termFormat ItalianLanguage Impelling "Spinta") terms-it.txt 338-338 Throwing is a subclass of impelling
(termFormat JapaneseLanguage Impelling "強いること") japanese_format.kif 2487-2487 Throwing is a subclass of impelling
(termFormat PortugueseLanguage Impelling "Propulsionar") portuguese_format.kif 755-755 Throwing is a subclass of impelling
(termFormat cb Impelling "pagpugus") terms-cb.txt 340-340 Throwing is a subclass of impelling
(termFormat cz Impelling "impelling") terms-cz.txt 374-374 Throwing is a subclass of impelling
(termFormat de Impelling "Noetigen") terms-de.txt 633-633 Throwing is a subclass of impelling
(termFormat ro Impelling "impulsionare") relations-ro.kif 824-824 Throwing is a subclass of impelling
(termFormat tg Impelling "tinataboy") terms-tg.txt 339-339 Throwing is a subclass of impelling

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


(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))
Merge.kif 11689-11697
(=>
    (instance ?H Hammer)
    (hasPurpose ?H
        (exists (?I ?N)
            (and
                (instance ?I Impelling)
                (instrument ?I ?H)
                (patient ?I ?N)
                (instance ?N Nail)))))
Mid-level-ontology.kif 4655-4663


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