|
|
   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 | |
| (successorClass Monday Tuesday) | Merge.kif 9073-9073 |
| appearance as argument number 2 |
|
|
| (successorClass Sunday Monday) | Merge.kif 9072-9072 | |
| (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 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 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 |
|
|
|
