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 | RockerArm ist eine teilkategorie von Device |
(typicalPart RockerArm FourStrokeEngine) | Cars.kif 3841-3841 | typicalPart RockerArm and FourStrokeEngine |
(typicallyContainsPart RockerArm FourStrokeEngine) | Cars.kif 3842-3842 | typicallyContainsPart RockerArm and FourStrokeEngine |
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 |
|