| Wednesday
| |
| appearance as argument number 1 |
|
|
| (documentation Wednesday ChineseLanguage "这是所有日历星期三的 Class。") | chinese_format.kif 2810-2810 | |
| (documentation Wednesday EnglishLanguage "The Class of all calendar Wednesdays.") | Merge.kif 8700-8700 | |
| (externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Georg_von_Rosen_-_Oden_som_vandringsman%2C_1886_%28Odin%2C_the_Wanderer%29.jpg") | pictureList.kif 6973-6973 | |
| (externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") | pictureList.kif 8257-8257 | |
| (subclass Wednesday Day) | Merge.kif 8698-8698 | subclass Wednesday and Day |
| (successorClass Wednesday Thursday) | Merge.kif 8481-8481 | successorClass Wednesday and Thursday |
| appearance as argument number 2 |
|
|
| (successorClass Tuesday Wednesday) | Merge.kif 8480-8480 | successorClass Tuesday and Wednesday |
| (termFormat ChineseLanguage Wednesday "星期三") | chinese_format.kif 1292-1292 | |
| (termFormat EnglishLanguage Wednesday "Wednesday") | english_format.kif 1810-1810 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8702-8709 | |
| (=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 8715-8722 |
|
|
|