Driveshaft
|
|
appearance as argument number 1 |
(documentation Driveshaft EnglishLanguage "A Shaft that transmits power from the AutomobileTransmission to a Differential or more directly to the Wheels of an Automobile.") | Cars.kif 2304-2306 | |
(subclass Driveshaft Shaft) | Cars.kif 2302-2302 | Driveshaft e' uma sub-classe de Shaft |
appearance as argument number 2 |
(termFormat EnglishLanguage Driveshaft "driveshaft") | Cars.kif 2303-2303 |
antecedent |
(=> (instance ?D Driveshaft) (hasPurpose ?D (exists (?R1 ?R2 ?W ?A) (and (instance ?A Automobile) (instance ?W Wheel) (part ?D ?A) (part ?W ?A) (instance ?R1 Rotating) (patient ?R1 ?D) (patient ?R2 ?W) (causes ?R1 ?R2))))) |
Cars.kif 2308-2320 |
|
consequent |