| 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 8699-8699 | |
| (externalImage Monday "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Moon-Mdf-2005.jpg") | pictureList.kif 6710-6710 | |
| (externalImage Monday "http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg") | pictureList.kif 7351-7351 | |
| (subclass Monday Day) | Merge.kif 8698-8698 | 星期一 是 日 的 subclass |
| (successorClass Monday Tuesday) | Merge.kif 8495-8495 | successorClass 星期一 and 星期二 |
| appearance as argument number 2 |
|
|
| (successorClass Sunday Monday) | Merge.kif 8494-8494 | successorClass 星期日 and 星期一 |
| (termFormat ChineseLanguage Monday "星期一") | chinese_format.kif 1290-1290 | |
| (termFormat EnglishLanguage Monday "Monday") | english_format.kif 1806-1806 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8705-8712 | |
| (=> (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 8779-8788 |
|
|
|