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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Monday
Monday(Monday)
Mon, Monday, Whitmonday, Whitsun_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 8559-8559
(externalImage Monday "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Moon-Mdf-2005.jpg") pictureList.kif 6710-6710 "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Moon-Mdf-2005.jpg" is a URL depicting Monday
(externalImage Monday "http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg") pictureList.kif 7351-7351 "http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg" is a URL depicting Monday
(subclass Monday Day) Merge.kif 8558-8558 Monday is a subclass of day
(successorClass Monday Tuesday) Merge.kif 8355-8355 successorClass Monday and Tuesday

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


(successorClass Sunday Monday) Merge.kif 8354-8354 successorClass Sunday and Monday
(termFormat ChineseLanguage Monday "星期一") chinese_format.kif 1290-1290 "星期一" is the printable form of Monday in ChineseLanguage
(termFormat EnglishLanguage Monday "Monday") english_format.kif 1806-1806 "Monday" is the printable form of Monday in english language

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


(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 8565-8572
(=>
    (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 8639-8648


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