No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3412-3412 | VehicleBrake est une sous-classe de VehicleController |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 552-552 | VehicleBrake est une sous-classe de Brake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 554-554 | ParkingBrake est une sous-classe de VehicleBrake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 602-602 | DrumBrake est une sous-classe de VehicleBrake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 651-651 | DiscBrake est une sous-classe de VehicleBrake |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1282-1282 | AntilockBrake est une sous-classe de VehicleBrake |