Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BrakePedal
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BrakePedal Device) | Cars.kif 614-614 | Brake pedal is a subclass of device |
| (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 616-620 | Brake pedal is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrakePedal "brake pedal") | Cars.kif 615-615 |
| antecedent |
|
|
| (=> (instance ?BP BrakePedal) (hasPurpose ?BP (exists (?PU) (and (instance ?PU Pushing) (destination ?PU ?BP))))) |
Cars.kif 622-628 | If X is an instance of brake pedal, then X has the purpose there exists Y such that Y is an instance of pushing and Y ends up at X |
| (=> (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 630-644 | If All of the following hold: (1) X is an instance of brake pedal (2) Y is an instance of pushing (3) Z is an instance of vehicle (4) Y ends up at X (5) Y is located at Z (6) X is a part of Z, then X has the purpose there exist W, V such that W is an instance of wearing friction surface, V is an instance of friction, W is an instrument for V, and Y causes V |
|