| Tuesday(Tuesday)
| | Tues, Tuesday, Whit-Tuesday, Whitsun_Tuesday |
| appearance as argument number 1 |
|
|
| (documentation Tuesday ChineseLanguage "这是所有日历星期二的 Class。") | chinese_format.kif 2809-2809 | |
| (documentation Tuesday EnglishLanguage "The Class of all calendar Tuesdays.") | Merge.kif 9367-9367 | |
| (documentation Tuesday JapaneseLanguage "すべてのカレンダー火曜日の Class。") | japanese_format.kif 1550-1550 | |
| (externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ IB_299_4to_Tyr.jpg") | pictureList.kif 6931-6931 | |
| (externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Sixday.jpg") | pictureList.kif 8132-8132 | |
| (externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ XML_CSS_example.png") | pictureList.kif 9781-9781 | |
| (subclass Tuesday Day) | Merge.kif 9365-9365 | Tuesday is a subclass of day |
| (successorClass Tuesday Wednesday) | Merge.kif 9151-9151 | Wednesday is the successor class of Tuesday. |
| appearance as argument number 2 |
|
|
| (successorClass Monday Tuesday) | Merge.kif 9150-9150 | Tuesday is the successor class of Monday. |
| (termFormat ChineseLanguage Tuesday "星期二") | chinese_format.kif 1291-1291 | Tuesday is the successor class of Monday. |
| (termFormat EnglishLanguage Tuesday "Tuesday") | english_format.kif 1799-1799 | Tuesday is the successor class of Monday. |
| (termFormat FrenchLanguage Tuesday "Mardi") | french_format.kif 969-969 | Tuesday is the successor class of Monday. |
| (termFormat Hindi Tuesday "mangalavaara") | terms-hindi.txt 504-504 | Tuesday is the successor class of Monday. |
| (termFormat ItalianLanguage Tuesday "Marted�") | terms-it.txt 508-508 | Tuesday is the successor class of Monday. |
| (termFormat JapaneseLanguage Tuesday "火曜日") | japanese_format.kif 2653-2653 | Tuesday is the successor class of Monday. |
| (termFormat PortugueseLanguage Tuesday "Terca-feira") | portuguese_format.kif 921-921 | Tuesday is the successor class of Monday. |
| (termFormat cb Tuesday "martes") | terms-cb.txt 510-510 | Tuesday is the successor class of Monday. |
| (termFormat cz Tuesday "tuesday") | terms-cz.txt 544-544 | Tuesday is the successor class of Monday. |
| (termFormat de Tuesday "Dienstag") | terms-de.txt 803-803 | Tuesday is the successor class of Monday. |
| (termFormat ro Tuesday "marþi") | relations-ro.kif 990-990 | Tuesday is the successor class of Monday. |
| (termFormat tg Tuesday "Martes") | terms-tg.txt 509-509 | Tuesday is the successor class of Monday. |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9369-9376 |
|
| (=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9382-9389 |
|
|
|
|