Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Sunset
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sunset TimeInterval) | Merge.kif 9068-9068 | Sunset is a subclass of timeframe |
| (documentation Sunset EnglishLanguage "The TimeInterval of each Day when the sun is setting and is partially overlapped by the horizon line.") | Merge.kif 9069-9070 | Sunset is a subclass of timeframe |
| (externalImage Sunset "http://upload.wikimedia.org/wikipedia/commons/a/a8/ Miamisunset2004.jpg") | pictureList.kif 2387-2387 | Sunset is a subclass of timeframe |
| (externalImage Sunset "http://upload.wikimedia.org/wikipedia/commons/9/93/ Sunset_Zebulun.jpg") | pictureList.kif 2388-2388 | Sunset is a subclass of timeframe |
| (externalImage Sunset "http://upload.wikimedia.org/wikipedia/en/3/34/Mondayevening.jpg") | pictureList.kif 2950-2950 | Sunset is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?DAY DayTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?RISE ?DAY) (finishes ?SET ?DAY)))) |
Merge.kif 9081-9088 | If X is an instance of day time, then there exist Y, Z such that Y is an instance of sunrise, Z is an instance of sunset, Y starts X, and Z finishes X |
| (=> (instance ?NIGHT NightTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?SET ?NIGHT) (finishes ?RISE ?NIGHT)))) |
Merge.kif 9103-9110 | If X is an instance of night time, then there exist Y, Z such that Y is an instance of sunrise, Z is an instance of sunset, Z starts X, and Y finishes X |
| (=> (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 |
|
