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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


s__disjoint(s__Morning,s__Afternoon)

Merge.kif 8442-8442 Morning is disjoint from afternoon
s__disjoint(s__Morning,s__Evening)

Merge.kif 8444-8444 Morning is disjoint from Evening
s__documentation(s__Morning,s__EnglishLanguage,'"The class of TimeIntervals that begin at Sunrise and end at noon."')

Merge.kif 8455-8456
s__externalImage(s__Morning,'"http://upload.wikimedia.org/wikipedia/commons/3/ 3f/ Eva_Gonzal%C3%A8s_-_Morning_Awakening.jpg"')

pictureList.kif 3162-3162
s__externalImage(s__Morning,'"http://upload.wikimedia.org/wikipedia/commons/7/ 7d/ Misty_morning02.jpg"')

pictureList.kif 2977-2977
s__externalImage(s__Morning,'"http://upload.wikimedia.org/wikipedia/en/8/80/Morningforest.jpg"')

pictureList.kif 3163-3163
s__instance(s__DayTime,s__Class)

s__subclass(s__Morning,s__DayTime)

s__instance(s__Morning,s__Class)

Merge.kif 8454-8454 Morning is a subclass of day time

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


s__range(s__MorningFn__m,s__Morning)

Merge.kif 8470-8470 The range of MorningFn is an instance of morning
s__termFormat(s__ChineseLanguage,s__Morning,'"早上"')

domainEnglishFormat.kif 38532-38532
s__termFormat(s__ChineseTraditionalLanguage,s__Morning,'"早上"')

domainEnglishFormat.kif 38531-38531
s__termFormat(s__EnglishLanguage,s__Morning,'"morning"')

domainEnglishFormat.kif 38530-38530

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


( ! [V__MORNING] :
   ((s__instance(V__MORNING,s__Morning) =>
       (( ? [V__HOUR, V__DAY] :
           ((s__instance(V__HOUR,s__TimeInterval) &
               s__subclass(V__DAY,s__Day) &
               (s__instance(V__HOUR,s__HourFn(n__12,V__DAY))
             &
             s__finishes(V__HOUR,V__MORNING)))))))
)
)

Merge.kif 8458-8464

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


( ! [V__TIME] :
   ((s__instance(V__TIME,s__BreakfastTime) =>
       (( ? [V__MORN] :
           ((s__instance(V__MORN,s__Morning) &
               s__during(V__TIME,V__MORN))))))
   )
)

Food.kif 182-187


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



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