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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Veil
Veil(veil)headscarf, tudung, yashmac, yashmak

appearance as argument number 1
-------------------------


(documentation Veil EnglishLanguage "A piece of Clothing intended to cover or obscure the face or hair of a Woman. This is commonly worn for religious reasons when in public in Muslim countries, but is also customary at Weddings and Funerals among some non-Muslim women.") Mid-level-ontology.kif 5460-5463
(subclass Veil Clothing) Mid-level-ontology.kif 5465-5465 Veil is a subclass of clothing

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


(subclass Hijab Veil) ArabicCulture.kif 500-500 Hijab is a subclass of veil
(subclass Khimar Veil) ArabicCulture.kif 481-481 Khimar is a subclass of veil
(subclass Niqab Veil) ArabicCulture.kif 462-462 Niqab is a subclass of veil
(termFormat ChineseLanguage Veil "面纱") domainEnglishFormat.kif 61478-61478 Niqab is a subclass of veil
(termFormat ChineseTraditionalLanguage Veil "面紗") domainEnglishFormat.kif 61477-61477 Niqab is a subclass of veil
(termFormat EnglishLanguage Veil "veil") domainEnglishFormat.kif 61476-61476 Niqab is a subclass of veil

antecedent
-------------------------


(=>
    (instance ?V Veil)
    (hasPurpose ?V
        (exists (?F ?H)
            (or
                (and
                    (instance ?F Face)
                    (meetsSpatially ?V ?F))
                (and
                    (instance ?H Hair)
                    (meetsSpatially ?V ?H))))))
Mid-level-ontology.kif 5467-5477


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