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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EidAlFitr
EidAlFitr(eid al fitr)
Id_al-Fitr

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 "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5d/ Sultan_Ahmed_Mosque_mahya3.jpg") pictureList.kif 6450-6450
(subclass EidAlFitr Holiday) ArabicCulture.kif 228-228 Eid al fitr is a subclass of holiday

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

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


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


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