Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Week

Sigma KEE - Week
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

appearance as argument number 2
-------------------------


(range WeekAfterFn Week) Mid-level-ontology.kif 14837-14837
(range WeekBeforeFn Week) Mid-level-ontology.kif 14844-14844
(rangeSubclass WeekFn Week) Merge.kif 8988-8988
(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


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

Show without tree


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