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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Morning
Morning

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


(disjoint Morning Afternoon) Merge.kif 8791-8791 Morning est disjoint de Afternoon
(disjoint Morning Evening) Merge.kif 8793-8793 Morning est disjoint 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 est une sous-classe de DayTime

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


(range MorningFn Morning) Merge.kif 8819-8819 Le domaine de MorningFn est une instance 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


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