Week - Sigma Knowledge base Browser

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 9441-9441
(documentation Week JapaneseLanguage "すべてのカレンダー週の Class。")	japanese_format.kif 1556-1556
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/4/4b/ MerrillCoveyWeeklyWorksheet.png")	pictureList.kif 8255-8255
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/9/91/ Weekday_heptagram.ant.png")	pictureList.kif 6972-6972
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/e8/ WeeklySchedule.png")	pictureList.kif 8256-8256
(externalImage Week "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Starlight_Mountain_Festival_1994_schedule_as_published.jpg")	pictureList.kif 8257-8257
(subclass Week TimeInterval)	Merge.kif 9439-9439	Week is a subclass of time interval

appearance as argument number 2

(range WeekAfterFn Week)	Mid-level-ontology.kif 16201-16201	The range of week after fn is an instance of week
(range WeekBeforeFn Week)	Mid-level-ontology.kif 16208-16208	The range of week before fn is an instance of week
(rangeSubclass WeekFn Week)	Merge.kif 9050-9050	The values returned by week fn are subclasses of week
(termFormat ChineseLanguage Week "星期")	chinese_format.kif 1297-1297	The values returned by week fn are subclasses of week
(termFormat EnglishLanguage Week "week")	english_format.kif 1811-1811	The values returned by week fn are subclasses of week
(termFormat FrenchLanguage Week "semaine")	french_format.kif 975-975	The values returned by week fn are subclasses of week
(termFormat Hindi Week "saptaaha")	terms-hindi.txt 510-510	The values returned by week fn are subclasses of week
(termFormat ItalianLanguage Week "Settimana")	terms-it.txt 514-514	The values returned by week fn are subclasses of week
(termFormat JapaneseLanguage Week "週")	japanese_format.kif 2659-2659	The values returned by week fn are subclasses of week
(termFormat PortugueseLanguage Week "Semana")	portuguese_format.kif 927-927	The values returned by week fn are subclasses of week
(termFormat cb Week "semana")	terms-cb.txt 516-516	The values returned by week fn are subclasses of week
(termFormat cz Week "week")	terms-cz.txt 550-550	The values returned by week fn are subclasses of week
(termFormat de Week "Woche")	terms-de.txt 809-809	The values returned by week fn are subclasses of week
(termFormat ro Week "sãptãmânã")	relations-ro.kif 996-996	The values returned by week fn are subclasses of week
(termFormat tg Week "linggo")	terms-tg.txt 515-515	The values returned by week fn are subclasses of week

antecedent

(=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9406-9413	If a time interval is an instance of Friday and another time interval is an instance of Saturday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Monday) (instance ?DAY2 Tuesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9354-9361	If a time interval is an instance of Monday and another time interval is an instance of Tuesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (not (meetsTemporally ?DAY1 ?DAY2)))	Merge.kif 9419-9426	If a time interval is an instance of Saturday and another time interval is an instance of Sunday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval doesn't meet the other time interval
(=> (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	If a time interval is an instance of Saturday and another time interval is an instance of Sunday and a third time interval is an instance of week and a fourth time interval is an instance of week and the time interval is a part of the third time interval and the other time interval is a part of the fourth time interval and the third time interval meets the fourth time interval, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Sunday) (instance ?DAY2 Monday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9341-9348	If a time interval is an instance of Sunday and another time interval is an instance of Monday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Thursday) (instance ?DAY2 Friday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9393-9400	If a time interval is an instance of Thursday and another time interval is an instance of Friday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Tuesday) (instance ?DAY2 Wednesday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9367-9374	If a time interval is an instance of Tuesday and another time interval is an instance of Wednesday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Wednesday) (instance ?DAY2 Thursday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9380-9387	If a time interval is an instance of Wednesday and another time interval is an instance of Thursday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?S Saturday) (instance ?W Week) (during ?S ?W)) (finishes ?S ?W))	Merge.kif 9454-9459	If a time interval is an instance of Saturday and another time interval is an instance of week and the time interval takes place during the other time interval, then the time interval finishes the other time interval
(=> (and (instance ?S Sunday) (instance ?W Week) (during ?S ?W)) (starts ?S ?W))	Merge.kif 9447-9452	If a time interval is an instance of Sunday and another time interval is an instance of week and the time interval takes place during the other time interval, then the time interval starts the other time interval
(=> (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 16180-16189	If a class is a subclass of newspaper and a time position is an instance of week, then there exist a process and an entity such that the process is an instance of publication and the time of existence of the process is a part of the time position and the entity is a result of the process and the entity is an instance of the class
(=> (instance ?WEEK Week) (duration ?WEEK (MeasureFn 1 WeekDuration)))	Merge.kif 9443-9445	If a time interval is an instance of week, then duration of the time interval is 1 week duration(s)
(=> (instance ?WEEK Week) (equal (CardinalityFn (TemporalCompositionFn ?WEEK Day)) 7))	Merge.kif 9590-9592	If a time interval is an instance of week, then the number of instances in decomposition of the time interval into days is equal to 7

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 1514-1527

If a class is equal to week before menstruation a woman,
then the womanKBC is equal to the class described by a symbolic string

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: