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 9277-9277
(documentation Monday JapaneseLanguage "すべてのカレンダー月曜日の Class。") japanese_format.kif 1549-1549
(externalImage Monday "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Moon-Mdf-2005.jpg") pictureList.kif 6709-6709
(externalImage Monday "http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg") pictureList.kif 7349-7349
(subclass Monday Day) Merge.kif 9276-9276 Monday is a subclass of day
(successorClass Monday Tuesday) Merge.kif 9073-9073 Tuesday is the successor class of Monday.

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


(successorClass Sunday Monday) Merge.kif 9072-9072 Monday is the successor class of Sunday.
(termFormat ChineseLanguage Monday "星期一") chinese_format.kif 1290-1290 Monday is the successor class of Sunday.
(termFormat EnglishLanguage Monday "Monday") english_format.kif 1797-1797 Monday is the successor class of Sunday.
(termFormat FrenchLanguage Monday "Lundi") french_format.kif 968-968 Monday is the successor class of Sunday.
(termFormat Hindi Monday "somavaara") terms-hindi.txt 503-503 Monday is the successor class of Sunday.
(termFormat ItalianLanguage Monday "Luned�") terms-it.txt 507-507 Monday is the successor class of Sunday.
(termFormat JapaneseLanguage Monday "月曜日") japanese_format.kif 2652-2652 Monday is the successor class of Sunday.
(termFormat PortugueseLanguage Monday "Segunda-feira") portuguese_format.kif 920-920 Monday is the successor class of Sunday.
(termFormat cb Monday "lunes") terms-cb.txt 509-509 Monday is the successor class of Sunday.
(termFormat cz Monday "monday") terms-cz.txt 543-543 Monday is the successor class of Sunday.
(termFormat ro Monday "luni") relations-ro.kif 989-989 Monday is the successor class of Sunday.
(termFormat tg Monday "Lunes") terms-tg.txt 508-508 Monday is the successor class of Sunday.

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


(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9283-9290
(=>
    (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 9357-9366


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