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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wednesday
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
(externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") pictureList.kif 8257-8257
(subclass Wednesday Day) Merge.kif 8574-8574
(successorClass Wednesday Thursday) Merge.kif 8357-8357

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


(successorClass Tuesday Wednesday) Merge.kif 8356-8356
(termFormat ChineseLanguage Wednesday "星期三") chinese_format.kif 1292-1292
(termFormat EnglishLanguage Wednesday "Wednesday") english_format.kif 1810-1810

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