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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hijab

Sigma KEE - 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

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 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