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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Monday

Sigma KEE - Monday
Monday(星期一)

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


(documentation Monday ChineseLanguage "这是所有日历星期一的 Class。") chinese_format.kif 2808-2808
(documentation Monday EnglishLanguage "The Class of all calendar Mondays.") Merge.kif 8683-8683
(externalImage Monday "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Moon-Mdf-2005.jpg") pictureList.kif 6710-6710
(externalImage Monday "http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg") pictureList.kif 7351-7351
(subclass Monday Day) Merge.kif 8682-8682 星期一subclass
(successorClass Monday Tuesday) Merge.kif 8479-8479 successorClass 星期一 and 星期二

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


(successorClass Sunday Monday) Merge.kif 8478-8478 successorClass 星期日 and 星期一
(termFormat ChineseLanguage Monday "星期一") chinese_format.kif 1290-1290
(termFormat EnglishLanguage Monday "Monday") english_format.kif 1806-1806

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


(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 8689-8696
(=>
    (and
        (instance ?DAY1 Sunday)
        (instance ?DAY2 Monday)
        (instance ?WEEK1 Week)
        (instance ?WEEK2 Week)
        (temporalPart ?DAY1 ?WEEK1)
        (temporalPart ?DAY2 ?WEEK2)
        (meetsTemporally ?WEEK1 ?WEEK2))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 8763-8772


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