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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tuesday
Tuesday(Tuesday)
Tues, Tuesday, Whit-Tuesday, Whitsun_Tuesday, 星期二, 火曜日

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


(documentation Tuesday ChineseLanguage "这是所有日历星期二的 Class。") Merge.kif 12879-12879
(documentation Tuesday EnglishLanguage "The Class of all calendar Tuesdays.") Merge.kif 12877-12877
(documentation Tuesday JapaneseLanguage "すべてのカレンダー火曜日の Class。") Merge.kif 12881-12881
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ IB_299_4to_Tyr.jpg") pictureList.kif 6933-6933 "http://upload.wikimedia.org/wikipedia/commons/7/7a/ IB_299_4to_Tyr.jpg" is a URL depicting Tuesday
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Sixday.jpg") pictureList.kif 8135-8135 "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Sixday.jpg" is a URL depicting Tuesday
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ XML-CSS-example.png") pictureList.kif 9800-9800 "http://upload.wikimedia.org/wikipedia/commons/e/e7/ XML-CSS-example.png" is a URL depicting Tuesday
(subclass Tuesday Day) Merge.kif 12875-12875 Tuesday is a subclass of day
(successorClass Tuesday Wednesday) Merge.kif 12609-12609 successorClass Tuesday and Wednesday

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


(successorClass Monday Tuesday) Merge.kif 12608-12608 successorClass Monday and Tuesday
(termFormat ChineseLanguage Tuesday "星期二") chinese_format.kif 1291-1291 "星期二" is the printable form of Tuesday in ChineseLanguage
(termFormat EnglishLanguage Tuesday "Tuesday") english_format.kif 2586-2586 "Tuesday" is the printable form of Tuesday in english language
(termFormat JapaneseLanguage Tuesday "火曜日") english_format.kif 2587-2587 "火曜日" is the printable form of Tuesday in japanese language

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


(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 12883-12890
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 12900-12907


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