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


s__documentation(s__Impelling,s__ChineseLanguage,'"这是 Transfersubclass,当中 patient 通过一次突然有力的过程穿过空间, 例如:射击、投掷和扔等。"')

chinese_format.kif 3044-3045
s__documentation(s__Impelling,s__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 10987-10989
s__instance(s__Impelling,s__Class)

s__subclass(s__Impelling,s__Transfer)

s__instance(s__Transfer,s__Class)

Merge.kif 10985-10985 Impelling is a subclass of transfer

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


s__instance(s__Impelling,s__Class)

s__instance(s__AvalancheProcess,s__Class)

s__subclass(s__AvalancheProcess,s__Impelling)

Geography.kif 2258-2258 Avalanche process is a subclass of impelling
s__instance(s__Impelling,s__Class)

s__instance(s__Drooling,s__Class)

s__subclass(s__Drooling,s__Impelling)

Mid-level-ontology.kif 6208-6208 Drooling is a subclass of impelling
s__subclass(s__GameShot,s__Impelling)

s__instance(s__Impelling,s__Class)

s__instance(s__GameShot,s__Class)

Mid-level-ontology.kif 16293-16293 Game shot is a subclass of impelling
s__instance(s__Impelling,s__Class)

s__instance(s__HeartBeat,s__Class)

s__subclass(s__HeartBeat,s__Impelling)

Mid-level-ontology.kif 10090-10090 HeartBeat is a subclass of impelling
s__instance(s__Impelling,s__Class)

s__subclass(s__Kicking,s__Impelling)

s__instance(s__Kicking,s__Class)

Mid-level-ontology.kif 6269-6269 Kicking is a subclass of impelling
s__instance(s__Impelling,s__Class)

s__subclass(s__Landslide,s__Impelling)

s__instance(s__Landslide,s__Class)

Geography.kif 2264-2264 Landslide is a subclass of impelling
s__instance(s__Impelling,s__Class)

s__instance(s__Punching,s__Class)

s__subclass(s__Punching,s__Impelling)

Mid-level-ontology.kif 6254-6254 Punching is a subclass of impelling
s__instance(s__Impelling,s__Class)

s__subclass(s__Shooting,s__Impelling)

s__instance(s__Shooting,s__Class)

Merge.kif 10991-10991 Shooting is a subclass of impelling
s__instance(s__Impelling,s__Class)

s__instance(s__Spitting,s__Class)

s__subclass(s__Spitting,s__Impelling)

Mid-level-ontology.kif 6194-6194 Spitting is a subclass of impelling
s__subclass(s__Throwing,s__Impelling)

s__instance(s__Impelling,s__Class)

s__instance(s__Throwing,s__Class)

Mid-level-ontology.kif 16352-16352 Throwing is a subclass of impelling
s__termFormat(s__ChineseLanguage,s__Impelling,'"驱动"')

chinese_format.kif 1125-1125
s__termFormat(s__EnglishLanguage,s__Impelling,'"impelling"')

english_format.kif 1467-1467

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


( ! [V__OBJ,V__IMPACT] :
   (((s__instance(V__IMPACT,s__Impacting) &
         s__patient(V__IMPACT,V__OBJ))
     =>
     (( ? [V__IMPEL] :
         ((s__instance(V__IMPEL,s__Impelling) &
             s__patient(V__IMPEL,V__OBJ)
           &
           s__earlier(s__WhenFn(V__IMPEL)
        ,s__WhenFn(V__IMPACT)))))))
)
)

Merge.kif 11056-11064
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4086-4094


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