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 9294-9294
(documentation Wednesday JapaneseLanguage "すべてのカレンダー水曜日の Class。") japanese_format.kif 1551-1551
(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 6972-6972
(externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") pictureList.kif 8255-8255
(subclass Wednesday Day) Merge.kif 9292-9292
(successorClass Wednesday Thursday) Merge.kif 9075-9075

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


(successorClass Tuesday Wednesday) Merge.kif 9074-9074
(termFormat ChineseLanguage Wednesday "星期三") chinese_format.kif 1292-1292
(termFormat EnglishLanguage Wednesday "Wednesday") english_format.kif 1801-1801
(termFormat FrenchLanguage Wednesday "Mercredi") french_format.kif 970-970
(termFormat Hindi Wednesday "budhavaara") terms-hindi.txt 505-505
(termFormat ItalianLanguage Wednesday "Mercoled�") terms-it.txt 509-509
(termFormat JapaneseLanguage Wednesday "水曜日") japanese_format.kif 2654-2654
(termFormat PortugueseLanguage Wednesday "Quarta-feira") portuguese_format.kif 922-922
(termFormat cb Wednesday "merkules") terms-cb.txt 511-511
(termFormat cz Wednesday "wednesday") terms-cz.txt 545-545
(termFormat ro Wednesday "miercuri") relations-ro.kif 991-991
(termFormat tg Wednesday "Miyerkules") terms-tg.txt 510-510

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


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


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