| Pulling(pulling) | | drag, draw, force, pick, pluck, plunk, pull, tow, towage, tug |
| appearance as argument number 1 |
|
|
| (subclass Pulling Motion) | Mid-level-ontology.kif 19498-19498 | 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 19499-19500 | Pulling is a subclass of motion |
| (disjoint Pulling Pushing) | Mid-level-ontology.kif 19527-19527 | 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 19529-19547 | 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 1032-1043 | 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 1804-1819 | 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 1821-1832 | 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 8724-8729 | 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 |
|
|
|