IhramClothing - Sigma Knowledge base Browser

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 ChineseLanguage IhramClothing "ihram服装")	domainEnglishFormat.kif 29251-29251
(termFormat ChineseTraditionalLanguage IhramClothing "ihram服裝")	domainEnglishFormat.kif 29250-29250
(termFormat EnglishLanguage IhramClothing "ihram clothing")	domainEnglishFormat.kif 29249-29249

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 an animal is an instance of ihram clothing and the animal wears a wearable item and male is an attribute of the wearable item,
then there exist a physical, another physical and a third physical such that the physical is an instance of cloak and the other physical is an instance of belt and the third physical is an instance of sandal and the physical is a member of the animal and the other physical is a member of the animal and the third physical is a member of the animal

consequent

(=>
    (experiencer ?IP ?A)
    (exists (?IC)
        (and
            (instance ?IC IhramClothing)
            (holdsDuring
                (WhenFn ?IP)
                (wears ?A ?IC)))))

ArabicCulture.kif 170-177

If an agent experiences a process,
then there exists an entity such that the entity is an instance of ihram clothing and the agent wears the entity holds during the time of existence of the process

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

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

KB Term:			Term intersection

English Word: