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 3856-3857 | |
(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 | 车辆制动器 是 Brake 的 subclass |
(subclass VehicleBrake VehicleController) | Mid-level-ontology.kif 3855-3855 | 车辆制动器 是 车辆控制器 的 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 61352-61352 | ParkingBrake 是 车辆制动器 的 subclass |
(termFormat ChineseTraditionalLanguage VehicleBrake "車輛制動器") | domainEnglishFormat.kif 61351-61351 | ParkingBrake 是 车辆制动器 的 subclass |
(termFormat EnglishLanguage VehicleBrake "vehicle brake") | domainEnglishFormat.kif 61350-61350 | ParkingBrake 是 车辆制动器 的 subclass |
(typicalPart BrakeCaliper VehicleBrake) | Cars.kif 675-675 | BrakeCaliper typically 是 车辆制动器 的 part |
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 3859-3869 |
![]() |
![]() |