Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Thursday(Thursday)
|  | Corpus_Christi, Holy_Thursday, Maundy_Thursday, Th, Thursday |
| appearance as argument number 1 |
|
|
| (successorClass Thursday Friday) | Merge.kif 9242-9242 | Friday is the successor class of Thursday. |
| (subclass Thursday Day) | Merge.kif 9480-9480 | Thursday is a subclass of day |
| (documentation Thursday EnglishLanguage "The Class of all calendar Thursdays.") | Merge.kif 9482-9482 | Thursday is a subclass of day |
| (externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Thor.jpg") | pictureList.kif 6921-6921 | Thursday is a subclass of day |
| (externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Blake_Holy_Thursday_1794.jpg") | pictureList.kif 8082-8082 | Thursday is a subclass of day |
| appearance as argument number 2 |
|
|
| (successorClass Wednesday Thursday) | Merge.kif 9241-9241 | Thursday is the successor class of Wednesday. |
| (subclass AscensionThursday Thursday) | Media.kif 524-524 | Ascension thursday is a subclass of Thursday |
| (subclass USThanksgivingDay Thursday) | Media.kif 615-615 | US thanksgiving day is a subclass of Thursday |
| (termFormat EnglishLanguage Thursday "Thursday") | english_format.kif 1807-1807 | US thanksgiving day is a subclass of Thursday |
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9497-9504 | If X is an instance of Thursday, Y is an instance of Friday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
|