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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VehicleBrake
VehicleBrake(vehicle brake)
brake_system, brakes, foot_brake, hydraulic_brake, hydraulic_brakes, vehicle_brake, 車輛制動器, 车辆制动器

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


(documentation VehicleBrake EnglishLanguage "A VehicleController which is capable of stopping the motion of a Vehicle.") Mid-level-ontology.kif 3946-3947
(externalImage VehicleBrake "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 07/ Drum_brake.jpg/ 180px-Drum_brake.jpg") pictureList.kif 1302-1302 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 07/ Drum_brake.jpg/ 180px-Drum_brake.jpg" is a URL depicting vehicle brake
(subclass VehicleBrake Brake) Cars.kif 552-552 Vehicle brake is a subclass of brake
(subclass VehicleBrake VehicleController) Mid-level-ontology.kif 3945-3945 Vehicle brake is a subclass of vehicle controller

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


(subclass AntilockBrake VehicleBrake) Cars.kif 1282-1282 Antilock brake is a subclass of vehicle brake
(subclass DiscBrake VehicleBrake) Cars.kif 651-651 Disc brake is a subclass of vehicle brake
(subclass DrumBrake VehicleBrake) Cars.kif 602-602 Drum brake is a subclass of vehicle brake
(subclass ParkingBrake VehicleBrake) Cars.kif 554-554 Parking brake is a subclass of vehicle brake
(termFormat ChineseLanguage VehicleBrake "车辆制动器") domainEnglishFormat.kif 61303-61303 "车辆制动器" is the printable form of vehicle brake in ChineseLanguage
(termFormat ChineseTraditionalLanguage VehicleBrake "車輛制動器") domainEnglishFormat.kif 61302-61302 "車輛制動器" is the printable form of vehicle brake in ChineseTraditionalLanguage
(termFormat EnglishLanguage VehicleBrake "vehicle brake") domainEnglishFormat.kif 61301-61301 "vehicle brake" is the printable form of vehicle brake in english language
(typicalPart BrakeCaliper VehicleBrake) Cars.kif 675-675 A BrakeCaliper is typically a part of a vehicle brake

antecedent
-------------------------


(=>
    (and
        (instance ?B VehicleBrake)
        (instance ?V Vehicle)
        (part ?B ?V))
    (hasPurpose ?B
        (exists (?S)
            (and
                (instance ?S
                    (StopFn Motion))
                (patient ?S ?V)
                (instrument ?S ?B)))))
Mid-level-ontology.kif 3949-3959


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