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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - EidAlFitr

appearance as argument number 1

(documentation EidAlFitr EnglishLanguage "Socioreligious event in which Muslims celebrate their end of fasting at the end of the Holy month of Ramadan.") ArabicCulture.kif 225-226
(externalImage EidAlFitr " 5/ 5d/ Sultan_Ahmed_Mosque_mahya3.jpg") pictureList.kif 6450-6450
(subclass EidAlFitr Holiday) ArabicCulture.kif 228-228 开斋节假日subclass

appearance as argument number 2

(termFormat ChineseLanguage EidAlFitr "开斋节") domainEnglishFormat.kif 21354-21354
(termFormat ChineseTraditionalLanguage EidAlFitr "開齋節") domainEnglishFormat.kif 21353-21353
(termFormat EnglishLanguage EidAlFitr "eid al fitr") domainEnglishFormat.kif 21352-21352


    (instance ?E EidAlFitr)
    (exists (?R ?Y)
            (instance ?R Ramadan)
            (instance ?Y Year)
            (during ?R ?Y)
            (during ?E ?Y)
            (before ?R ?E))))
ArabicCulture.kif 229-237

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