![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(disjoint Pulling Pushing) | Mid-level-ontology.kif 19187-19187 | |
(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 19159-19160 | |
(subclass Pulling Motion) | Mid-level-ontology.kif 19158-19158 |
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 836-846 | |
(=> (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 19189-19207 |
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 1992-2004 | |
(=> (instance ?AT AnimalTeam) (exists (?P) (and (instance ?P Pulling) (agent ?P ?AT)))) |
Mid-level-ontology.kif 8684-8689 | |
(=> (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 1786-1801 | |
(=> (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 1803-1814 |
![]() |
![]() |