|
|
   CalendaringProgram
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CalendaringProgram ChineseLanguage "ComputerProgram 允许使用者给予跟通常管理行程和会面。") | ComputingBrands.kif 2311-2311 | |
| (documentation CalendaringProgram ChineseTraditionalLanguage "ComputerProgram 允許使用者給予跟通常管理行程和會面。") | ComputingBrands.kif 2310-2310 | |
| (documentation CalendaringProgram EnglishLanguage "A ComputerProgram that allows users to render calendars and usually manage events and appointments.") | ComputingBrands.kif 2308-2309 | |
| (documentation CalendaringProgram JapaneseLanguage "ユーザーがカレンダーをレンダリングし、 通常イベントと予定を管理できるComputerProgram。") | ComputingBrands.kif 2312-2313 | |
| (subclass CalendaringProgram ComputerProgram) | ComputingBrands.kif 2307-2307 | CalendaringProgram è una sottoclasse di ProgrammaDiComputer |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CalendaringProgram "日历") | ComputingBrands.kif 2317-2317 | |
| (termFormat ChineseTraditionalLanguage CalendaringProgram "日曆") | ComputingBrands.kif 2316-2316 | |
| (termFormat EnglishLanguage CalendaringProgram "calendar") | ComputingBrands.kif 2315-2315 | |
| (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))))) |
ComputingBrands.kif 2320-2327 |
|
|
|
|