Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ParkingBrake(parking brake) |  | emergency, emergency_brake, hand_brake, parking_brake |
| appearance as argument number 1 |
|
|
| (subclass ParkingBrake VehicleBrake) | Cars.kif 491-491 | Parking brake is a subclass of vehicle brake |
| (documentation ParkingBrake EnglishLanguage "A kind of brake chiefly designed to prevent motion from occuring in a stopped vehicle, although it can be used to slow a vehicle that is in motion. Most other types of brakes are designed to be used intermittently to slow a vehicle, or only temporarily to keep a vehicle stationary, while the driver is applying the brake. In contrast, most parking brakes employ some sort of ratcheting system so the parking brake may remain active even when the driver is not applying force to a braking actuator, or even being present in the vehicle. Typically, it is implemented as a DrumBrake in most modern passenger vehicles.") | Cars.kif 493-500 | Parking brake is a subclass of vehicle brake |
| (typicallyContainsPart ParkingBrake DrumBrake) | Cars.kif 502-502 | A drum brake typically has a part parking brake |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ParkingBrake "parking brake") | Cars.kif 492-492 |
| antecedent |
|
|
| (=> (and (instance ?P ParkingBrake) (instance ?V Vehicle) (holdsDuring ?T1 (attribute ?P DeviceOn)) (part ?P ?V)) (hasPurpose ?P (holdsDuring ?T1 (not (exists (?T) (and (instance ?T Translocation) (patient ?T ?V))))))) |
Cars.kif 504-517 | If X is an instance of parking brake, Y is an instance of vehicle, device on is an attribute of X holds during Z, and X is a part of Y, then X has the purpose there doesn't exist W such that W is an instance of translocation and Y is a patient of W holds during Z |
|