| Sunday
| |
| appearance as argument number 1 |
|
|
| (documentation Sunday ChineseLanguage "这是所有日历星期日的 Class。") | chinese_format.kif 2814-2814 | |
| (documentation Sunday EnglishLanguage "The Class of all calendar Sundays.") | Merge.kif 9417-9417 | |
| (documentation Sunday JapaneseLanguage "すべてのカレンダー日曜日の Class。") | japanese_format.kif 1555-1555 | |
| (externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Sunday_prayers_in_the_Church_of_Tsminda_Sameba.jpg") | pictureList.kif 8011-8011 | |
| (externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") | pictureList.kif 8012-8012 | |
| (externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Solvogn.jpg") | pictureList.kif 6905-6905 | |
| (subclass Sunday Day) | Merge.kif 9415-9415 | |
| (successorClass Sunday Monday) | Merge.kif 9134-9134 |
| appearance as argument number 2 |
|
|
| (subclass AdventSunday Sunday) | Media.kif 311-311 | |
| (subclass EasterSunday Sunday) | Media.kif 485-485 | |
| (subclass PalmSunday Sunday) | Media.kif 460-460 | |
| (subclass Pentecost Sunday) | Media.kif 551-551 | |
| (termFormat ChineseLanguage Sunday "星期日") | chinese_format.kif 1296-1296 | |
| (termFormat EnglishLanguage Sunday "Sunday") | english_format.kif 1809-1809 | |
| (termFormat FrenchLanguage Sunday "Dimanche") | french_format.kif 974-974 | |
| (termFormat Hindi Sunday "ravivaara") | terms-hindi.txt 509-509 | |
| (termFormat ItalianLanguage Sunday "Domenica") | terms-it.txt 513-513 | |
| (termFormat JapaneseLanguage Sunday "日曜日") | japanese_format.kif 2658-2658 | |
| (termFormat PortugueseLanguage Sunday "Domingo") | portuguese_format.kif 926-926 | |
| (termFormat cb Sunday "dominggo") | terms-cb.txt 515-515 | |
| (termFormat cz Sunday "sunday") | terms-cz.txt 549-549 | |
| (termFormat de Sunday "Sonntag") | terms-de.txt 808-808 | |
| (termFormat ro Sunday "duminicã") | relations-ro.kif 995-995 | |
| (termFormat tg Sunday "Linggo") | terms-tg.txt 514-514 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (not (meetsTemporally ?DAY1 ?DAY2))) |
Merge.kif 9419-9426 | |
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9428-9437 | |
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9341-9348 | |
| (=> (and (instance ?S Sunday) (instance ?W Week) (during ?S ?W)) (starts ?S ?W)) |
Merge.kif 9447-9452 |
| consequent |
|
|
| (=> (instance ?WEEKEND Weekend) (exists (?SATURDAY ?SUNDAY) (and (instance ?SATURDAY Saturday) (instance ?SUNDAY Sunday) (starts ?SATURDAY ?WEEKEND) (finishes ?SUNDAY ?WEEKEND) (meetsTemporally ?SATURDAY ?SUNDAY)))) |
Mid-level-ontology.kif 20709-20717 |
|
|
|