Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Friday(Friday)
|  | American_Indian_Day, Fri, Friday, Good_Friday |
| appearance as argument number 1 |
|
|
| (successorClass Friday Saturday) | Merge.kif 9243-9243 | Saturday is the successor class of Friday. |
| (subclass Friday Day) | Merge.kif 9493-9493 | Friday is a subclass of day |
| (documentation Friday EnglishLanguage "The Class of all calendar Fridays.") | Merge.kif 9495-9495 | Friday is a subclass of day |
| (externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg") | pictureList.kif 6590-6590 | Friday is a subclass of day |
| (externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") | pictureList.kif 7009-7009 | Friday is a subclass of day |
| appearance as argument number 2 |
|
|
| (successorClass Thursday Friday) | Merge.kif 9242-9242 | Friday is the successor class of Thursday. |
| (termFormat EnglishLanguage Friday "Friday") | english_format.kif 1809-1809 | Friday is the successor class of Thursday. |
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9510-9517 | If X is an instance of Friday, Y is an instance of Saturday, Z is an instance of week, X is a part of Z, and Y is a part of Z, then X meets Y |
|