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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sunday
Sunday(星期日)

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


(documentation Sunday ChineseLanguage "这是所有日历星期日的 Class。") chinese_format.kif 2814-2814
(documentation Sunday EnglishLanguage "The Class of all calendar Sundays.") Merge.kif 9417-9417
(documentation Sunday JapaneseLanguage "すべてのカレンダー日曜日の Class。") japanese_format.kif 1555-1555
(externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Sunday_prayers_in_the_Church_of_Tsminda_Sameba.jpg") pictureList.kif 8011-8011
(externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") pictureList.kif 8012-8012
(externalImage Sunday "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Solvogn.jpg") pictureList.kif 6905-6905
(subclass Sunday Day) Merge.kif 9415-9415 星期日 是 日 的 subclass
(successorClass Sunday Monday) Merge.kif 9134-9134 successorClass 星期日 and 星期一

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


(subclass AdventSunday Sunday) Media.kif 311-311 AdventSunday 是 星期日 的 subclass
(subclass EasterSunday Sunday) Media.kif 485-485 EasterSunday 是 星期日 的 subclass
(subclass PalmSunday Sunday) Media.kif 460-460 PalmSunday 是 星期日 的 subclass
(subclass Pentecost Sunday) Media.kif 551-551 Pentecost 是 星期日 的 subclass
(termFormat ChineseLanguage Sunday "星期日") chinese_format.kif 1296-1296 Pentecost 是 星期日 的 subclass
(termFormat EnglishLanguage Sunday "Sunday") english_format.kif 1809-1809 Pentecost 是 星期日 的 subclass
(termFormat FrenchLanguage Sunday "Dimanche") french_format.kif 974-974 Pentecost 是 星期日 的 subclass
(termFormat Hindi Sunday "ravivaara") terms-hindi.txt 509-509 Pentecost 是 星期日 的 subclass
(termFormat ItalianLanguage Sunday "Domenica") terms-it.txt 513-513 Pentecost 是 星期日 的 subclass
(termFormat JapaneseLanguage Sunday "日曜日") japanese_format.kif 2658-2658 Pentecost 是 星期日 的 subclass
(termFormat PortugueseLanguage Sunday "Domingo") portuguese_format.kif 926-926 Pentecost 是 星期日 的 subclass
(termFormat cb Sunday "dominggo") terms-cb.txt 515-515 Pentecost 是 星期日 的 subclass
(termFormat cz Sunday "sunday") terms-cz.txt 549-549 Pentecost 是 星期日 的 subclass
(termFormat de Sunday "Sonntag") terms-de.txt 808-808 Pentecost 是 星期日 的 subclass
(termFormat ro Sunday "duminicã") relations-ro.kif 995-995 Pentecost 是 星期日 的 subclass
(termFormat tg Sunday "Linggo") terms-tg.txt 514-514 Pentecost 是 星期日 的 subclass

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


(=>
    (and
        (instance ?DAY1 Saturday)
        (instance ?DAY2 Sunday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (not
        (meetsTemporally ?DAY1 ?DAY2)))		 Merge.kif 9419-9426
(=>
    (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 9428-9437
(=>
    (and
        (instance ?DAY1 Sunday)
        (instance ?DAY2 Monday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9341-9348
(=>
    (and
        (instance ?S Sunday)
        (instance ?W Week)
        (during ?S ?W))
    (starts ?S ?W))		 Merge.kif 9447-9452

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 20709-20717


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