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


KB Term:  Term intersection
English Word: 

Sigma KEE - Saturday
Saturday(Saturday)
Armed_Forces_Day, Holy_Saturday, Sabbatum, Sat, Saturday

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 9441-9441
(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 9439-9439 Saturday is a subclass of day

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


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

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


(=>
    (and
        (instance ?DAY1 Friday)
        (instance ?DAY2 Saturday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9443-9450
(=>
    (and
        (instance ?DAY1 Saturday)
        (instance ?DAY2 Sunday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (not
        (meetsTemporally ?DAY1 ?DAY2)))		 Merge.kif 9456-9463
(=>
    (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 9465-9474
(=>
    (and
        (instance ?S Saturday)
        (instance ?W Week)
        (during ?S ?W))
    (finishes ?S ?W))		 Merge.kif 9491-9496

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 20681-20689


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