Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   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 | |
| (subclass Iftar Eating) | ArabicCulture.kif 89-89 | Iftar is a subclass of eating |
| (externalImage Iftar "http://upload.wikimedia.org/wikipedia/commons/4/49/ Common_Iftar_Dish.jpg") | pictureList.kif 6622-6622 | Iftar is a subclass of eating |
| (externalImage Iftar "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Ramadan_Dinner_2005-11-07.jpg") | pictureList.kif 7104-7104 | Iftar is a subclass of eating |
| (externalImage Iftar "http://upload.wikimedia.org/wikipedia/en/5/54/JackfruitKolak.jpg") | pictureList.kif 7105-7105 | Iftar is a subclass of eating |
| appearance as argument number 2 |
|
|
| 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 | If X is an instance of iftar, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of sunset (3) Y is an instance of ramadan (4) W is an instance of day (5) W takes place during Y (6) the time of existence of X takes place during W (7) Z takes place during W (8) Z happens before the time of existence of X |
|
