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 |