| 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 8660-8660 | |
| (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 8659-8659 | 星期一 是 日 的 subclass |
| (successorClass Monday Tuesday) | Merge.kif 8456-8456 | successorClass 星期一 and 星期二 |
| appearance as argument number 2 |
|
|
| (successorClass Sunday Monday) | Merge.kif 8455-8455 | 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 8666-8673 | |
| (=> (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 8740-8749 |
|
|
|