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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - VehicleBrake

appearance as argument number 1

(documentation VehicleBrake EnglishLanguage "A VehicleController which is capable of stopping the motion of a Vehicle.") Mid-level-ontology.kif 3385-3386
(externalImage VehicleBrake " thumb/ 0/ 07/ Drum_brake.jpg/ 180px-Drum_brake.jpg") pictureList.kif 1301-1301
(subclass VehicleBrake Brake) Cars.kif 552-552 车辆制动器Brakesubclass
(subclass VehicleBrake VehicleController) Mid-level-ontology.kif 3384-3384 车辆制动器车辆控制器subclass

appearance as argument number 2

(subclass AntilockBrake VehicleBrake) Cars.kif 1282-1282 AntilockBrake车辆制动器subclass
(subclass DiscBrake VehicleBrake) Cars.kif 651-651 DiscBrake车辆制动器subclass
(subclass DrumBrake VehicleBrake) Cars.kif 602-602 DrumBrake车辆制动器subclass
(subclass ParkingBrake VehicleBrake) Cars.kif 554-554 ParkingBrake车辆制动器subclass
(termFormat ChineseLanguage VehicleBrake "车辆制动器") domainEnglishFormat.kif 61370-61370
(termFormat ChineseTraditionalLanguage VehicleBrake "車輛制動器") domainEnglishFormat.kif 61369-61369
(termFormat EnglishLanguage VehicleBrake "vehicle brake") domainEnglishFormat.kif 61368-61368
(typicalPart BrakeCaliper VehicleBrake) Cars.kif 675-675 BrakeCaliper typically车辆制动器part


        (instance ?B VehicleBrake)
        (instance ?V Vehicle)
        (part ?B ?V))
    (hasPurpose ?B
        (exists (?S)
                (instance ?S
                    (StopFn Motion))
                (patient ?S ?V)
                (instrument ?S ?B)))))
Mid-level-ontology.kif 3388-3398

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