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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EidAlFitr
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 "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5d/ Sultan_Ahmed_Mosque_mahya3.jpg") pictureList.kif 6450-6450
(subclass EidAlFitr Holiday) ArabicCulture.kif 228-228 EidAlFitr est une sous-classe de 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