AutomobileTransmission
|
|
appearance as argument number 1 |
(documentation AutomobileTransmission EnglishLanguage "A Gearbox with several Gears that allow a given rotational speed of the Crankshaft to be translated ultimately to different speeds of the Driveshaft (within the power and maximum RPM capabilities of the Engine).") | Cars.kif 2324-2327 | |
(subclass AutomobileTransmission Gearbox) | Cars.kif 2322-2322 |
appearance as argument number 2 |
(termFormat EnglishLanguage AutomobileTransmission "transmission") | Cars.kif 2323-2323 |
antecedent |
(=> (instance ?AT AutomobileTransmission) (hasPurpose ?AT (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3) (and (instance ?C Crankshaft) (instance ?D Driveshaft) (instance ?A Automobile) (part ?D ?A) (part ?AT ?A) (part ?C ?A) (connectedEngineeringComponents ?C ?AT) (connectedEngineeringComponents ?D ?AT) (instance ?R1 Rotating) (instance ?R2 Rotating) (instance ?R3 Rotating) (instance ?R4 Rotating) (patient ?R1 ?C) (patient ?R2 ?C) (patient ?R3 ?D) (patient ?R4 ?D) (causes ?R1 ?R3) (causes ?R2 ?R4) (not (equal ?R1 ?R2)) (holdsDuring ?R1 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R2 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R3 (measure ?D (RotationFn ?N2 MinuteDuration))) (holdsDuring ?R4 (measure ?D (RotationFn ?N3 MinuteDuration))) (not (equal ?N2 ?N3)))))) |
Cars.kif 2329-2363 |