| (subclass VehicleBrake VehicleController) | Mid-level-ontology.kif 3412-3412 | VehicleBrake は VehicleController の subclass では %n |
| (subclass VehicleBrake Brake) | Cars.kif 552-552 | VehicleBrake は Brake の subclass では %n |
| (subclass ParkingBrake VehicleBrake) | Cars.kif 554-554 | ParkingBrake は VehicleBrake の subclass では %n |
| (subclass DrumBrake VehicleBrake) | Cars.kif 602-602 | DrumBrake は VehicleBrake の subclass では %n |
| (subclass DiscBrake VehicleBrake) | Cars.kif 651-651 | DiscBrake は VehicleBrake の subclass では %n |
| (subclass AntilockBrake VehicleBrake) | Cars.kif 1282-1282 | AntilockBrake は VehicleBrake の subclass では %n |
|
|