Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Wednesday(Wednesday)
|  | Midweek, Wed, Wednesday |
| appearance as argument number 1 |
|
|
| (successorClass Wednesday Thursday) | Merge.kif 9241-9241 | Thursday is the successor class of Wednesday. |
| (subclass Wednesday Day) | Merge.kif 9467-9467 | Wednesday is a subclass of day |
| (documentation Wednesday EnglishLanguage "The Class of all calendar Wednesdays.") | Merge.kif 9469-9469 | Wednesday is a subclass of day |
| (externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Georg_von_Rosen_-_Oden_som_vandringsman%2C_1886_%28Odin%2C_the_Wanderer%29.jpg") | pictureList.kif 6971-6971 | Wednesday is a subclass of day |
| (externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") | pictureList.kif 8254-8254 | Wednesday is a subclass of day |
| appearance as argument number 2 |
|
|
| (successorClass Tuesday Wednesday) | Merge.kif 9240-9240 | Wednesday is the successor class of Tuesday. |
| (termFormat EnglishLanguage Wednesday "Wednesday") | english_format.kif 1805-1805 | Wednesday is the successor class of Tuesday. |
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9484-9491 | If X is an instance of Wednesday, Y is an instance of Thursday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
|