Pulling |
appearance as argument number 1 |
(disjoint Pulling Pushing) | Mid-level-ontology.kif 17636-17636 | |
(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 17608-17609 | |
(subclass Pulling Motion) | Mid-level-ontology.kif 17607-17607 |
appearance as argument number 2 |
(termFormat ChineseLanguage Pulling "拉") | domainEnglishFormat.kif 48074-48074 | |
(termFormat ChineseTraditionalLanguage Pulling "拉") | domainEnglishFormat.kif 48073-48073 | |
(termFormat EnglishLanguage Pulling "pulling") | domainEnglishFormat.kif 48072-48072 |
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 17638-17656 |
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 7517-7522 | |
(=> (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 1569-1584 | |
(=> (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 1586-1597 |