|
|
   Morning
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint Morning Afternoon) | Merge.kif 8693-8693 | |
| (disjoint Morning Evening) | Merge.kif 8695-8695 | |
| (documentation Morning EnglishLanguage "The class of TimeIntervals that begin at Sunrise and end at noon.") | Merge.kif 8706-8707 | |
| (externalImage Morning "http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Eva_Gonzal%C3%A8s_-_Morning_Awakening.jpg") | pictureList.kif 3162-3162 | |
| (externalImage Morning "http://upload.wikimedia.org/wikipedia/commons/7/ 7d/ Misty_morning02.jpg") | pictureList.kif 2977-2977 | |
| (externalImage Morning "http://upload.wikimedia.org/wikipedia/en/8/80/Morningforest.jpg") | pictureList.kif 3163-3163 | |
| (subclass Morning DayTime) | Merge.kif 8705-8705 |
| appearance as argument number 2 |
|
|
| (range MorningFn Morning) | Merge.kif 8721-8721 | |
| (termFormat ChineseLanguage Morning "早上") | domainEnglishFormat.kif 38532-38532 | |
| (termFormat ChineseTraditionalLanguage Morning "早上") | domainEnglishFormat.kif 38531-38531 | |
| (termFormat EnglishLanguage Morning "morning") | domainEnglishFormat.kif 38530-38530 |
| antecedent |
|
|
| (=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D)) |
Merge.kif 8726-8731 | |
| (=> (instance ?MORNING Morning) (exists (?HOUR ?DAY) (and (instance ?HOUR (HourFn 12 ?DAY)) (finishes ?HOUR ?MORNING)))) |
Merge.kif 8709-8715 |
| consequent |
|
|
| (=> (instance ?TIME BreakfastTime) (exists (?MORN) (and (instance ?MORN Morning) (during ?TIME ?MORN)))) |
Food.kif 182-187 |
|
|
|
