Pulley
|
|
appearance as argument number 1 |
(documentation Pulley EnglishLanguage "A grooved wheel designed to hold a Drivebelt, and transmit the force of Rotating to another Pulley.") | Cars.kif 2296-2297 | |
(subclass Pulley DriveComponent) | Cars.kif 2294-2294 | 子類 Pulley and 驅動組件 |
appearance as argument number 2 |
(termFormat EnglishLanguage Pulley "pulley") | Cars.kif 2295-2295 |
antecedent |
(=> (instance ?P Pulley) (hasPurpose ?P (exists (?P2 ?D ?R1 ?R2) (and (instance ?P2 Pulley) (not (equal ?P ?P2)) (instance ?D Drivebelt) (instance ?R1 Rotating) (instance ?R2 Rotating) (connectedEngineeringComponents ?P ?D) (connectedEngineeringComponents ?P2 ?D) (patient ?R1 ?P) (patient ?R2 ?P2) (causes ?R1 ?R2))))) |
Cars.kif 2299-2314 |
consequent |