| BrakePedal(brake pedal) | | brake_pedal |
| appearance as argument number 1 |
|
|
| (documentation BrakePedal EnglishLanguage "A brake pedal is a device inside a vehicle that has the purpose of being pushed to activate the bakes of the vehicle. Although normally pushed with the foot, this concept also covers handicapped-accessible devices mounted on the steering column that can be activated by pressing with the hands or fingers.") | Cars.kif 679-683 | |
| (subclass BrakePedal Device) | Cars.kif 677-677 | Brake pedal is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakePedal "brake pedal") | Cars.kif 678-678 |
| antecedent |
|
|
|
|
|