Pushing
|
|
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 17611-17612 | |
(subclass Pushing Motion) | Mid-level-ontology.kif 17613-17613 | Pushing ist eine teilkategorie von Motion |
appearance as argument number 2 |
(disjoint Pulling Pushing) | Mid-level-ontology.kif 17636-17636 | Pulling ist dijunkt von Pushing %n{nicht} |
(termFormat EnglishLanguage Pushing "pushing") | Mid-level-ontology.kif 17614-17614 |
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 3844-3864 |
|