| Tuesday(Tuesday)
| | Tues, Tuesday, Whit-Tuesday, Whitsun_Tuesday, 星期二, 火曜日 |
| appearance as argument number 1 |
|
|
| (documentation Tuesday ChineseLanguage "这是所有日历星期二的 Class。") | Merge.kif 12879-12879 | |
| (documentation Tuesday EnglishLanguage "The Class of all calendar Tuesdays.") | Merge.kif 12877-12877 | |
| (documentation Tuesday JapaneseLanguage "すべてのカレンダー火曜日の Class。") | Merge.kif 12881-12881 | |
| (externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ IB_299_4to_Tyr.jpg") | pictureList.kif 6933-6933 | "http://upload.wikimedia.org/wikipedia/commons/7/7a/ IB_299_4to_Tyr.jpg" is a URL depicting Tuesday |
| (externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Sixday.jpg") | pictureList.kif 8135-8135 | "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Sixday.jpg" is a URL depicting Tuesday |
| (externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ XML-CSS-example.png") | pictureList.kif 9800-9800 | "http://upload.wikimedia.org/wikipedia/commons/e/e7/ XML-CSS-example.png" is a URL depicting Tuesday |
| (subclass Tuesday Day) | Merge.kif 12875-12875 | Tuesday is a subclass of day |
| (successorClass Tuesday Wednesday) | Merge.kif 12609-12609 | successorClass Tuesday and Wednesday |
| appearance as argument number 2 |
|
|
| (successorClass Monday Tuesday) | Merge.kif 12608-12608 | successorClass Monday and Tuesday |
| (termFormat ChineseLanguage Tuesday "星期二") | chinese_format.kif 1291-1291 | "星期二" is the printable form of Tuesday in ChineseLanguage |
| (termFormat EnglishLanguage Tuesday "Tuesday") | english_format.kif 2586-2586 | "Tuesday" is the printable form of Tuesday in english language |
| (termFormat JapaneseLanguage Tuesday "火曜日") | english_format.kif 2587-2587 | "火曜日" is the printable form of Tuesday in japanese language |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 12883-12890 |
|
| (=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 12900-12907 |
|
|
|
|