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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 484-485
(externalImage Hijab "http://upload.wikimedia.org/wikipedia/commons/b/bd/ Hijabexamples2.jpg") pictureList.kif 6613-6613
(externalImage Hijab "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Woman_walking_in_Afghanistan.jpg") pictureList.kif 7072-7072
(subclass Hijab Veil) ArabicCulture.kif 487-487

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


(termFormat ChineseLanguage Hijab "盖头") domainEnglishFormat.kif 28182-28182
(termFormat ChineseTraditionalLanguage Hijab "蓋頭") domainEnglishFormat.kif 28181-28181
(termFormat EnglishLanguage Hijab "hijab") domainEnglishFormat.kif 28180-28180

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


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


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