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 9281-9281
(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 6932-6932
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Sixday.jpg") pictureList.kif 8133-8133
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ XML-CSS-example.png") pictureList.kif 9782-9782
(subclass Tuesday Day) Merge.kif 9279-9279
(successorClass Tuesday Wednesday) Merge.kif 9074-9074

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


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

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


(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9283-9290
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9296-9303


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