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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleBrake

Sigma KEE - VehicleBrake
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 3406-3407
(externalImage VehicleBrake "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 07/ Drum_brake.jpg/ 180px-Drum_brake.jpg") pictureList.kif 1301-1301
(subclass VehicleBrake Brake) Cars.kif 552-552 VehicleBrake e' uma sub-classe de Brake
(subclass VehicleBrake VehicleController) Mid-level-ontology.kif 3405-3405 VehicleBrake e' uma sub-classe de VehicleController

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


(subclass AntilockBrake VehicleBrake) Cars.kif 1282-1282 AntilockBrake e' uma sub-classe de VehicleBrake
(subclass DiscBrake VehicleBrake) Cars.kif 651-651 DiscBrake e' uma sub-classe de VehicleBrake
(subclass DrumBrake VehicleBrake) Cars.kif 602-602 DrumBrake e' uma sub-classe de VehicleBrake
(subclass ParkingBrake VehicleBrake) Cars.kif 554-554 ParkingBrake e' uma sub-classe de VehicleBrake
(termFormat ChineseLanguage VehicleBrake "车辆制动器") domainEnglishFormat.kif 61360-61360
(termFormat ChineseTraditionalLanguage VehicleBrake "車輛制動器") domainEnglishFormat.kif 61359-61359
(termFormat EnglishLanguage VehicleBrake "vehicle brake") domainEnglishFormat.kif 61358-61358
(typicalPart BrakeCaliper VehicleBrake) Cars.kif 675-675 typicalPart BrakeCaliper and VehicleBrake

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 3409-3419


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

Show without tree


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