| Cam(cam) | | cam, distributor_cam |
| appearance as argument number 1 |
|
|
| (subclass Cam Device) | Cars.kif 1641-1641 | Cam is a subclass of device |
| (documentation Cam EnglishLanguage "An eccentric lobe that presses against a valve or level as it rotates.") | Cars.kif 1643-1644 | Cam is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cam "cam") | Cars.kif 1642-1642 |
| antecedent |
|
|
| (=> (instance ?C Cam) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C))))) |
Cars.kif 1646-1652 | If X is an instance of cam, then X has the purpose there exists Y such that Y is an instance of rotating and X is a patient of Y |
| (=> (and (instance ?C Cam) (instance ?CS Camshaft) (instance ?E Engine) (part ?C ?E) (part ?CS ?E)) (hasPurpose ?CS (connectedEngineeringComponents ?C ?CS))) |
Cars.kif 1667-1675 | If X is an instance of cam, Y is an instance of camshaft, Z is an instance of engine, X is a part of Z, and Y is a part of Z, then Y has the purpose X is connected to Y |
| consequent |
|
|
| (=> (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 3922-3942 | 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 |
|
|
|