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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hijab
Hijab(hijab)
hijab

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


(documentation Hijab EnglishLanguage "Arabic and Muslim veil which is worn by women to cover the hair and the neck.") ArabicCulture.kif 497-498
(externalImage Hijab "http://upload.wikimedia.org/wikipedia/commons/b/bd/ Hijabexamples2.jpg") pictureList.kif 6612-6612
(externalImage Hijab "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Woman_walking_in_Afghanistan.jpg") pictureList.kif 7071-7071
(subclass Hijab Veil) ArabicCulture.kif 500-500 Hijab is a subclass of veil

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


(termFormat ChineseLanguage Hijab "盖头") domainEnglishFormat.kif 28191-28191
(termFormat ChineseTraditionalLanguage Hijab "蓋頭") domainEnglishFormat.kif 28190-28190
(termFormat EnglishLanguage Hijab "hijab") domainEnglishFormat.kif 28189-28189

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


(=>
    (instance ?H Hijab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))
ArabicCulture.kif 502-508


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