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 and TimeInterval |
appearance as argument number 2 |
(range WeekAfterFn Week) | Mid-level-ontology.kif 14837-14837 | 範圍 WeekAfterFn and Week |
(range WeekBeforeFn Week) | Mid-level-ontology.kif 14844-14844 | 範圍 WeekBeforeFn and Week |
(rangeSubclass WeekFn Week) | Merge.kif 8988-8988 | 範圍子類 WeekFn and 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 |
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 |
|