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 9188-9188
(externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Starlight_Mountain_-_schedule_in_sound_booth.jpg") pictureList.kif 7011-7011
(externalImage Friday "http://upload.wikimedia.org/wikipedia/commons/b/b6/ FriggSpinning.jpg") pictureList.kif 6592-6592
(subclass Friday Day) Merge.kif 9186-9186 Friday is a subclass of day
(successorClass Friday Saturday) Merge.kif 8945-8945 %2 is the successorClass of %2.

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


(successorClass Thursday Friday) Merge.kif 8944-8944 %2 is the successorClass of %2.
(termFormat ChineseLanguage Friday "星期五") chinese_format.kif 1294-1294
(termFormat EnglishLanguage Friday "Friday") english_format.kif 1805-1805

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


(=>
    (and
        (instance ?DAY1 Friday)
        (instance ?DAY2 Saturday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9203-9210
(=>
    (and
        (instance ?DAY1 Thursday)
        (instance ?DAY2 Friday)
        (instance ?WEEK Week)
        (temporalPart ?DAY1 ?WEEK)
        (temporalPart ?DAY2 ?WEEK))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 9190-9197


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