Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Tuesday(Tuesday)
|  | Tues, Tuesday, Whit-Tuesday, Whitsun_Tuesday |
| appearance as argument number 1 |
|
|
| (successorClass Tuesday Wednesday) | Merge.kif 9240-9240 | Wednesday is the successor class of Tuesday. |
| (subclass Tuesday Day) | Merge.kif 9454-9454 | Tuesday is a subclass of day |
| (documentation Tuesday EnglishLanguage "The Class of all calendar Tuesdays.") | Merge.kif 9456-9456 | Tuesday is a subclass of day |
| (externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ IB_299_4to_Tyr.jpg") | pictureList.kif 6931-6931 | Tuesday is a subclass of day |
| (externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Sixday.jpg") | pictureList.kif 8132-8132 | Tuesday is a subclass of day |
| (externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ XML_CSS_example.png") | pictureList.kif 9781-9781 | Tuesday is a subclass of day |
| appearance as argument number 2 |
|
|
| (successorClass Monday Tuesday) | Merge.kif 9239-9239 | Tuesday is the successor class of Monday. |
| (termFormat EnglishLanguage Tuesday "Tuesday") | english_format.kif 1803-1803 | 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 9458-9465 | If X is an instance of Monday, Y is an instance of Tuesday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
| (=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9471-9478 | If X is an instance of Tuesday, Y is an instance of Wednesday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
|