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 2520-2522 | |
(subclass GasPedal Device) | Cars.kif 2518-2518 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage GasPedal "gas pedal") | Cars.kif 2519-2519 |
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 2569-2587 | |
(=> (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 2524-2539 |
![]() |
![]() |