(subclass Helmet SafetyDevice) | Cars.kif 4359-4359 | Helmet est une sous-classe de SafetyDevice |
(subclass Helmet (CoveringFn Head)) |
Cars.kif 4360-4360 | Helmet est une sous-classe de CoveringFn Head |
(subclass MotorcycleHelmet Helmet) | Cars.kif 4364-4364 | MotorcycleHelmet est une sous-classe de Helmet |