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


KB Term:  Term intersection
English Word: 

Sigma KEE - Thursday
Thursday(Thursday)
Corpus_Christi, Holy_Thursday, Maundy_Thursday, Th, 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 9415-9415
(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 9413-9413 Thursday is a subclass of day
(successorClass Thursday Friday) Merge.kif 9175-9175 successorClass Thursday and Friday

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


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

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


(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9430-9437
(=>
    (and
        (instance ?DAY1 Wednesday)
        (instance ?DAY2 Thursday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9417-9424


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