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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Monday
Monday(Monday)
Mon, Monday, Whitmonday, Whitsun_Monday

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


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

chinese_format.kif 2808-2808
s__documentation(s__Monday,s__EnglishLanguage,'"The Class of all calendar Mondays."')

Merge.kif 8650-8650
s__externalImage(s__Monday,'"http://upload.wikimedia.org/wikipedia/commons/4/4d/ Moon-Mdf-2005.jpg"')

pictureList.kif 6710-6710
s__externalImage(s__Monday,'"http://upload.wikimedia.org/wikipedia/en/3/30/PostcardMondayMorningInNewYorkCity1907.jpg"')

pictureList.kif 7351-7351
s__instance(s__Monday,s__SetOrClass)

s__instance(s__Day,s__SetOrClass)

s__subclass(s__Monday,s__Day)

Merge.kif 8649-8649 Monday is a subclass of day
s__successorClass(s__Monday,s__Tuesday)

Merge.kif 8446-8446 successorClass Monday and Tuesday

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


s__successorClass(s__Sunday,s__Monday)

Merge.kif 8445-8445 successorClass Sunday and Monday
s__termFormat(s__ChineseLanguage,s__Monday,'"星期一"')

chinese_format.kif 1290-1290
s__termFormat(s__EnglishLanguage,s__Monday,'"Monday"')

english_format.kif 1806-1806

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


( ! [V__DAY2,V__DAY1,V__WEEK] :
   ((s__instance(V__DAY1,s__Monday) &
       s__instance(V__DAY2,s__Tuesday) &
       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 8656-8663
( ! [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


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