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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " 3f/ Eva_Gonzal%C3%A8s_-_Morning_Awakening.jpg") pictureList.kif 3162-3162
(externalImage Morning " 7d/ Misty_morning02.jpg") pictureList.kif 2977-2977
(externalImage Morning "") 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


        (instance ?E Morning)
        (instance ?D Day)
        (equal ?E
            (MorningFn ?D)))
    (during ?E ?D))
Merge.kif 8726-8731
    (instance ?MORNING Morning)
    (exists (?HOUR ?DAY)
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (finishes ?HOUR ?MORNING))))
Merge.kif 8709-8715


    (instance ?TIME BreakfastTime)
    (exists (?MORN)
            (instance ?MORN Morning)
            (during ?TIME ?MORN))))
Food.kif 182-187

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