| Pulling | |
| appearance as argument number 1 |
|
|
| (disjoint Pulling Pushing) | Mid-level-ontology.kif 15228-15228 | |
| (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 15203-15204 | |
| (subclass Pulling Motion) | Mid-level-ontology.kif 15202-15202 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Pulling "拉") | domainEnglishFormat.kif 48002-48002 | |
| (termFormat ChineseTraditionalLanguage Pulling "拉") | domainEnglishFormat.kif 48001-48001 | |
| (termFormat EnglishLanguage Pulling "pulling") | domainEnglishFormat.kif 48000-48000 |
| 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)) (and (distance ?ALOC ?D ?SMALLER) (distance ?ALOC ?O ?LARGER) (greaterThan ?LARGER ?SMALLER)))) |
Mid-level-ontology.kif 15230-15245 |
| 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 1842-1854 | |
| (=> (instance ?AT AnimalTeam) (exists (?P) (and (instance ?P Pulling) (agent ?P ?AT)))) |
Mid-level-ontology.kif 7207-7212 | |
| (=> (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 1979-1994 | |
| (=> (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 1996-2007 |
|
|
|