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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Impelling

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 11303-11305
(subclass Impelling Transfer) Merge.kif 11301-11301 Impelling is a subclass of transfer

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


(subclass AvalancheProcess Impelling) Geography.kif 2295-2295 Avalanche process is a subclass of impelling
(subclass Drooling Impelling) Mid-level-ontology.kif 6232-6232 Drooling is a subclass of impelling
(subclass GameShot Impelling) Mid-level-ontology.kif 16438-16438 Game shot is a subclass of impelling
(subclass HeartBeat Impelling) Mid-level-ontology.kif 10218-10218 HeartBeat is a subclass of impelling
(subclass Kicking Impelling) Mid-level-ontology.kif 6293-6293 Kicking is a subclass of impelling
(subclass Landslide Impelling) Geography.kif 2301-2301 Landslide is a subclass of impelling
(subclass Punching Impelling) Mid-level-ontology.kif 6278-6278 Punching is a subclass of impelling
(subclass Shooting Impelling) Merge.kif 11307-11307 Shooting is a subclass of impelling
(subclass Spitting Impelling) Mid-level-ontology.kif 6218-6218 Spitting is a subclass of impelling
(subclass Throwing Impelling) Mid-level-ontology.kif 16497-16497 Throwing is a subclass of impelling
(termFormat ChineseLanguage Impelling "驱动") chinese_format.kif 1125-1125
(termFormat EnglishLanguage Impelling "impelling") english_format.kif 1467-1467

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


(=>
    (and
        (instance ?IMPACT Impacting)
        (patient ?IMPACT ?OBJ))
    (exists (?IMPEL)
        (and
            (instance ?IMPEL Impelling)
            (patient ?IMPEL ?OBJ)
            (earlier
                (WhenFn ?IMPEL)
                (WhenFn ?IMPACT)))))
Merge.kif 11372-11380
(=>
    (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 4103-4111


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 3.0 is open source software produced by Articulate Software and its partners