CalendarText - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage CalendarText "日历")	ComputingBrands.kif 2304-2304
(termFormat ChineseTraditionalLanguage CalendarText "日曆")	ComputingBrands.kif 2303-2303
(termFormat EnglishLanguage CalendarText "calendar")	ComputingBrands.kif 2302-2302
(termFormat JapaneseLanguage CalendarText "カレンダー")	ComputingBrands.kif 2305-2305

antecedent

(=>
    (instance ?C CalendarText)
    (exists (?D)
        (and
            (instance ?D Day)
            (refers ?C ?D))))

ComputingBrands.kif 2295-2300

consequent

(=>
    (instance ?C CalendaringProgram)
    (hasPurpose ?C
        (exists (?T ?P)
            (and
                (instance ?T CalendarText)
                (programRunning ?P ?C)
                (result ?P ?T)))))

ComputingBrands.kif 2320-2327