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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wednesday
Wednesday(Wednesday)
Midweek, Wed, Wednesday, 星期三, 水曜日

appearance as argument number 1
-------------------------


(documentation Wednesday ChineseLanguage "这是所有日历星期三的 Class。") chinese_format.kif 2810-2810
(documentation Wednesday EnglishLanguage "The Class of all calendar Wednesdays.") Merge.kif 8576-8576
(externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Georg_von_Rosen_-_Oden_som_vandringsman%2C_1886_%28Odin%2C_the_Wanderer%29.jpg") pictureList.kif 6973-6973 "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Georg_von_Rosen_-_Oden_som_vandringsman%2C_1886_%28Odin%2C_the_Wanderer%29.jpg" is a URL depicting Wednesday
(externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") pictureList.kif 8257-8257 "http://upload.wikimedia.org/wikipedia/commons/b/bb/ WallCalendar.jpg" is a URL depicting Wednesday
(subclass Wednesday Day) Merge.kif 8574-8574 Wednesday is a subclass of day
(successorClass Wednesday Thursday) Merge.kif 8357-8357 successorClass Wednesday and Thursday

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


(successorClass Tuesday Wednesday) Merge.kif 8356-8356 successorClass Tuesday and Wednesday
(termFormat ChineseLanguage Wednesday "星期三") chinese_format.kif 1292-1292 "星期三" is the printable form of Wednesday in ChineseLanguage
(termFormat EnglishLanguage Wednesday "Wednesday") english_format.kif 1810-1810 "Wednesday" is the printable form of Wednesday in english language

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


(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 8578-8585
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 8591-8598


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners