| 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 9339-9339 | |
| (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 9338-9338 | |
| (successorClass Monday Tuesday) | Merge.kif 9135-9135 |
| appearance as argument number 2 |
|
|
| (successorClass Sunday Monday) | Merge.kif 9134-9134 | |
| (termFormat ChineseLanguage Monday "星期一") | chinese_format.kif 1290-1290 | |
| (termFormat EnglishLanguage Monday "Monday") | english_format.kif 1797-1797 | |
| (termFormat FrenchLanguage Monday "Lundi") | french_format.kif 968-968 | |
| (termFormat Hindi Monday "somavaara") | terms-hindi.txt 503-503 | |
| (termFormat ItalianLanguage Monday "Luned�") | terms-it.txt 507-507 | |
| (termFormat JapaneseLanguage Monday "月曜日") | japanese_format.kif 2652-2652 | |
| (termFormat PortugueseLanguage Monday "Segunda-feira") | portuguese_format.kif 920-920 | |
| (termFormat cb Monday "lunes") | terms-cb.txt 509-509 | |
| (termFormat cz Monday "monday") | terms-cz.txt 543-543 | |
| (termFormat de Monday "Montag") | terms-de.txt 802-802 | |
| (termFormat ro Monday "luni") | relations-ro.kif 989-989 | |
| (termFormat tg Monday "Lunes") | terms-tg.txt 508-508 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9354-9361 | |
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9341-9348 |
|
|
|