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 | 子類 RockerArm and Device |
(typicalPart RockerArm FourStrokeEngine) | Cars.kif 3826-3826 | RockerArm typically 是 FourStrokeEngine 的 part |
(typicallyContainsPart RockerArm FourStrokeEngine) | Cars.kif 3827-3827 | FourStrokeEngine typically 有 part RockerArm |
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 |
|