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


KB Term:  Term intersection
English Word: 

Sigma KEE - Friday
Friday(Friday)
American_Indian_Day, Fri, Friday, Good_Friday

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


(documentation Friday ChineseLanguage "这是所有日历星期五的 Class。") chinese_format.kif 2812-2812
(documentation Friday EnglishLanguage "The Class of all calendar Fridays.") Merge.kif 9428-9428
(documentation Friday JapaneseLanguage "すべてのカレンダー金曜日の Class。") japanese_format.kif 1553-1553
(externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") pictureList.kif 7009-7009
(externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg") pictureList.kif 6590-6590
(subclass Friday Day) Merge.kif 9426-9426 Friday is a subclass of day
(successorClass Friday Saturday) Merge.kif 9176-9176 successorClass Friday and Saturday

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


(successorClass Thursday Friday) Merge.kif 9175-9175 successorClass Thursday and Friday
(termFormat ChineseLanguage Friday "星期五") chinese_format.kif 1294-1294 successorClass Thursday and Friday
(termFormat EnglishLanguage Friday "Friday") english_format.kif 1805-1805 successorClass Thursday and Friday
(termFormat FrenchLanguage Friday "Vendredi") french_format.kif 972-972 successorClass Thursday and Friday
(termFormat Hindi Friday "shukravaara") terms-hindi.txt 507-507 successorClass Thursday and Friday
(termFormat ItalianLanguage Friday "Venerd�") terms-it.txt 511-511 successorClass Thursday and Friday
(termFormat JapaneseLanguage Friday "金曜日") japanese_format.kif 2656-2656 successorClass Thursday and Friday
(termFormat PortugueseLanguage Friday "Sexta-feira") portuguese_format.kif 924-924 successorClass Thursday and Friday
(termFormat cb Friday "bernes") terms-cb.txt 513-513 successorClass Thursday and Friday
(termFormat cz Friday "friday") terms-cz.txt 547-547 successorClass Thursday and Friday
(termFormat de Friday "Freitag") terms-de.txt 806-806 successorClass Thursday and Friday
(termFormat ro Friday "vineri") relations-ro.kif 993-993 successorClass Thursday and Friday
(termFormat tg Friday "Biyernes") terms-tg.txt 512-512 successorClass Thursday and Friday

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 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 9430-9437


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