| Monday(Monday)
| | Mon, Monday, Whitmonday, Whitsun_Monday |
| appearance as argument number 1 |
|
|
| s__documentation(s__Monday,s__ChineseLanguage,'"这是所有日历星期一的 Class。"')
|
chinese_format.kif 2808-2808 | |
| s__documentation(s__Monday,s__EnglishLanguage,'"The Class of all calendar Mondays."')
|
Merge.kif 8650-8650 | |
| s__externalImage(s__Monday,'"http://upload.wikimedia.org/wikipedia/commons/4/4d/ Moon-Mdf-2005.jpg"')
|
pictureList.kif 6710-6710 | |
| s__externalImage(s__Monday,'"http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg"')
|
pictureList.kif 7351-7351 | |
| s__instance(s__Monday,s__SetOrClass) s__instance(s__Day,s__SetOrClass)
|
Merge.kif 8649-8649 | Monday is a subclass of day |
| s__successorClass(s__Monday,s__Tuesday)
|
Merge.kif 8446-8446 | successorClass Monday and Tuesday |
| appearance as argument number 2 |
|
|
| s__successorClass(s__Sunday,s__Monday)
|
Merge.kif 8445-8445 | successorClass Sunday and Monday |
| s__termFormat(s__ChineseLanguage,s__Monday,'"星期一"')
|
chinese_format.kif 1290-1290 | |
| s__termFormat(s__EnglishLanguage,s__Monday,'"Monday"')
|
english_format.kif 1806-1806 |
| antecedent |
|
|
|
|
|