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 2112-2112
(documentation CalendarText ChineseTraditionalLanguage "representation 是以一或多 Days 的表格方式呈現. 它通常是以周,月,年 來區分。") ComputingBrands.kif 2111-2111
(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 2109-2110
(documentation CalendarText JapaneseLanguage "表形式の1つ以上の&%Daysの&%representation。 通常、週、月、または年ごとにグループ分けされている。") ComputingBrands.kif 2113-2114
(subclass CalendarText Text) ComputingBrands.kif 2108-2108

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


(termFormat ChineseLanguage CalendarText "日历") ComputingBrands.kif 2125-2125
(termFormat ChineseTraditionalLanguage CalendarText "日曆") ComputingBrands.kif 2124-2124
(termFormat EnglishLanguage CalendarText "calendar") ComputingBrands.kif 2123-2123
(termFormat JapaneseLanguage CalendarText "カレンダー") ComputingBrands.kif 2126-2126

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


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

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


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


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