IhramClothing
|
|
appearance as argument number 1 |
(documentation IhramClothing EnglishLanguage "Special Muslim clothing, worn during Pilgrimage ceremonies. It consists of a white robe, belt and sandals for men. For women it can be any modest garment, although some regional and sectarian conventions are prescribed.") | ArabicCulture.kif 145-148 | |
(subclass IhramClothing ClothingSuit) | ArabicCulture.kif 150-150 | 子類 ihram服裝 and 服裝套裝 |
appearance as argument number 2 |
(termFormat ChineseLanguage IhramClothing "ihram服装") | domainEnglishFormat.kif 29223-29223 | |
(termFormat ChineseTraditionalLanguage IhramClothing "ihram服裝") | domainEnglishFormat.kif 29222-29222 | |
(termFormat EnglishLanguage IhramClothing "ihram clothing") | domainEnglishFormat.kif 29221-29221 |
antecedent |
(=> (and (instance ?IC IhramClothing) (wears ?IC ?M) (attribute ?M Male)) (exists (?C ?B ?S) (and (instance ?C Cloak) (instance ?B Belt) (instance ?S Sandal) (member ?C ?IC) (member ?B ?IC) (member ?S ?IC)))) |
ArabicCulture.kif 151-163 |
consequent |
(=> (experiencer ?IP ?A) (exists (?IC) (and (instance ?IC IhramClothing) (holdsDuring (WhenFn ?IP) (wears ?A ?IC))))) |
ArabicCulture.kif 170-177 |