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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CalendarText
CalendarText(日历)

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


(documentation CalendarText ChineseLanguage "representation 是以一或多 Days 的表格方式呈现. 它通常是以周,月,年 来区分。") ComputingBrands.kif 2259-2259
(documentation CalendarText ChineseTraditionalLanguage "representation 是以一或多 Days 的表格方式呈現. 它通常是以周,月,年 來區分。") ComputingBrands.kif 2258-2258
(documentation CalendarText EnglishLanguage "A representation of one or more Days in a tabular form. It generally has groupings by week, month or year.") ComputingBrands.kif 2256-2257
(documentation CalendarText JapaneseLanguage "表形式の1つ以上の&%Daysの&%representation。 通常、週、月、または年ごとにグループ分けされている。") ComputingBrands.kif 2260-2261
(subclass CalendarText Text) ComputingBrands.kif 2255-2255 日历文本subclass

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


(termFormat ChineseLanguage CalendarText "日历") ComputingBrands.kif 2272-2272
(termFormat ChineseTraditionalLanguage CalendarText "日曆") ComputingBrands.kif 2271-2271
(termFormat EnglishLanguage CalendarText "calendar") ComputingBrands.kif 2270-2270
(termFormat JapaneseLanguage CalendarText "カレンダー") ComputingBrands.kif 2273-2273

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


(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))
ComputingBrands.kif 2263-2268

consequent
-------------------------


(=>
    (instance ?C CalendaringProgram)
    (hasPurpose ?C
        (exists (?T ?P)
            (and
                (instance ?T CalendarText)
                (programRunning ?P ?C)
                (result ?P ?T)))))
ComputingBrands.kif 2288-2295


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