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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tuesday
Tuesday(火曜日)

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


(documentation Tuesday ChineseLanguage "这是所有日历星期二的 Class。") chinese_format.kif 2809-2809
(documentation Tuesday EnglishLanguage "The Class of all calendar Tuesdays.") Merge.kif 9352-9352
(documentation Tuesday JapaneseLanguage "すべてのカレンダー火曜日の Class。") japanese_format.kif 1550-1550
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ IB_299_4to_Tyr.jpg") pictureList.kif 6931-6931
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Sixday.jpg") pictureList.kif 8132-8132
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ XML_CSS_example.png") pictureList.kif 9781-9781
(subclass Tuesday Day) Merge.kif 9350-9350 火曜日 は 日 の subclass では %n
(successorClass Tuesday Wednesday) Merge.kif 9136-9136 successorClass 火曜日 and 水曜日

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


(successorClass Monday Tuesday) Merge.kif 9135-9135 successorClass 月曜日 and 火曜日
(termFormat ChineseLanguage Tuesday "星期二") chinese_format.kif 1291-1291 successorClass 月曜日 and 火曜日
(termFormat EnglishLanguage Tuesday "Tuesday") english_format.kif 1799-1799 successorClass 月曜日 and 火曜日
(termFormat FrenchLanguage Tuesday "Mardi") french_format.kif 969-969 successorClass 月曜日 and 火曜日
(termFormat Hindi Tuesday "mangalavaara") terms-hindi.txt 504-504 successorClass 月曜日 and 火曜日
(termFormat ItalianLanguage Tuesday "Marted�") terms-it.txt 508-508 successorClass 月曜日 and 火曜日
(termFormat JapaneseLanguage Tuesday "火曜日") japanese_format.kif 2653-2653 successorClass 月曜日 and 火曜日
(termFormat PortugueseLanguage Tuesday "Terca-feira") portuguese_format.kif 921-921 successorClass 月曜日 and 火曜日
(termFormat cb Tuesday "martes") terms-cb.txt 510-510 successorClass 月曜日 and 火曜日
(termFormat cz Tuesday "tuesday") terms-cz.txt 544-544 successorClass 月曜日 and 火曜日
(termFormat de Tuesday "Dienstag") terms-de.txt 803-803 successorClass 月曜日 and 火曜日
(termFormat ro Tuesday "marþi") relations-ro.kif 990-990 successorClass 月曜日 and 火曜日
(termFormat tg Tuesday "Martes") terms-tg.txt 509-509 successorClass 月曜日 and 火曜日

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


(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9354-9361
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9367-9374


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