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 2536-2538 | |
(subclass GasPedal Device) | Cars.kif 2534-2534 |
appearance as argument number 2 |
(termFormat EnglishLanguage GasPedal "gas pedal") | Cars.kif 2535-2535 |
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 2585-2603 | |
(=> (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 2540-2555 |