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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Evening
Evening(evening)eve, even, evening, eventide, guest_night

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 9025-9026
(documentation Evening JapaneseLanguage "Af の終わりである Sunset で始まり、午前零時に終わる TimeInterval のクラス。") japanese_format.kif 1518-1519
(subclass Evening NightTime) Merge.kif 9023-9023 Evening is a subclass of night time

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


(disjoint Afternoon Evening) Merge.kif 8905-8905 Afternoon is disjoint from evening
(disjoint Morning Evening) Merge.kif 8906-8906 Morning is disjoint from evening
(range EveningFn Evening) Merge.kif 9048-9048 The range of Evening fn is an instance of evening
(termFormat EnglishLanguage Evening "evening") domainEnglishFormat.kif 64829-64829 The range of Evening fn is an instance of evening

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


(=>
    (and
        (instance ?E Evening)
        (instance ?D Day)
        (equal ?E
            (EveningFn ?D)))
    (during ?E ?D))
Merge.kif 9053-9058
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 9035-9042
(=>
    (instance ?EVE Evening)
    (exists (?MID)
        (and
            (instance ?MID Midnight)
            (equal
                (EndFn ?EVE) ?MID))))
Merge.kif 9028-9033


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