| 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 6809-6809 | |
| (externalImage Ramadan "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Lanterns_from_below.JPG") | pictureList.kif 7699-7699 | |
| (externalImage Ramadan "http://upload.wikimedia.org/wikipedia/commons/f/ fd/ Eidulfitr_meal.jpg") | pictureList.kif 7700-7700 | |
| (subclass Ramadan TimeInterval) | ArabicCulture.kif 26-26 | 斋月 是 时距 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Ramadan "斋月") | domainEnglishFormat.kif 48743-48743 | |
| (termFormat ChineseTraditionalLanguage Ramadan "齋月") | domainEnglishFormat.kif 48742-48742 | |
| (termFormat EnglishLanguage Ramadan "ramadan") | domainEnglishFormat.kif 48741-48741 |
| 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 229-237 | |
| (=> (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 91-101 | |
| (=> (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 |
|
|
|