| Week
| |
| appearance as argument number 1 |
|
|
| (documentation Week ChineseLanguage "这是所有日历周的 Class。") | chinese_format.kif 2815-2815 | |
| (documentation Week EnglishLanguage "The Class of all calendar weeks.") | Merge.kif 9370-9370 | |
| (documentation Week JapaneseLanguage "すべてのカレンダー週の Class。") | japanese_format.kif 1556-1556 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/4/4b/ MerrillCoveyWeeklyWorksheet.png") | pictureList.kif 8256-8256 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/9/91/ Weekday_heptagram.ant.png") | pictureList.kif 6973-6973 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/e8/ WeeklySchedule.png") | pictureList.kif 8257-8257 | |
| (externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Starlight_Mountain_Festival_1994_schedule_as_published.jpg") | pictureList.kif 8258-8258 | |
| (subclass Week TimeInterval) | Merge.kif 9368-9368 | Week ist eine teilkategorie von TimeInterval |
| appearance as argument number 2 |
|
|
| (range WeekAfterFn Week) | Mid-level-ontology.kif 14837-14837 | bildbereich von WeekAfterFn ist ein fall von Week {nicht} |
| (range WeekBeforeFn Week) | Mid-level-ontology.kif 14844-14844 | bildbereich von WeekBeforeFn ist ein fall von Week {nicht} |
| (rangeSubclass WeekFn Week) | Merge.kif 8988-8988 | Die werte die WeekFn zurueckgibt sind teilkategorien von Week |
| (termFormat ChineseLanguage Week "星期") | chinese_format.kif 1297-1297 | |
| (termFormat EnglishLanguage Week "week") | english_format.kif 1811-1811 | |
| (termFormat FrenchLanguage Week "semaine") | french_format.kif 975-975 | |
| (termFormat Hindi Week "saptaaha") | terms-hindi.txt 510-510 | |
| (termFormat ItalianLanguage Week "Settimana") | terms-it.txt 514-514 | |
| (termFormat JapaneseLanguage Week "週") | japanese_format.kif 2659-2659 | |
| (termFormat PortugueseLanguage Week "Semana") | portuguese_format.kif 927-927 | |
| (termFormat cb Week "semana") | terms-cb.txt 516-516 | |
| (termFormat cz Week "week") | terms-cz.txt 550-550 | |
| (termFormat ro Week "sãptãmânã") | relations-ro.kif 996-996 | |
| (termFormat tg Week "linggo") | terms-tg.txt 515-515 |
| antecedent |
|
|
| (=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9335-9342 |
|
| (=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9283-9290 |
|
| (=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9348-9355 |
|
| (=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9357-9366 |
|
| (=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2)) |
Merge.kif 9322-9329 |
|
| (=> (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 |
|
| (=> (and (subclass ?PAPER Newspaper) (instance ?WEEK Week)) (exists (?PUBLICATION ?ISSUE) (and (instance ?PUBLICATION Publication) (temporalPart (WhenFn ?PUBLICATION) ?WEEK) (result ?PUBLICATION ?ISSUE) (instance ?ISSUE ?PAPER)))) |
Mid-level-ontology.kif 14816-14825 |
|
| (=> (instance ?WEEK Week) (duration ?WEEK (MeasureFn 1 WeekDuration))) |
Merge.kif 9372-9374 |
|
| (=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7)) |
Merge.kif 9505-9507 |
|
| consequent |
|
|
| (=> (equal ?WKBMC (WeekBeforeMenstruationFn ?W)) (equal ?WKBC (KappaFn ?C (and (instance ?C Week) (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?W) (equal ?C (WeekBeforeFn (WhenFn ?M))))))))) |
Medicine.kif 1521-1534 |
|
|
|
|