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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Afternoon

Sigma KEE - Afternoon
Afternoon

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


(disjoint Afternoon Evening) Merge.kif 8792-8792
(documentation Afternoon EnglishLanguage "The class of TimeIntervals that begin at noon and end at Sunset.") Merge.kif 8789-8790
(subclass Afternoon DayTime) Merge.kif 8788-8788

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


(disjoint Morning Afternoon) Merge.kif 8791-8791
(range AfternoonFn Afternoon) Merge.kif 8835-8835
(termFormat ChineseLanguage Afternoon "下午") domainEnglishFormat.kif 5766-5766
(termFormat ChineseTraditionalLanguage Afternoon "下午") domainEnglishFormat.kif 5765-5765
(termFormat EnglishLanguage Afternoon "afternoon") domainEnglishFormat.kif 5764-5764

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


(=>
    (and
        (instance ?E Afternoon)
        (instance ?D Day)
        (equal ?E
            (AfternoonFn ?D)))
    (during ?E ?D))
Merge.kif 8840-8845
(=>
    (and
        (instance ?EVE Evening)
        (instance ?AFT Afternoon)
        (instance ?D Day)
        (during ?EVE ?D)
        (during ?AFT ?D))
    (meetsTemporally ?AFT ?EVE))
Merge.kif 8922-8929
(=>
    (instance ?A Afternoon)
    (exists (?N)
        (and
            (instance ?N Noon)
            (equal
                (BeginFn ?A) ?N))))
Merge.kif 8847-8852
(=>
    (instance ?AFTERNOON Afternoon)
    (exists (?HOUR ?DAY)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (starts ?HOUR ?AFTERNOON))))
Merge.kif 8795-8801


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