Cam |
appearance as argument number 1 |
(documentation Cam EnglishLanguage "An eccentric lobe that presses against a valve or level as it rotates.") | Cars.kif 1636-1637 | |
(subclass Cam Device) | Cars.kif 1634-1634 |
appearance as argument number 2 |
(termFormat EnglishLanguage Cam "cam") | Cars.kif 1635-1635 |
antecedent |
(=> (and (instance ?C Cam) (instance ?CS Camshaft) (instance ?E Engine) (part ?C ?E) (part ?CS ?E)) (hasPurpose ?CS (connectedEngineeringComponents ?C ?CS))) |
Cars.kif 1660-1668 | |
(=> (instance ?C Cam) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C))))) |
Cars.kif 1639-1645 |
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 3844-3864 |