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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Thursday

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 9271-9271
(documentation Thursday JapaneseLanguage "すべてのカレンダー木曜日の Class。") japanese_format.kif 1552-1552
(externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/2/ 23/ Thor.jpg") pictureList.kif 6922-6922
(externalImage Thursday "http://upload.wikimedia.org/wikipedia/commons/3/ 33/ Blake_Holy_Thursday_1794.jpg") pictureList.kif 8083-8083
(subclass Thursday Day) Merge.kif 9269-9269 木曜日subclass では %n
(successorClass Thursday Friday) Merge.kif 9040-9040 successorClass 木曜日 and 金曜日

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


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

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


(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9286-9293
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9273-9280


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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