Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CalendaringProgram
CalendaringProgram(カレンダー)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage CalendaringProgram "日历") ComputingBrands.kif 2297-2297
(termFormat ChineseTraditionalLanguage CalendaringProgram "日曆") ComputingBrands.kif 2296-2296
(termFormat EnglishLanguage CalendaringProgram "calendar") ComputingBrands.kif 2295-2295
(termFormat EnglishLanguage CalendaringProgram "カレンダー") ComputingBrands.kif 2298-2298

antecedent
-------------------------


(=>
    (instance ?C CalendaringProgram)
    (hasPurpose ?C
        (exists (?T ?P)
            (and
                (instance ?T CalendarText)
                (programRunning ?P ?C)
                (result ?P ?T)))))
ComputingBrands.kif 2300-2307


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners