| 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 9150-9150 | |
| (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 7350-7350 | |
| (subclass Monday Day) | Merge.kif 9149-9149 | 星期一 是 日 的 subclass |
| (successorClass Monday Tuesday) | Merge.kif 8946-8946 | successorClass 星期一 and 星期二 |
| appearance as argument number 2 |
|
|
| (successorClass Sunday Monday) | Merge.kif 8945-8945 | successorClass 星期日 and 星期一 |
| (termFormat ChineseLanguage Monday "星期一") | chinese_format.kif 1290-1290 | |
| (termFormat EnglishLanguage Monday "Monday") | english_format.kif 1797-1797 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9156-9163 | |
| (=> (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 9230-9239 |
|
|
|