Morning |
appearance as argument number 1 |
(disjoint Morning Afternoon) | Merge.kif 8791-8791 | Morning e' disjunto de Afternoon |
(disjoint Morning Evening) | Merge.kif 8793-8793 | Morning e' disjunto de Evening |
(documentation Morning EnglishLanguage "The class of TimeIntervals that begin at Sunrise and end at noon.") | Merge.kif 8804-8805 | |
(externalImage Morning "http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Eva_Gonzal%C3%A8s_-_Morning_Awakening.jpg") | pictureList.kif 3161-3161 | |
(externalImage Morning "http://upload.wikimedia.org/wikipedia/commons/7/ 7d/ Misty_morning02.jpg") | pictureList.kif 2976-2976 | |
(externalImage Morning "http://upload.wikimedia.org/wikipedia/en/8/80/Morningforest.jpg") | pictureList.kif 3162-3162 | |
(subclass Morning DayTime) | Merge.kif 8803-8803 | Morning e' uma sub-classe de DayTime |
appearance as argument number 2 |
(range MorningFn Morning) | Merge.kif 8819-8819 | O contra-dominio de MorningFn e' uma instancia de Morning |
(termFormat ChineseLanguage Morning "早上") | domainEnglishFormat.kif 38547-38547 | |
(termFormat ChineseTraditionalLanguage Morning "早上") | domainEnglishFormat.kif 38546-38546 | |
(termFormat EnglishLanguage Morning "morning") | domainEnglishFormat.kif 38545-38545 |
antecedent |
(=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D)) |
Merge.kif 8824-8829 | |
(=> (instance ?MORNING Morning) (exists (?HOUR ?DAY) (and (instance ?HOUR (HourFn 12 ?DAY)) (finishes ?HOUR ?MORNING)))) |
Merge.kif 8807-8813 |
|
consequent |
(=> (instance ?TIME BreakfastTime) (exists (?MORN) (and (instance ?MORN Morning) (during ?TIME ?MORN)))) |
Food.kif 1854-1859 |
|