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 9380-9380
(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 6971-6971
(externalImage Wednesday "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") pictureList.kif 8254-8254
(subclass Wednesday Day) Merge.kif 9378-9378 水曜日 は 日 の subclass では
(successorClass Wednesday Thursday) Merge.kif 9152-9152 successorClass 水曜日 and 木曜日

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


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

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


(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9382-9389
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9395-9402


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