BrakePedal |
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 | BrakePedal è una sottoclasse di Dispositivo |
appearance as argument number 2 |
(termFormat EnglishLanguage BrakePedal "brake pedal") | Cars.kif 678-678 |
antecedent |
(=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F))))) |
Cars.kif 693-707 |
|
(=> (instance ?BP BrakePedal) (hasPurpose ?BP (exists (?PU) (and (instance ?PU Pushing) (destination ?PU ?BP))))) |
Cars.kif 685-691 |
|