Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  IhramClothing

 Sigma KEE - IhramClothing
IhramClothing(ihram clothing)

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 clothing is a subclass of clothing suit

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage IhramClothing "ihram clothing") domainEnglishFormat.kif 29225-29225
(termFormat ChineseTraditionalLanguage IhramClothing "ihram服裝") domainEnglishFormat.kif 29226-29226
(termFormat ChineseLanguage IhramClothing "ihram服装") domainEnglishFormat.kif 29227-29227

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 If X is an instance of ihram clothing, X wears Y, and male is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of cloak (3) W is an instance of belt (4) V is an instance of sandal (5) Z is a member of X (6) W is a member of X (7) V is a member of X

consequent
-------------------------


(=>
    (experiencer ?IP ?A)
    (exists (?IC)
        (and
            (instance ?IC IhramClothing)
            (holdsDuring
                (WhenFn ?IP)
                (wears ?A ?IC)))))		 ArabicCulture.kif 170-177 If X experiences Y, then there exists Z such that Z is an instance of ihram clothing and X wears Z holds during the time of existence of Y


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners