Saturday - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Saturday ChineseLanguage "这是所有日历星期六的 Class。")	chinese_format.kif 2813-2813
(documentation Saturday EnglishLanguage "The Class of all calendar Saturdays.")	Merge.kif 9348-9348
(documentation Saturday JapaneseLanguage "すべてのカレンダー土曜日の Class。")	japanese_format.kif 1554-1554
(externalImage Saturday "http://upload.wikimedia.org/wikipedia/commons/2/ 2c/ Polidoro_da_Caravaggio_-_Saturnus_thumb.jpg")	pictureList.kif 6837-6837
(externalImage Saturday "http://upload.wikimedia.org/wikipedia/commons/b/ b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg")	pictureList.kif 7810-7810
(subclass Saturday Day)	Merge.kif 9346-9346	Saturday is a subclass of day

appearance as argument number 2

(successorClass Friday Saturday)	Merge.kif 9083-9083	Saturday is the successor class of Friday.
(termFormat ChineseLanguage Saturday "星期六")	chinese_format.kif 1295-1295	Saturday is the successor class of Friday.
(termFormat EnglishLanguage Saturday "Saturday")	english_format.kif 1807-1807	Saturday is the successor class of Friday.
(termFormat FrenchLanguage Saturday "Samedi")	french_format.kif 973-973	Saturday is the successor class of Friday.
(termFormat Hindi Saturday "shanivaara")	terms-hindi.txt 508-508	Saturday is the successor class of Friday.
(termFormat ItalianLanguage Saturday "Sabato")	terms-it.txt 512-512	Saturday is the successor class of Friday.
(termFormat JapaneseLanguage Saturday "土曜日")	japanese_format.kif 2657-2657	Saturday is the successor class of Friday.
(termFormat PortugueseLanguage Saturday "Sabado")	portuguese_format.kif 925-925	Saturday is the successor class of Friday.
(termFormat cb Saturday "sabado")	terms-cb.txt 514-514	Saturday is the successor class of Friday.
(termFormat cz Saturday "saturday")	terms-cz.txt 548-548	Saturday is the successor class of Friday.
(termFormat de Saturday "Samstag")	terms-de.txt 807-807	Saturday is the successor class of Friday.
(termFormat ro Saturday "sâmbãtã")	relations-ro.kif 994-994	Saturday is the successor class of Friday.
(termFormat tg Saturday "Sabado")	terms-tg.txt 513-513	Saturday is the successor class of Friday.

antecedent

(=> (and (instance ?DAY1 Friday) (instance ?DAY2 Saturday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9350-9357	If a time interval is an instance of Friday and another time interval is an instance of Saturday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval meets the other time interval
(=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK Week) (temporalPart ?DAY1 ?WEEK) (temporalPart ?DAY2 ?WEEK)) (not (meetsTemporally ?DAY1 ?DAY2)))	Merge.kif 9363-9370	If a time interval is an instance of Saturday and another time interval is an instance of Sunday and a time position is an instance of week and the time interval is a part of the time position and the other time interval is a part of the time position, then the time interval doesn't meet the other time interval
(=> (and (instance ?DAY1 Saturday) (instance ?DAY2 Sunday) (instance ?WEEK1 Week) (instance ?WEEK2 Week) (temporalPart ?DAY1 ?WEEK1) (temporalPart ?DAY2 ?WEEK2) (meetsTemporally ?WEEK1 ?WEEK2)) (meetsTemporally ?DAY1 ?DAY2))	Merge.kif 9372-9381	If a time interval is an instance of Saturday and another time interval is an instance of Sunday and a third time interval is an instance of week and a fourth time interval is an instance of week and the time interval is a part of the third time interval and the other time interval is a part of the fourth time interval and the third time interval meets the fourth time interval, then the time interval meets the other time interval
(=> (and (instance ?S Saturday) (instance ?W Week) (during ?S ?W)) (finishes ?S ?W))	Merge.kif 9398-9403	If a time interval is an instance of Saturday and another time interval is an instance of week and the time interval takes place during the other time interval, then the time interval finishes the other time interval

consequent

(=>
    (instance ?WEEKEND Weekend)
    (exists (?SATURDAY ?SUNDAY)
        (and
            (instance ?SATURDAY Saturday)
            (instance ?SUNDAY Sunday)
            (starts ?SATURDAY ?WEEKEND)
            (finishes ?SUNDAY ?WEEKEND)
            (meetsTemporally ?SATURDAY ?SUNDAY))))

Mid-level-ontology.kif 20210-20218

If a time interval is an instance of weekend,
then there exist another time interval and a third time interval such that the other time interval is an instance of Saturday and the third time interval is an instance of Sunday and the other time interval starts the time interval and the third time interval finishes the time interval and the other time interval meets the third time interval

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

KB Term:			Term intersection

English Word: