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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParkingBrake
ParkingBrake

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 ParkingBrake est une sous-classe de VehicleBrake
(typicallyContainsPart ParkingBrake DrumBrake) Cars.kif 565-565 typicallyContainsPart ParkingBrake and DrumBrake

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


(termFormat EnglishLanguage ParkingBrake "parking brake") Cars.kif 555-555

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 3.0 is open source software produced by Articulate Software and its partners