Sunrise![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Sunrise EnglishLanguage "The TimeInterval of each Day when the sun is rising and is partially overlapped by the horizon line.") | Merge.kif 8961-8962 | |
(externalImage Sunrise "http://upload.wikimedia.org/wikipedia/commons/e/ ef/ Kerikeri.sunrise.july_20.05.jpg") | pictureList.kif 2010-2010 | |
(externalImage Sunrise "http://upload.wikimedia.org/wikipedia/en/2/21/Yellow_sunrise.JPG") | pictureList.kif 2386-2386 | |
(subclass Sunrise TimeInterval) | Merge.kif 8960-8960 | Sunrise は 時間間隔 の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Sunrise "日出") | domainEnglishFormat.kif 56105-56105 | |
(termFormat ChineseTraditionalLanguage Sunrise "日出") | domainEnglishFormat.kif 56104-56104 | |
(termFormat EnglishLanguage Sunrise "sunrise") | domainEnglishFormat.kif 56103-56103 |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?DAY DayTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?RISE ?DAY) (finishes ?SET ?DAY)))) |
Merge.kif 8977-8984 | |
(=> (instance ?NIGHT NightTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?SET ?NIGHT) (finishes ?RISE ?NIGHT)))) |
Merge.kif 8999-9006 | |
(=> (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 |
![]() |
![]() |