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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Thursday
Thursday(星期四)

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


(documentation Thursday ChineseLanguage "这是所有日历星期四的 Class。") chinese_format.kif 2811-2811
(documentation Thursday EnglishLanguage "The Class of all calendar Thursdays.") Merge.kif 9378-9378
(documentation Thursday JapaneseLanguage "すべてのカレンダー木曜日の Class。") japanese_format.kif 1552-1552
(externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Thor.jpg") pictureList.kif 6921-6921
(externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Blake_Holy_Thursday_1794.jpg") pictureList.kif 8082-8082
(subclass Thursday Day) Merge.kif 9376-9376 星期四 是 日 的 subclass
(successorClass Thursday Friday) Merge.kif 9138-9138 successorClass 星期四 and 星期五

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


(subclass AscensionThursday Thursday) Media.kif 530-530 AscensionThursday 是 星期四 的 subclass
(subclass USThanksgivingDay Thursday) Media.kif 621-621 USThanksgivingDay 是 星期四 的 subclass
(successorClass Wednesday Thursday) Merge.kif 9137-9137 successorClass 星期三 and 星期四
(termFormat ChineseLanguage Thursday "星期四") chinese_format.kif 1293-1293 successorClass 星期三 and 星期四
(termFormat EnglishLanguage Thursday "Thursday") english_format.kif 1803-1803 successorClass 星期三 and 星期四
(termFormat FrenchLanguage Thursday "Jeudi") french_format.kif 971-971 successorClass 星期三 and 星期四
(termFormat Hindi Thursday "bQhaspativaara") terms-hindi.txt 506-506 successorClass 星期三 and 星期四
(termFormat ItalianLanguage Thursday "Gioved�") terms-it.txt 510-510 successorClass 星期三 and 星期四
(termFormat JapaneseLanguage Thursday "木曜日") japanese_format.kif 2655-2655 successorClass 星期三 and 星期四
(termFormat PortugueseLanguage Thursday "Quinta-feira") portuguese_format.kif 923-923 successorClass 星期三 and 星期四
(termFormat cb Thursday "huwebes") terms-cb.txt 512-512 successorClass 星期三 and 星期四
(termFormat cz Thursday "thursday") terms-cz.txt 546-546 successorClass 星期三 and 星期四
(termFormat de Thursday "Donnerstag") terms-de.txt 805-805 successorClass 星期三 and 星期四
(termFormat ro Thursday "joi") relations-ro.kif 992-992 successorClass 星期三 and 星期四
(termFormat tg Thursday "Huwebes") terms-tg.txt 511-511 successorClass 星期三 and 星期四

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


(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9393-9400
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9380-9387


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