Iftar(iftar) |
appearance as argument number 1 |
(documentation Iftar EnglishLanguage "A meal at the end of each day of Ramadan, at the sunset.") | ArabicCulture.kif 86-87 | |
(externalImage Iftar "http://upload.wikimedia.org/wikipedia/commons/4/49/ Common_Iftar_Dish.jpg") | pictureList.kif 6623-6623 | |
(externalImage Iftar "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Ramadan_Dinner_2005-11-07.jpg") | pictureList.kif 7105-7105 | |
(externalImage Iftar "http://upload.wikimedia.org/wikipedia/en/5/54/JackfruitKolak.jpg") | pictureList.kif 7106-7106 | |
(subclass Iftar Eating) | ArabicCulture.kif 89-89 | Iftar is a subclass of eating |
appearance as argument number 2 |
(termFormat ChineseLanguage Iftar "开斋") | domainEnglishFormat.kif 29239-29239 | |
(termFormat ChineseTraditionalLanguage Iftar "開齋") | domainEnglishFormat.kif 29238-29238 | |
(termFormat EnglishLanguage Iftar "iftar") | domainEnglishFormat.kif 29237-29237 |
antecedent |
(=> (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 |
|