Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass Impelling Transfer) | Merge.kif 11744-11744 | Impelling is a subclass of transfer |
| (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 11746-11748 | Impelling is a subclass of transfer |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?IMPACT Impacting) (patient ?IMPACT ?OBJ)) (exists (?IMPEL) (and (instance ?IMPEL Impelling) (patient ?IMPEL ?OBJ) (earlier (WhenFn ?IMPEL) (WhenFn ?IMPACT))))) |
Merge.kif 11815-11823 | If X is an instance of impacting and Y is a patient of X, then there exists Z such that Z is an instance of impelling, Y is a patient of Z, and the time of existence of Z happens earlier than the time of existence of X |
| (=> (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 4858-4866 | If X is an instance of hammer, then X has the purpose there exist Y, Z such that Y is an instance of impelling, X is an instrument for Y, Z is a patient of Y, and Z is an instance of nail |
| (=> (instance ?SB SnowBlower) (hasPurpose ?SB (exists (?IMP ?SNOW) (and (instance ?IMP Impelling) (instrument ?IMP ?SB) (instance ?SNOW Snowing) (patient ?IMP ?SNOW))))) |
Society.kif 894-902 | If X is an instance of SnowBlower, then X has the purpose there exist Y, Z such that Y is an instance of impelling, X is an instrument for Y, Z is an instance of snowing, and Z is a patient of Y |
|