Cam
|
|
appearance as argument number 1 |
(documentation Cam EnglishLanguage "An eccentric lobe that presses against a valve or level as it rotates.") | Cars.kif 1642-1643 | |
(subclass Cam Device) | Cars.kif 1640-1640 | Cam ist eine teilkategorie von Device |
appearance as argument number 2 |
(termFormat EnglishLanguage Cam "cam") | Cars.kif 1641-1641 |
antecedent |
(=> (and (instance ?C Cam) (instance ?CS Camshaft) (instance ?E Engine) (part ?C ?E) (part ?CS ?E)) (hasPurpose ?CS (connectedEngineeringComponents ?C ?CS))) |
Cars.kif 1666-1674 |
|
(=> (instance ?C Cam) (hasPurpose ?C (exists (?R) (and (instance ?R Rotating) (patient ?R ?C))))) |
Cars.kif 1645-1651 |
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 3829-3849 |
|