Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pulling(pulling) |  | drag, draw, force, pick, pluck, plunk, pull, tow, towage, tug |
| appearance as argument number 1 |
|
|
| (subclass Pulling Motion) | Mid-level-ontology.kif 19527-19527 | Pulling is a subclass of motion |
| (documentation Pulling EnglishLanguage "Pulling describe the exertion of force so as to cause or tend to cause motion towards the agent.") | Mid-level-ontology.kif 19528-19529 | Pulling is a subclass of motion |
| (disjoint Pulling Pushing) | Mid-level-ontology.kif 19556-19556 | Pulling is disjoint from pushing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?P Pulling) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER))))) |
Mid-level-ontology.kif 19558-19576 | If X is an instance of pulling, X originates at Y, Z is an agent of X, Z is located at W holds during the beginning of X, and X ends up at V, then there exist U, T and S such that the distance between W and V is S T(s) and the distance between W and Y is U T(s) and U is greater than S holds during immediately after the beginning of X |
| (=> (and (instance ?P Pulling) (agent ?P ?A) (patient ?P ?PULLED) (destination ?P ?D)) (holdsDuring ?P (exists (?SMALLER ?LARGER) (and (distance ?A ?D ?SMALLER) (distance ?PULLED ?D ?LARGER) (greaterThan ?LARGER ?SMALLER))))) |
Military.kif 1034-1045 | If X is an instance of pulling, Y is an agent of X, Z is a patient of X, and X ends up at W, then there exist V, U such that the distance between Y, W is V, the distance between Z, W is U, and U is greater than V holds during X |
| consequent |
|
|
| (=> (instance ?G AutomaticGun) (hasPurpose ?G (exists (?S1 ?S2 ?P ?T) (and (instance ?P Pulling) (instance ?T GunTrigger) (patient ?P ?T) (part ?T ?G) (instance ?S1 Shooting) (instance ?S2 Shooting) (instrument ?S1 ?G) (instrument ?S2 ?G) (not (equal ?S1 ?S2)) (causes ?P ?S1) (causes ?P ?S2))))) |
Mid-level-ontology.kif 1855-1870 | If X is an instance of automatic gun, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of pulling (3) V is an instance of gun trigger (4) V is a patient of W (5) V is a part of X (6) Y is an instance of shooting (7) Z is an instance of shooting (8) X is an instrument for Y (9) X is an instrument for Z (10) equal Y (11) Z (12) W causes Y (13) W causes Z |
| (=> (instance ?T GunTrigger) (hasPurpose ?T (exists (?S ?G ?P) (and (instance ?G AutomaticGun) (part ?T ?G) (patient ?P ?T) (instance ?P Pulling) (instance ?S Shooting) (instrument ?S ?G) (causes ?P ?S))))) |
Mid-level-ontology.kif 1872-1883 | If X is an instance of gun trigger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of automatic gun (3) X is a part of Z (4) X is a patient of W (5) W is an instance of pulling (6) Y is an instance of shooting (7) Z is an instrument for Y (8) W causes Y |
| (=> (instance ?AT AnimalTeam) (exists (?P) (and (instance ?P Pulling) (agent ?P ?AT)))) |
Mid-level-ontology.kif 8838-8843 | If X is an instance of animal team, then there exists Y such that Y is an instance of pulling and X is an agent of Y |
| (=> (and (instance ?W Wagon) (instance ?T Transportation) (instrument ?T ?W)) (exists (?P) (and (instance ?T Pulling) (agent ?T ?P) (patient ?T ?W) (or (instance ?P DomesticAnimal) (instance ?P Vehicle))))) |
Transportation.kif 2007-2019 | If X is an instance of wagon, Y is an instance of transportation, and X is an instrument for Y, then there exists Z such that Y is an instance of pulling, Z is an agent of Y, X is a patient of Y, and Z is an instance of domestic animal or Z is an instance of vehicle |
|