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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Thursday

Sigma KEE - Thursday
Thursday(Thursday)
Corpus_Christi, Holy_Thursday, Maundy_Thursday, Th, Thursday

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


(documentation Thursday ChineseLanguage "这是所有日历星期四的 Class。") chinese_format.kif 2811-2811
(documentation Thursday EnglishLanguage "The Class of all calendar Thursdays.") Merge.kif 9180-9180
(externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Thor.jpg") pictureList.kif 6923-6923
(externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Blake_Holy_Thursday_1794.jpg") pictureList.kif 8084-8084
(subclass Thursday Day) Merge.kif 9178-9178 Thursday is a subclass of day
(successorClass Thursday Friday) Merge.kif 8949-8949 %2 is the successorClass of %2.

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


(subclass AscensionThursday Thursday) Media.kif 530-530 AscensionThursday is a subclass of Thursday
(subclass USThanksgivingDay Thursday) Media.kif 621-621 USThanksgivingDay is a subclass of Thursday
(successorClass Wednesday Thursday) Merge.kif 8948-8948 %2 is the successorClass of %2.
(termFormat ChineseLanguage Thursday "星期四") chinese_format.kif 1293-1293
(termFormat EnglishLanguage Thursday "Thursday") english_format.kif 1803-1803

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


(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9195-9202
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9182-9189


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