RockerArm
|
|
appearance as argument number 1 |
(documentation RockerArm EnglishLanguage "A Device located in the Cylinder head of a FourStrokeEngine that opens a Valve. It is typically activated by contact from a Cam on the Camshaft.") | Cars.kif 3838-3840 | |
(subclass RockerArm Device) | Cars.kif 3836-3836 | |
(typicalPart RockerArm FourStrokeEngine) | Cars.kif 3841-3841 | |
(typicallyContainsPart RockerArm FourStrokeEngine) | Cars.kif 3842-3842 |
appearance as argument number 2 |
(termFormat EnglishLanguage RockerArm "rocker arm") | Cars.kif 3837-3837 |
antecedent |
(=> (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 |