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