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 3952-3953
(externalImage VehicleBrake " thumb/ 0/ 07/ Drum_brake.jpg/ 180px-Drum_brake.jpg") pictureList.kif 1302-1302
(subclass VehicleBrake Brake) Cars.kif 552-552
(subclass VehicleBrake VehicleController) Mid-level-ontology.kif 3951-3951

appearance as argument number 2

(subclass AntilockBrake VehicleBrake) Cars.kif 1283-1283
(subclass DiscBrake VehicleBrake) Cars.kif 651-651
(subclass DrumBrake VehicleBrake) Cars.kif 602-602
(subclass ParkingBrake VehicleBrake) Cars.kif 554-554
(termFormat ChineseLanguage VehicleBrake "车辆制动器") domainEnglishFormat.kif 61266-61266
(termFormat ChineseTraditionalLanguage VehicleBrake "車輛制動器") domainEnglishFormat.kif 61265-61265
(termFormat EnglishLanguage VehicleBrake "vehicle brake") domainEnglishFormat.kif 61264-61264
(typicalPart BrakeCaliper VehicleBrake) Cars.kif 675-675


        (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 3955-3965

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