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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 9354-9354
(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 6708-6708
(externalImage Monday "http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg") pictureList.kif 7348-7348
(subclass Monday Day) Merge.kif 9353-9353 星期一 是 日 的 subclass
(successorClass Monday Tuesday) Merge.kif 9150-9150 successorClass 星期一 and 星期二

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


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

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


(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9369-9376
(=>
    (and
        (instance ?DAY1 Sunday)
        (instance ?DAY2 Monday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9356-9363


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