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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9380-9380
(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 9378-9378 時間間隔subclass では %n

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


(range WeekAfterFn Week) Mid-level-ontology.kif 15060-15060 WeekAfterFnrange のインスタンス では %n
(range WeekBeforeFn Week) Mid-level-ontology.kif 15067-15067 WeekBeforeFnrange のインスタンス では %n
(rangeSubclass WeekFn Week) Merge.kif 8998-8998 WeekFn が返す値は subclasses では %n
(termFormat ChineseLanguage Week "星期") chinese_format.kif 1297-1297 WeekFn が返す値は subclasses では %n
(termFormat EnglishLanguage Week "week") english_format.kif 1811-1811 WeekFn が返す値は subclasses では %n
(termFormat FrenchLanguage Week "semaine") french_format.kif 975-975 WeekFn が返す値は subclasses では %n
(termFormat Hindi Week "saptaaha") terms-hindi.txt 510-510 WeekFn が返す値は subclasses では %n
(termFormat ItalianLanguage Week "Settimana") terms-it.txt 514-514 WeekFn が返す値は subclasses では %n
(termFormat JapaneseLanguage Week "週") japanese_format.kif 2659-2659 WeekFn が返す値は subclasses では %n
(termFormat PortugueseLanguage Week "Semana") portuguese_format.kif 927-927 WeekFn が返す値は subclasses では %n
(termFormat cb Week "semana") terms-cb.txt 516-516 WeekFn が返す値は subclasses では %n
(termFormat cz Week "week") terms-cz.txt 550-550 WeekFn が返す値は subclasses では %n
(termFormat ro Week "sãptãmânã") relations-ro.kif 996-996 WeekFn が返す値は subclasses では %n
(termFormat tg Week "linggo") terms-tg.txt 515-515 WeekFn が返す値は subclasses では %n

antecedent
-------------------------


(=>
    (and
        (instance ?DAY1 Friday)
        (instance ?DAY2 Saturday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9345-9352
(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9293-9300
(=>
    (and
        (instance ?DAY1 Saturday)
        (instance ?DAY2 Sunday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9358-9365
(=>
    (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 9367-9376
(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9332-9339
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9306-9313
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9319-9326
(=>
    (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 15039-15048
(=>
    (instance ?WEEK Week)
    (duration ?WEEK
        (MeasureFn 1 WeekDuration)))
Merge.kif 9382-9384
(=>
    (instance ?WEEK Week)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?WEEK Day)) 7))
Merge.kif 9515-9517

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


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