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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sunday
Sunday(Sunday)
Dominicus, Father's_Day, Lord's_Day, Low_Sunday, Passion_Sunday, Quadragesima, Quadrigesima_Sunday, Quinquagesima, Quinquagesima_Sunday, Septuagesima, Septuagesima_Sunday, Sun, Sunday, Trinity_Sunday, dominical

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


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

chinese_format.kif 2814-2814
s__documentation(s__Sunday,s__EnglishLanguage,'"The Class of all calendar Sundays."')

Merge.kif 8719-8719
s__externalImage(s__Sunday,'"http://upload.wikimedia.org/wikipedia/commons/0/0e/ Sunday_prayers_in_the_Church_of_Tsminda_Sameba.jpg"')

pictureList.kif 8014-8014
s__externalImage(s__Sunday,'"http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg"')

pictureList.kif 8015-8015
s__externalImage(s__Sunday,'"http://upload.wikimedia.org/wikipedia/commons/c/ca/ Solvogn.jpg"')

pictureList.kif 6907-6907
s__instance(s__Day,s__SetOrClass)

s__subclass(s__Sunday,s__Day)

s__instance(s__Sunday,s__SetOrClass)

Merge.kif 8717-8717 Sunday is a subclass of day
s__successorClass(s__Sunday,s__Monday)

Merge.kif 8445-8445 successorClass Sunday and Monday

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


s__subclass(s__AdventSunday,s__Sunday)

s__instance(s__AdventSunday,s__SetOrClass)

s__instance(s__Sunday,s__SetOrClass)

Media.kif 311-311 AdventSunday is a subclass of Sunday
s__instance(s__EasterSunday,s__SetOrClass)

s__instance(s__Sunday,s__SetOrClass)

s__subclass(s__EasterSunday,s__Sunday)

Media.kif 485-485 EasterSunday is a subclass of Sunday
s__subclass(s__PalmSunday,s__Sunday)

s__instance(s__PalmSunday,s__SetOrClass)

s__instance(s__Sunday,s__SetOrClass)

Media.kif 460-460 PalmSunday is a subclass of Sunday
s__instance(s__Pentecost,s__SetOrClass)

s__instance(s__Sunday,s__SetOrClass)

s__subclass(s__Pentecost,s__Sunday)

Media.kif 551-551 Pentecost is a subclass of Sunday
s__termFormat(s__ChineseLanguage,s__Sunday,'"星期日"')

chinese_format.kif 1296-1296
s__termFormat(s__EnglishLanguage,s__Sunday,'"Sunday"')

english_format.kif 1818-1818

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


( ! [V__DAY2,V__DAY1,V__WEEK] :
   ((s__instance(V__DAY1,s__Saturday) &
       s__instance(V__DAY2,s__Sunday) &
       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 8721-8728
( ! [V__DAY2,V__DAY1,V__WEEK2,V__WEEK1] :
   ((s__instance(V__DAY1,s__Sunday) &
       s__instance(V__DAY2,s__Monday) &
       s__instance(V__WEEK1,s__Week) &
       s__instance(V__WEEK2,s__Week) &
       s__temporalPart(V__DAY1,V__WEEK1)
     &
     s__temporalPart(V__DAY2,V__WEEK2)
   &
   s__meetsTemporally(V__WEEK1,V__WEEK2))
=>
s__meetsTemporally(V__DAY1,V__DAY2)
)
)

Merge.kif 8730-8739

consequent
-------------------------


( ! [V__WEEKEND] :
   (s__instance(V__WEEKEND,s__Weekend) =>
     ( ? [V__SATURDAY, V__SUNDAY] :
       ((s__instance(V__SATURDAY,s__Saturday) &
           s__instance(V__SUNDAY,s__Sunday) &
           s__starts(V__SATURDAY,V__WEEKEND)
         &
         s__finishes(V__SUNDAY,V__WEEKEND)
       &
       s__meetsTemporally(V__SATURDAY,V__SUNDAY))))
)
)

Mid-level-ontology.kif 16905-16913


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