Morning - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Morning Afternoon)	Merge.kif 8993-8993	Morning is disjoint from afternoon
(disjoint Morning Evening)	Merge.kif 8995-8995	Morning is disjoint from evening
(subclass Morning DayTime)	Merge.kif 9005-9005	Morning is a subclass of day time
(documentation Morning EnglishLanguage "The class of TimeIntervals that begin at Sunrise and end at noon.")	Merge.kif 9006-9007	Morning is a subclass of day time
(externalImage Morning "http://upload.wikimedia.org/wikipedia/commons/7/ 7d/ Misty_morning02.jpg")	pictureList.kif 2975-2975	Morning is a subclass of day time
(externalImage Morning "http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Eva_Gonzal%C3%A8s_-_Morning_Awakening.jpg")	pictureList.kif 3160-3160	Morning is a subclass of day time
(externalImage Morning "http://upload.wikimedia.org/wikipedia/en/8/80/Morningforest.jpg")	pictureList.kif 3161-3161	Morning is a subclass of day time

appearance as argument number 2

(range MorningFn Morning)	Merge.kif 9021-9021	The range of morning fn is an instance of morning
(termFormat EnglishLanguage Morning "morning")	domainEnglishFormat.kif 38549-38549	The range of morning fn is an instance of morning
(termFormat ChineseTraditionalLanguage Morning "早上")	domainEnglishFormat.kif 38550-38550	The range of morning fn is an instance of morning
(termFormat ChineseLanguage Morning "早上")	domainEnglishFormat.kif 38551-38551	The range of morning fn is an instance of morning

antecedent

(=> (instance ?MORNING Morning) (exists (?HOUR ?DAY) (and (instance ?HOUR (HourFn 12 ?DAY)) (finishes ?HOUR ?MORNING))))	Merge.kif 9009-9015	If X is an instance of morning, then there exist Y, Z such that Y is an instance of the hour 12, and Y finishes X
(=> (and (instance ?E Morning) (instance ?D Day) (equal ?E (MorningFn ?D))) (during ?E ?D))	Merge.kif 9026-9031	If X is an instance of morning, Y is an instance of day, and equal X and the morning of Y, then X takes place during Y

consequent

(=>
    (instance ?TIME BreakfastTime)
    (exists (?MORN)
        (and
            (instance ?MORN Morning)
            (during ?TIME ?MORN))))

If X is an instance of breakfast time, then there exists Y such that Y is an instance of morning and X takes place during Y