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 9385-9385
(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 9383-9383	Week is a subclass of time interval

appearance as argument number 2

(range WeekAfterFn Week)	Mid-level-ontology.kif 15738-15738	The range of week after fn is an instance of week
(range WeekBeforeFn Week)	Mid-level-ontology.kif 15745-15745	The range of week before fn is an instance of week
(rangeSubclass WeekFn Week)	Merge.kif 8994-8994	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 9350-9357	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 9298-9305	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 9363-9370	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 9372-9381	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 9285-9292	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 9337-9344	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 9311-9318	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 9324-9331	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 9398-9403	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 9391-9396	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 15717-15726	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 9387-9389	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 9534-9536	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 1509-1522

If an entity is equal to WeekBeforeMenstruationFn another entity,
then the other entityKBC 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: