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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


s__documentation(s__Thursday,s__ChineseLanguage,'"这是所有日历星期四的 Class。"')

chinese_format.kif 2811-2811
s__documentation(s__Thursday,s__EnglishLanguage,'"The Class of all calendar Thursdays."')

Merge.kif 8865-8865
s__externalImage(s__Thursday,'"http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Thor.jpg"')

pictureList.kif 6923-6923
s__externalImage(s__Thursday,'"http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Blake_Holy_Thursday_1794.jpg"')

pictureList.kif 8084-8084
s__subclass(s__Thursday,s__Day)

s__instance(s__Day,s__SetOrClass)

s__instance(s__Thursday,s__SetOrClass)

Merge.kif 8863-8863 Thursday is a subclass of day
s__successorClass(s__Thursday,s__Friday)

Merge.kif 8634-8634 %2 is the successorClass of %2.

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


s__instance(s__AscensionThursday,s__SetOrClass)

s__instance(s__Thursday,s__SetOrClass)

s__subclass(s__AscensionThursday,s__Thursday)

Media.kif 530-530 AscensionThursday is a subclass of Thursday
s__instance(s__Thursday,s__SetOrClass)

s__instance(s__USThanksgivingDay,s__SetOrClass)

s__subclass(s__USThanksgivingDay,s__Thursday)

Media.kif 621-621 USThanksgivingDay is a subclass of Thursday
s__successorClass(s__Wednesday,s__Thursday)

Merge.kif 8633-8633 %2 is the successorClass of %2.
s__termFormat(s__ChineseLanguage,s__Thursday,'"星期四"')

chinese_format.kif 1293-1293
s__termFormat(s__EnglishLanguage,s__Thursday,'"Thursday"')

english_format.kif 1812-1812

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


( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Thursday) &
         s__instance(V__DAY2,s__Friday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

Merge.kif 8880-8887
( ! [V__DAY2,V__DAY1,V__WEEK] :
   (((s__instance(V__DAY1,s__Wednesday) &
         s__instance(V__DAY2,s__Thursday) &
         s__instance(V__WEEK,s__Week) &
         s__temporalPart(V__DAY1,V__WEEK)
       &
       s__temporalPart(V__DAY2,V__WEEK))
   =>
   (s__meetsTemporally(V__DAY1,V__DAY2)))
)
)

Merge.kif 8867-8874


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