|
|
   Pulling
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint Pulling Pushing) | Mid-level-ontology.kif 17663-17663 | |
| (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 17635-17636 | |
| (subclass Pulling Motion) | Mid-level-ontology.kif 17634-17634 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pulling "拉") | domainEnglishFormat.kif 48076-48076 | |
| (termFormat ChineseTraditionalLanguage Pulling "拉") | domainEnglishFormat.kif 48075-48075 | |
| (termFormat EnglishLanguage Pulling "pulling") | domainEnglishFormat.kif 48074-48074 |
| antecedent |
|
|
| (=> (and (instance ?P Pulling) (agent ?P ?A) (patient ?P ?PULLED) (destination ?P ?D)) (holdsDuring ?P (and (distance ?A ?D ?SMALLER) (distance ?PULLED ?D ?LARGER) (greaterThan ?LARGER ?SMALLER)))) |
Military.kif 759-769 | |
| (=> (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 17665-17683 |
| consequent |
|
|
| (=> (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 1852-1864 | |
| (=> (instance ?AT AnimalTeam) (exists (?P) (and (instance ?P Pulling) (agent ?P ?AT)))) |
Mid-level-ontology.kif 7544-7549 | |
| (=> (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 1562-1577 | |
| (=> (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 1579-1590 |
|
|
|