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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CalendarText
CalendarText(calendar)

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


(documentation CalendarText ChineseLanguage "representation 是以一或多 Days 的表格方式呈现. 它通常是以周,月,年 来区分。") ComputingBrands.kif 2271-2271
(documentation CalendarText ChineseTraditionalLanguage "representation 是以一或多 Days 的表格方式呈現. 它通常是以周,月,年 來區分。") ComputingBrands.kif 2270-2270
(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 2268-2269
(documentation CalendarText JapaneseLanguage "表形式の1つ以上の&%Daysの&%representation。 通常、週、月、または年ごとにグループ分けされている。") ComputingBrands.kif 2272-2273
(subclass CalendarText Text) ComputingBrands.kif 2267-2267 Calendar is a subclass of text

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


(termFormat ChineseLanguage CalendarText "日历") ComputingBrands.kif 2284-2284
(termFormat ChineseTraditionalLanguage CalendarText "日曆") ComputingBrands.kif 2283-2283
(termFormat EnglishLanguage CalendarText "calendar") ComputingBrands.kif 2282-2282
(termFormat JapaneseLanguage CalendarText "カレンダー") ComputingBrands.kif 2285-2285

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


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

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners