CalendaringProgram - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CalendaringProgram ComputerProgram)	ComputingBrands.kif 2307-2307	カレンダー is a subclass of computer program
(documentation CalendaringProgram EnglishLanguage "A ComputerProgram that allows users to render calendars and usually manage events and appointments.")	ComputingBrands.kif 2308-2309	カレンダー is a subclass of computer program
(documentation CalendaringProgram ChineseTraditionalLanguage "ComputerProgram 允許使用者給予跟通常管理行程和會面。")	ComputingBrands.kif 2310-2310	カレンダー is a subclass of computer program
(documentation CalendaringProgram ChineseLanguage "ComputerProgram 允许使用者给予跟通常管理行程和会面。")	ComputingBrands.kif 2311-2311	カレンダー is a subclass of computer program
(documentation CalendaringProgram JapaneseLanguage "ユーザーがカレンダーをレンダリングし、通常イベントと予定を管理できるComputerProgram。")	ComputingBrands.kif 2312-2313	カレンダー is a subclass of computer program

appearance as argument number 2

(termFormat EnglishLanguage CalendaringProgram "calendar")	ComputingBrands.kif 2315-2315
(termFormat ChineseTraditionalLanguage CalendaringProgram "日曆")	ComputingBrands.kif 2316-2316
(termFormat ChineseLanguage CalendaringProgram "日历")	ComputingBrands.kif 2317-2317
(termFormat EnglishLanguage CalendaringProgram "カレンダー")	ComputingBrands.kif 2318-2318

antecedent

(=>
    (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