Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RockerArm(rocker arm) |  | rocker_arm, valve_rocker |
| appearance as argument number 1 |
|
|
| (subclass RockerArm Device) | Cars.kif 3705-3705 | Rocker arm is a subclass of device |
| (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 3707-3709 | Rocker arm is a subclass of device |
| (typicalPart RockerArm FourStrokeEngine) | Cars.kif 3710-3710 | A rocker arm is typically a part of a four stroke engine |
| (typicallyContainsPart RockerArm FourStrokeEngine) | Cars.kif 3711-3711 | A four stroke engine typically has a part rocker arm |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RockerArm "rocker arm") | Cars.kif 3706-3706 |
| 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 3713-3733 | If X is an instance of rocker arm, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of pushing (3) Z is an instance of cam (4) W is an instance of pushing (5) V is an instance of valve (6) U is an instance of opening (7) T is an instance of four stroke engine (8) X is a part of T (9) Z is a part of T (10) V is a part of T (11) Z is an instrument for Y (12) Y ends up at X (13) X is an instrument for W (14) W ends up at V (15) Y causes W (16) W causes U (17) V is a patient of U |
|