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 2290-2291 | |
(subclass Pulley DriveComponent) | Cars.kif 2288-2288 | 子類 Pulley and 驅動組件 |
appearance as argument number 2 |
(termFormat EnglishLanguage Pulley "pulley") | Cars.kif 2289-2289 |
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 2293-2308 |
consequent |