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...

VerbNet: substance_emission-43.4|belch, crane-40.3.2|blow, fill-9.8|bombard, run-51.3.2|bounce, run-51.3.2|bowl, hiccup-40.1.1|fart, substance_emission-43.4|bubble, throw-17.1|bunt, substance_emission-43.4|bubble, run-51.3.2|hurtle, throw-17.1|catapult, throw-17.1|toss, breathe-40.1.2|hawk, breathe-40.1.2|expectorate, breathe-40.1.2|expectorate, throw-17.1|pitch, remove-10.1|discharge, fill-9.8|dot, fill-9.8|dot, throw-17.1|bunt, fill-9.8|dot, spray-9.7|squirt, substance_emission-43.4|bubble, substance_emission-43.4|belch, breathe-40.1.2|expectorate, hiccup-40.1.1|fart, spank-18.3|slam, throw-17.1|fling, throw-17.1|flip, slide-11.2|float, spray-9.7|squirt, substance_emission-43.4|gush, breathe-40.1.2|hawk, throw-17.1|hit, run-51.3.2|hurtle, run-51.3.2|hurtle, throw-17.1|flick, substance_emission-43.4|gush, throw-17.1|lob, give-13.1|pass, fill-9.8|bombard, throw-17.1|toss, vehicle-51.4.1|punt, throw-17.1|punt, vehicle-51.4.1|rocket, fill-9.8|dot, throw-17.1|launch, run-51.3.2|skitter, run-51.3.2|skitter, run-51.3.2|skitter, ...


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 10536-10538
(subclass Impelling Transfer) Merge.kif 10534-10534 Impelling is a subclass of transfer

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


(subclass AvalancheProcess Impelling) Geography.kif 2237-2237 Avalanche process is a subclass of impelling
(subclass GameShot Impelling) Mid-level-ontology.kif 14564-14564 Game shot is a subclass of impelling
(subclass Kicking Impelling) Mid-level-ontology.kif 6265-6265 Kicking is a subclass of impelling
(subclass Landslide Impelling) Geography.kif 2243-2243 Landslide is a subclass of impelling
(subclass Punching Impelling) Mid-level-ontology.kif 6250-6250 Punching is a subclass of impelling
(subclass Shooting Impelling) Merge.kif 10540-10540 Shooting is a subclass of impelling
(subclass Spitting Impelling) Mid-level-ontology.kif 6236-6236 Spitting is a subclass of impelling
(subclass Throwing Impelling) Mid-level-ontology.kif 14623-14623 Throwing is a subclass of impelling
(termFormat ChineseLanguage Impelling "驱动") chinese_format.kif 1125-1125 "驱动" is the printable form of impelling in ChineseLanguage
(termFormat EnglishLanguage Impelling "impelling") english_format.kif 1472-1472 "impelling" is the printable form of impelling in english language

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


(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))
Merge.kif 10605-10613
(=>
    (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 4684-4692


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