| (subclass VehicleBrake VehicleController) | Mid-level-ontology.kif 3384-3384 | |
| (subclass VehicleBrake Brake) | Cars.kif 552-552 | |
| (subclass ParkingBrake VehicleBrake) | Cars.kif 554-554 | |
| (subclass DrumBrake VehicleBrake) | Cars.kif 602-602 | |
| (subclass DiscBrake VehicleBrake) | Cars.kif 651-651 | |
| (subclass AntilockBrake VehicleBrake) | Cars.kif 1282-1282 |
|
|