Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
(subclass EidAlFitr Holiday) ArabicCulture.kif 228-228 Eid al fitr is a subclass of holiday
(externalImage EidAlFitr "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5d/ Sultan_Ahmed_Mosque_mahya3.jpg") pictureList.kif 6449-6449 Eid al fitr is a subclass of holiday

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


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

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 If X is an instance of eid al fitr, then there exist Y, Z such that Y is an instance of ramadan, Z is an instance of year, Y takes place during Z, X takes place during Z, and Y happens before 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners