| (subclass SafetyDevice Device) | Cars.kif 3325-3325 | Safety device is a subclass of device |
| (subclass VehicleSafetyDevice SafetyDevice) | Cars.kif 3350-3350 | Vehicle safety device is a subclass of safety device |
| (subclass SafetyHarness SafetyDevice) | Cars.kif 3395-3395 | Safety harness is a subclass of safety device |
| (subclass HearingProtection SafetyDevice) | Cars.kif 3420-3420 | Hearing protection is a subclass of safety device |
| (subclass ProtectiveEyewear SafetyDevice) | Cars.kif 3456-3456 | Protective eyewear is a subclass of safety device |
| (subclass Respirator SafetyDevice) | Cars.kif 3503-3503 | Respirator is a subclass of safety device |
| (subclass SafetyVest SafetyDevice) | Cars.kif 3533-3533 | SafetyVest is a subclass of safety device |
| (subclass Helmet SafetyDevice) | Cars.kif 4333-4333 | Helmet is a subclass of safety device |
| (subclass MotorcycleGlove SafetyDevice) | Cars.kif 4723-4723 | Motorcycle glove is a subclass of safety device |
|
|