CalendarText - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

If X is an instance of calendar, then there exists Y such that Y is an instance of day and X includes a reference to Y

consequent

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

If X is an instance of カレンダー, then X has the purpose there exist Y, Z such that Y is an instance of calendar, X is a program running of Z, and Y is a result of Z