| 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 2523-2525 | |
| (subclass GasPedal Device) | Cars.kif 2521-2521 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GasPedal "gas pedal") | Cars.kif 2522-2522 |
| antecedent |
|
|
| (=> (and (engineIdleSpeed ?E (RotationFn ?N1 ?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 ?N2 ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Cars.kif 2572-2588 | |
| (=> (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 2527-2542 |
|
|
|