GasPedal |
appearance as argument number 1 |
(documentation GasPedal EnglishLanguage "A Device that controls the flow of Fuel (which may be Diesel as well as Gasoline) to the Engine.") | Cars.kif 2542-2544 | |
(subclass GasPedal Device) | Cars.kif 2540-2540 |
appearance as argument number 2 |
(termFormat EnglishLanguage GasPedal "gas pedal") | Cars.kif 2541-2541 |
antecedent |
(=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Cars.kif 2591-2609 | |
(=> (instance ?GP GasPedal) (hasPurpose ?GP (exists (?P ?T ?F ?E ?A) (and (instance ?P Pushing) (instance ?T Transfer) (instance ?F Fuel) (instance ?E Engine) (instance ?A Automobile) (part ?GP ?A) (part ?E ?A) (destination ?P ?GP) (destination ?T ?E) (patient ?T ?F) (causes ?P ?T))))) |
Cars.kif 2546-2561 |