Helmet |
appearance as argument number 1 |
(documentation Helmet EnglishLanguage "Any WearableItem designed to protect the Head of the individual who wears it.") | Cars.kif 4361-4362 | |
(subclass Helmet (CoveringFn Head)) |
Cars.kif 4360-4360 | Helmet 是 对于 头 的 covering 的 subclass |
(subclass Helmet SafetyDevice) | Cars.kif 4359-4359 | Helmet 是 SafetyDevice 的 subclass |
appearance as argument number 2 |
(subclass MotorcycleHelmet Helmet) | Cars.kif 4364-4364 | MotorcycleHelmet 是 Helmet 的 subclass |
(termFormat EnglishLanguage Helmet "helmet") | domainEnglishFormat.kif 64975-64975 |