| VehicleBrake(vehicle brake)
| | brake_system, brakes, foot_brake, hydraulic_brake, hydraulic_brakes |
| appearance as argument number 1 |
|
|
| (documentation VehicleBrake EnglishLanguage "A VehicleController which is capable of stopping the motion of a Vehicle.") | Mid-level-ontology.kif 3479-3480 | |
| (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 | Vehicle brake is a subclass of brake |
| (subclass VehicleBrake VehicleController) | Mid-level-ontology.kif 3478-3478 | Vehicle brake is a subclass of vehicle controller |
| appearance as argument number 2 |
|
|
| (subclass AntilockBrake VehicleBrake) | Cars.kif 1282-1282 | Antilock brake is a subclass of vehicle brake |
| (subclass DiscBrake VehicleBrake) | Cars.kif 651-651 | Disc brake is a subclass of vehicle brake |
| (subclass DrumBrake VehicleBrake) | Cars.kif 602-602 | Drum brake is a subclass of vehicle brake |
| (subclass ParkingBrake VehicleBrake) | Cars.kif 554-554 | Parking brake is a subclass of vehicle brake |
| (termFormat ChineseLanguage VehicleBrake "车辆制动器") | domainEnglishFormat.kif 61381-61381 | Parking brake is a subclass of vehicle brake |
| (termFormat ChineseTraditionalLanguage VehicleBrake "車輛制動器") | domainEnglishFormat.kif 61380-61380 | Parking brake is a subclass of vehicle brake |
| (termFormat EnglishLanguage VehicleBrake "vehicle brake") | domainEnglishFormat.kif 61379-61379 | Parking brake is a subclass of vehicle brake |
| (typicalPart BrakeCaliper VehicleBrake) | Cars.kif 675-675 | A brake caliper is typically a part of a vehicle brake |
| 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 3482-3492 |
|
|
|
|