| Cam | |
| appearance as argument number 1 |
|
|
| (documentation Cam EnglishLanguage "An eccentric lobe that presses against a valve or level as it rotates.") | Cars.kif 1643-1644 | |
| (subclass Cam Device) | Cars.kif 1641-1641 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cam "cam") | Cars.kif 1642-1642 |
| antecedent |
|
|
| (=> (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 | |
| (=> (instance ?C Cam) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C))))) |
Cars.kif 1646-1652 |
| 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 3905-3925 |
|
|
|