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 2327-2329 | |
(subclass Driveshaft Shaft) | Cars.kif 2325-2325 | Driveshaft は Shaft の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage Driveshaft "driveshaft") | Cars.kif 2326-2326 |
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 2331-2343 |
|
consequent |