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 3823-3825 | |
(subclass RockerArm Device) | Cars.kif 3821-3821 | |
(typicalPart RockerArm FourStrokeEngine) | Cars.kif 3826-3826 | |
(typicallyContainsPart RockerArm FourStrokeEngine) | Cars.kif 3827-3827 |
appearance as argument number 2 |
(termFormat EnglishLanguage RockerArm "rocker arm") | Cars.kif 3822-3822 |
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 3829-3849 |