| 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 |
| 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 |
|
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 3.0 is open source software produced by Articulate Software and its partners