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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Evening
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 8239-8240
(subclass Evening NightTime) Merge.kif 8237-8237

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


(disjoint Afternoon Evening) Merge.kif 8127-8127
(disjoint Morning Evening) Merge.kif 8128-8128
(range EveningFn Evening) Merge.kif 8262-8262

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


(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8249-8256
(=>
    (instance ?EVE Evening)
    (exists (?MID)
        (and
            (instance ?MID Midnight)
            (equal
                (EndFn ?EVE) ?MID))))
Merge.kif 8242-8247


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners