Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  expectedDegree
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Ramadan TimeInterval) | ArabicCulture.kif 26-26 | Ramadan is a subclass of timeframe |
| (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 | Ramadan is a subclass of timeframe |
| (externalImage Ramadan "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Resim_Sultan_Ahmed_Mosque_mahya4.jpg") | pictureList.kif 6809-6809 | Ramadan is a subclass of timeframe |
| (externalImage Ramadan "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Lanterns_from_below.JPG") | pictureList.kif 7699-7699 | Ramadan is a subclass of timeframe |
| (externalImage Ramadan "http://upload.wikimedia.org/wikipedia/commons/f/ fd/ Eidulfitr_meal.jpg") | pictureList.kif 7700-7700 | Ramadan is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 | If X is an instance of suhur, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of sunrise (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) the time of existence of X happens before Z |
| (=> (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 |
| (=> (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 |
|
