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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Friday

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 9320-9320
(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 7010-7010
(externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg") pictureList.kif 6591-6591
(subclass Friday Day) Merge.kif 9318-9318 Friday is a subclass of day
(successorClass Friday Saturday) Merge.kif 9077-9077 Saturday is the successor class of Friday.

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


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

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


(=>
    (and
        (instance ?DAY1 Friday)
        (instance ?DAY2 Saturday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9335-9342
(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9322-9329


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