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 9339-9339 | |
(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 6708-6708 | |
(externalImage Monday "http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg") | pictureList.kif 7348-7348 | |
(subclass Monday Day) | Merge.kif 9338-9338 | 星期一 是 日 的 subclass |
(successorClass Monday Tuesday) | Merge.kif 9135-9135 | successorClass 星期一 and 星期二 |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9354-9361 | |
(=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9341-9348 |
![]() |
![]() |