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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ramadan
Ramadan(ramadan)
Ramadan, ramadan, 斋月, 齋月

appearance as argument number 1
-------------------------


(documentation Ramadan EnglishLanguage "Ramadan is the ninth month of the Islamic calendar. It is the Islamic month of fasting, in which participating Muslims refrain from eating, drinking, having sex, smoking, and indulging in anything that is in excess or ill-natured; from dawn until sunset. [Wikipedia]") ArabicCulture.kif 27-31
(externalImage Ramadan "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Resim-Sultan_Ahmed_Mosque_mahya4.jpg") pictureList.kif 6811-6811 "http://upload.wikimedia.org/wikipedia/commons/3/35/ Resim-Sultan_Ahmed_Mosque_mahya4.jpg" is a URL depicting ramadan
(externalImage Ramadan "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Lanterns_from_below.JPG") pictureList.kif 7702-7702 "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Lanterns_from_below.JPG" is a URL depicting ramadan
(externalImage Ramadan "http://upload.wikimedia.org/wikipedia/commons/f/ fd/ Eidulfitr_meal.jpg") pictureList.kif 7703-7703 "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Eidulfitr_meal.jpg" is a URL depicting ramadan
(subclass Ramadan TimeInterval) ArabicCulture.kif 26-26 Ramadan is a subclass of time interval

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


(termFormat ChineseLanguage Ramadan "斋月") domainEnglishFormat.kif 48649-48649 "斋月" is the printable form of ramadan in ChineseLanguage
(termFormat ChineseTraditionalLanguage Ramadan "齋月") domainEnglishFormat.kif 48648-48648 "齋月" is the printable form of ramadan in ChineseTraditionalLanguage
(termFormat EnglishLanguage Ramadan "ramadan") domainEnglishFormat.kif 48647-48647 "ramadan" is the printable form of ramadan in english language

consequent
-------------------------


(=>
    (instance ?E EidAlFitr)
    (exists (?R ?Y)
        (and
            (instance ?R Ramadan)
            (instance ?Y Year)
            (during ?R ?Y)
            (during ?E ?Y)
            (before ?R ?E))))
ArabicCulture.kif 216-224
(=>
    (instance ?X Iftar)
    (exists (?R ?S ?D)
        (and
            (instance ?S Sunset)
            (instance ?R Ramadan)
            (instance ?D Day)
            (during ?D ?R)
            (during
                (WhenFn ?X) ?D)
            (during ?S ?D)
            (before ?S
                (WhenFn ?X)))))
ArabicCulture.kif 82-92
(=>
    (instance ?X Suhur)
    (exists (?R ?S ?D)
        (and
            (instance ?S Sunrise)
            (instance ?R Ramadan)
            (instance ?D Day)
            (during ?D ?R)
            (during
                (WhenFn ?X) ?D)
            (during ?S ?D)
            (before
                (WhenFn ?X) ?S))))
ArabicCulture.kif 36-46


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners