Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParkingBrake
ParkingBrake(parking brake)emergency, emergency_brake, hand_brake, parking_brake

appearance as argument number 1
-------------------------


(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 556-563
(subclass ParkingBrake VehicleBrake) Cars.kif 554-554 Parking brake is a subclass of vehicle brake
(typicallyContainsPart ParkingBrake DrumBrake) Cars.kif 565-565 A drum brake typically has a part parking brake

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ParkingBrake "parking brake") Cars.kif 555-555 "parking brake" is the printable form of parking brake in english language

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 567-580


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners