Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Morning

Sigma KEE - Morning
Morning(morning)
early-morning_hour, forenoon, morn, morning, morning_time

appearance as argument number 1
-------------------------


(disjoint Morning Afternoon) Merge.kif 8827-8827 Morning is disjoint from afternoon
(disjoint Morning Evening) Merge.kif 8829-8829 Morning is disjoint from evening
(documentation Morning EnglishLanguage "The class of TimeIntervals that begin at Sunrise and end at noon.") Merge.kif 8840-8841
(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 8839-8839 Morning is a subclass of day time

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8860-8865
(=>
    (instance ?MORNING Morning)
    (exists (?HOUR ?DAY)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (finishes ?HOUR ?MORNING))))
Merge.kif 8843-8849

consequent
-------------------------


(=>
    (instance ?TIME BreakfastTime)
    (exists (?MORN)
        (and
            (instance ?MORN Morning)
            (during ?TIME ?MORN))))
Food.kif 1854-1859


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners