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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Week
Week(semaine)

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 9334-9334
(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 9332-9332 Semaine est une sous-classe de interval temporel

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


(range WeekAfterFn Week) Mid-level-ontology.kif 14810-14810 Le domaine de WeekAfterFn est une instance de semaine
(range WeekBeforeFn Week) Mid-level-ontology.kif 14817-14817 Le domaine de WeekBeforeFn est une instance de semaine
(rangeSubclass WeekFn Week) Merge.kif 8952-8952 Les valeurs retourn�es par WeekFn sont des sous-classes de semaine
(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 9299-9306
(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9247-9254
(=>
    (and
        (instance ?DAY1 Saturday)
        (instance ?DAY2 Sunday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9312-9319
(=>
    (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 9321-9330
(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9286-9293
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9260-9267
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9273-9280
(=>
    (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 14789-14798
(=>
    (instance ?WEEK Week)
    (duration ?WEEK
        (MeasureFn 1 WeekDuration)))		 Merge.kif 9336-9338
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))		 Merge.kif 9469-9471

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