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 9402-9402
(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 9400-9400 Wednesday is a subclass of day
(successorClass Wednesday Thursday) Merge.kif 9174-9174 successorClass Wednesday and Thursday

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


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

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


(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9404-9411
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9417-9424


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