Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 496-497
(subclass Hijab Veil) ArabicCulture.kif 499-499 Hijab is a subclass of veil
(externalImage Hijab "http://upload.wikimedia.org/wikipedia/commons/b/bd/ Hijabexamples2.jpg") pictureList.kif 6611-6611 Hijab is a subclass of veil
(externalImage Hijab "http://upload.wikimedia.org/wikipedia/commons/e/e8/ Woman_walking_in_Afghanistan.jpg") pictureList.kif 7070-7070 Hijab is a subclass of veil

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


(termFormat EnglishLanguage Hijab "hijab") domainEnglishFormat.kif 28193-28193
(termFormat ChineseTraditionalLanguage Hijab "蓋頭") domainEnglishFormat.kif 28194-28194
(termFormat ChineseLanguage Hijab "盖头") domainEnglishFormat.kif 28195-28195

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


(=>
    (instance ?H Hijab)
    (hasPurpose ?H
        (exists (?W)
            (and
                (instance ?W Woman)
                (wears ?W ?H)))))		 ArabicCulture.kif 501-507 If X is an instance of hijab, then X has the purpose there exists Y such that Y is an instance of woman and Y wears X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners