![]() |
![]() ![]() ![]()
|
![]() |
|
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 9210-9210 | |
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ IB_299_4to_Tyr.jpg") | pictureList.kif 6933-6933 | |
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Sixday.jpg") | pictureList.kif 8134-8134 | |
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ XML-CSS-example.png") | pictureList.kif 9790-9790 | |
(subclass Tuesday Day) | Merge.kif 9208-9208 | |
(successorClass Tuesday Wednesday) | Merge.kif 9003-9003 |
appearance as argument number 2 |
![]() |
(successorClass Monday Tuesday) | Merge.kif 9002-9002 | |
(termFormat ChineseLanguage Tuesday "星期二") | chinese_format.kif 1291-1291 | |
(termFormat EnglishLanguage Tuesday "Tuesday") | english_format.kif 1799-1799 |
antecedent |
![]() |
(=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9212-9219 | |
(=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9225-9232 |
![]() |
![]() |