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 是 设备 的 subclass |
(typicalPart RockerArm FourStrokeEngine) | Cars.kif 3841-3841 | RockerArm typically 是 FourStrokeEngine 的 part |
(typicallyContainsPart RockerArm FourStrokeEngine) | Cars.kif 3842-3842 | FourStrokeEngine typically 有 part RockerArm |
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 |
|