Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Monday(Monday)
|  | Mon, Monday, Whitmonday, Whitsun_Monday |
| appearance as argument number 1 |
|
|
| (successorClass Monday Tuesday) | Merge.kif 9239-9239 | Tuesday is the successor class of Monday. |
| (subclass Monday Day) | Merge.kif 9442-9442 | Monday is a subclass of day |
| (documentation Monday EnglishLanguage "The Class of all calendar Mondays.") | Merge.kif 9443-9443 | Monday is a subclass of day |
| (externalImage Monday "http://upload.wikimedia.org/wikipedia/commons/4/4d/ Moon_Mdf-2005.jpg") | pictureList.kif 6708-6708 | Monday is a subclass of day |
| (externalImage Monday "http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg") | pictureList.kif 7348-7348 | Monday is a subclass of day |
| appearance as argument number 2 |
|
|
| (successorClass Sunday Monday) | Merge.kif 9238-9238 | Monday is the successor class of Sunday. |
| (termFormat EnglishLanguage Monday "Monday") | english_format.kif 1801-1801 | Monday is the successor class of Sunday. |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9445-9452 | If X is an instance of Sunday, Y is an instance of Monday, 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 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 |
|