![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Pushing EnglishLanguage "Pushing describes the exertion of force so as to cause or tend to cause motion away from the agent.") | Mid-level-ontology.kif 17052-17053 | |
(subclass Pushing Motion) | Mid-level-ontology.kif 17054-17054 |
appearance as argument number 2 |
![]() |
(disjoint Pulling Pushing) | Mid-level-ontology.kif 17076-17076 | |
(termFormat EnglishLanguage Pushing "pushing") | Mid-level-ontology.kif 17055-17055 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely)) |
Cars.kif 2567-2583 | |
(=> (instance ?BC BrakeCaliper) (hasPurpose ?BC (exists (?P ?W) (and (instance ?P Pushing) (instrument ?P ?BC) (patient ?P ?W) (instance ?W WearingFrictionSurface))))) |
Cars.kif 1562-1570 | |
(=> (instance ?BP BrakePedal) (hasPurpose ?BP (exists (?PU) (and (instance ?PU Pushing) (destination ?PU ?BP))))) |
Cars.kif 685-691 | |
(=> (instance ?GP GasPedal) (hasPurpose ?GP (exists (?P ?T ?F ?E ?A) (and (instance ?P Pushing) (instance ?T Transfer) (instance ?F Fuel) (instance ?E Engine) (instance ?A Automobile) (part ?GP ?A) (part ?E ?A) (destination ?P ?GP) (destination ?T ?E) (patient ?T ?F) (causes ?P ?T))))) |
Cars.kif 2540-2555 | |
(=> (instance ?RA RockerArm) (hasPurpose ?RA (exists (?P1 ?C ?P2 ?V ?O ?FSE) (and (instance ?P1 Pushing) (instance ?C Cam) (instance ?P2 Pushing) (instance ?V Valve) (instance ?O Opening) (instance ?FSE FourStrokeEngine) (part ?RA ?FSE) (part ?C ?FSE) (part ?V ?FSE) (instrument ?P1 ?C) (destination ?P1 ?RA) (instrument ?P2 ?RA) (destination ?P2 ?V) (causes ?P1 ?P2) (causes ?P2 ?O) (patient ?O ?V))))) |
Cars.kif 3847-3867 |
![]() |
![]() |