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 |
![]() |
![]() |