Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cam(cam) |  | cam, distributor_cam |
| appearance as argument number 1 |
|
|
| (subclass Cam Device) | Cars.kif 1520-1520 | Cam is a subclass of device |
| (documentation Cam EnglishLanguage "An eccentric lobe that presses against a valve or level as it rotates.") | Cars.kif 1522-1523 | Cam is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cam "cam") | Cars.kif 1521-1521 |
| antecedent |
|
|
| (=> (instance ?C Cam) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C))))) |
Cars.kif 1525-1531 | 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 1546-1554 | 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 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 |
|