Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  IhramClothing

Sigma KEE - IhramClothing
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 IhramClothing est une sous-classe de ClothingSuit

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


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 is open source software produced by Articulate Software and its partners