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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tuesday

Sigma KEE - Tuesday
Tuesday(Tuesday)
Tues, Tuesday, Whit-Tuesday, Whitsun_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 9154-9154
(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 8134-8134
(externalImage Tuesday "http://upload.wikimedia.org/wikipedia/commons/e/ e7/ XML-CSS-example.png") pictureList.kif 9790-9790
(subclass Tuesday Day) Merge.kif 9152-9152 Tuesday is a subclass of day
(successorClass Tuesday Wednesday) Merge.kif 8947-8947 %2 is the successorClass of %2.

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


(successorClass Monday Tuesday) Merge.kif 8946-8946 %2 is the successorClass of %2.
(termFormat ChineseLanguage Tuesday "星期二") chinese_format.kif 1291-1291
(termFormat EnglishLanguage Tuesday "Tuesday") english_format.kif 1799-1799

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


(=>
    (and
        (instance ?DAY1 Monday)
        (instance ?DAY2 Tuesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9156-9163
(=>
    (and
        (instance ?DAY1 Tuesday)
        (instance ?DAY2 Wednesday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9169-9176


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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