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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Friday
Friday(Friday)
American_Indian_Day, Fri, Friday, Good_Friday

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


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

chinese_format.kif 2812-2812
s__documentation(s__Friday,s__EnglishLanguage,'"The Class of all calendar Fridays."')

Merge.kif 8693-8693
s__externalImage(s__Friday,'"http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg"')

pictureList.kif 7011-7011
s__externalImage(s__Friday,'"http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg"')

pictureList.kif 6592-6592
s__subclass(s__Friday,s__Day)

s__instance(s__Day,s__SetOrClass)

s__instance(s__Friday,s__SetOrClass)

Merge.kif 8691-8691 Friday is a subclass of day
s__successorClass(s__Friday,s__Saturday)

Merge.kif 8450-8450 successorClass Friday and Saturday

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


s__successorClass(s__Thursday,s__Friday)

Merge.kif 8449-8449 successorClass Thursday and Friday
s__termFormat(s__ChineseLanguage,s__Friday,'"星期五"')

chinese_format.kif 1294-1294
s__termFormat(s__EnglishLanguage,s__Friday,'"Friday"')

english_format.kif 1814-1814

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


( ! [V__DAY2,V__DAY1,V__WEEK] :
   ((s__instance(V__DAY1,s__Friday) &
       s__instance(V__DAY2,s__Saturday) &
       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 8708-8715
( ! [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 8695-8702


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