Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Sunrise
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sunrise TimeInterval) | Merge.kif 9064-9064 | Sunrise is a subclass of timeframe |
| (documentation Sunrise EnglishLanguage "The TimeInterval of each Day when the sun is rising and is partially overlapped by the horizon line.") | Merge.kif 9065-9066 | Sunrise is a subclass of timeframe |
| (externalImage Sunrise "http://upload.wikimedia.org/wikipedia/commons/e/ ef/ Kerikeri.sunrise.july_20.05.jpg") | pictureList.kif 2010-2010 | Sunrise is a subclass of timeframe |
| (externalImage Sunrise "http://upload.wikimedia.org/wikipedia/en/2/21/Yellow_sunrise.JPG") | pictureList.kif 2386-2386 | Sunrise is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?H Man) (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?DAY) (earlier (WhenFn ?D) ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (earlier (WhenFn ?WU) (WhenFn ?SUHUR)) (during (WhenFn ?WU) ?DAY) (during (WhenFn ?SUHUR) ?DAY))))) |
ArabicCulture.kif 65-84 | If All of the following hold: (1) X is an instance of man (2) mausaharati is an attribute of X (3) Y is an instance of drumming (4) X is an agent of Y (5) Z is an instance of day (6) W is an instance of sunrise (7) W takes place during Z (8) the time of existence of Y happens earlier than W, then All of the following hold: (1) Y has the purpose there exist V, U (2) T such that T is an instance of waking up (3) V experiences T (4) U is an instance of suhur (5) V is an agent of U (6) the time of existence of T happens earlier than the time of existence of U (7) the time of existence of T takes place during Z (8) the time of existence of U takes place during Z |
| 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 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 |
|
