Wednesday |
appearance as argument number 1 |
(documentation Wednesday ChineseLanguage "这是所有日历星期三的 Class。") | chinese_format.kif 2810-2810 | |
(documentation Wednesday EnglishLanguage "The Class of all calendar Wednesdays.") | Merge.kif 9294-9294 | |
(documentation Wednesday JapaneseLanguage "すべてのカレンダー水曜日の Class。") | japanese_format.kif 1551-1551 | |
(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 6972-6972 | |
(externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") | pictureList.kif 8255-8255 | |
(subclass Wednesday Day) | Merge.kif 9292-9292 | |
(successorClass Wednesday Thursday) | Merge.kif 9075-9075 |
appearance as argument number 2 |
(successorClass Tuesday Wednesday) | Merge.kif 9074-9074 | |
(termFormat ChineseLanguage Wednesday "星期三") | chinese_format.kif 1292-1292 | |
(termFormat EnglishLanguage Wednesday "Wednesday") | english_format.kif 1801-1801 | |
(termFormat FrenchLanguage Wednesday "Mercredi") | french_format.kif 970-970 | |
(termFormat Hindi Wednesday "budhavaara") | terms-hindi.txt 505-505 | |
(termFormat ItalianLanguage Wednesday "Mercoled�") | terms-it.txt 509-509 | |
(termFormat JapaneseLanguage Wednesday "水曜日") | japanese_format.kif 2654-2654 | |
(termFormat PortugueseLanguage Wednesday "Quarta-feira") | portuguese_format.kif 922-922 | |
(termFormat cb Wednesday "merkules") | terms-cb.txt 511-511 | |
(termFormat cz Wednesday "wednesday") | terms-cz.txt 545-545 | |
(termFormat ro Wednesday "miercuri") | relations-ro.kif 991-991 | |
(termFormat tg Wednesday "Miyerkules") | terms-tg.txt 510-510 |
antecedent |
(=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9296-9303 | |
(=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9309-9316 |