| (subclass Helmet SafetyDevice) | Cars.kif 4344-4344 | Helmet è una sottoclasse di SafetyDevice |
| (subclass Helmet (CoveringFn Head)) |
Cars.kif 4345-4345 | Helmet è una sottoclasse di CoveringFn Head |
| (subclass MotorcycleHelmet Helmet) | Cars.kif 4349-4349 | MotorcycleHelmet è una sottoclasse di Helmet |
|
|