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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Evening

appearance as argument number 1

(documentation Evening EnglishLanguage "The class of TimeIntervals that begin at Sunset, which is the end of Afternoon, and end at midnight.") Merge.kif 8934-8935
(documentation Evening JapaneseLanguage "Af の終わりである Sunset で始まり、午前零時に終わる TimeInterval のクラス。") japanese_format.kif 1518-1519
(subclass Evening NightTime) Merge.kif 8932-8932 Evening晚上的时间subclass

appearance as argument number 2

(disjoint Afternoon Evening) Merge.kif 8814-8814 下午 和 % 2 是 disjoint
(disjoint Morning Evening) Merge.kif 8815-8815 早上 和 % 2 是 disjoint
(range EveningFn Evening) Merge.kif 8957-8957 EveningFnrangeEvening 的实例
(termFormat EnglishLanguage Evening "evening") domainEnglishFormat.kif 64835-64835


        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 8962-8967
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8944-8951
    (instance ?EVE Evening)
    (exists (?MID)
            (instance ?MID Midnight)
                (EndFn ?EVE) ?MID))))
Merge.kif 8937-8942

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