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 2273-2274 | |
(subclass Pulley DriveComponent) | Cars.kif 2271-2271 | Pulley è una sottoclasse di DriveComponent |
appearance as argument number 2 |
(termFormat EnglishLanguage Pulley "pulley") | Cars.kif 2272-2272 |
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 2276-2291 |
|
consequent |