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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tuesday
Tuesday
Mardi, Marted�, Martes, Terca-feira, Tues, Tuesday, Whit-Tuesday, Whitsun_Tuesday, mangalavaara, martes, tuesday, 星期二

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


(documentation Tuesday ChineseLanguage "这是所有日历星期二的 Class。") Merge.kif 9215-9215
(documentation Tuesday EnglishLanguage "The Class of all calendar Tuesdays.") Merge.kif 9214-9214
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ IB_299_4to_Tyr.jpg") pictureList.kif 6933-6933
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Sixday.jpg") pictureList.kif 8135-8135
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ XML-CSS-example.png") pictureList.kif 9800-9800
(subclass Tuesday Day) Merge.kif 9213-9213

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


(termFormat ChineseLanguage Tuesday "星期二") chinese_format.kif 1291-1291
(termFormat EnglishLanguage Tuesday "Tuesday") english_format.kif 978-978
(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 506-506
(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 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 9217-9224
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9230-9237


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners