|
|
   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 3385-3386 | |
| (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 3384-3384 | 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 61370-61370 | |
| (termFormat ChineseTraditionalLanguage VehicleBrake "車輛制動器") | domainEnglishFormat.kif 61369-61369 | |
| (termFormat EnglishLanguage VehicleBrake "vehicle brake") | domainEnglishFormat.kif 61368-61368 | |
| (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 3388-3398 |
|
|
|
|
