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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EmailProgram
EmailProgram(发信者)

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


(documentation EmailProgram ChineseLanguage "ComputerProgram 用来启用 Emailing.") ComputingBrands.kif 3105-3105
(documentation EmailProgram ChineseTraditionalLanguage "ComputerProgram 用來啟用 Emailing .") ComputingBrands.kif 3104-3104
(documentation EmailProgram EnglishLanguage "A ComputerProgram that enables Emailing .") ComputingBrands.kif 3103-3103
(documentation EmailProgram JapaneseLanguage "Emailingを有効にするComputerProgram.") ComputingBrands.kif 3106-3106
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3102-3102 发信者电脑程序subclass

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


(subclass GMail EmailProgram) ComputingBrands.kif 3094-3094 GMail发信者subclass
(termFormat ChineseLanguage EmailProgram "发信者") ComputingBrands.kif 3117-3117
(termFormat ChineseLanguage EmailProgram "邮件程式") ComputingBrands.kif 3112-3112
(termFormat ChineseTraditionalLanguage EmailProgram "發信者") ComputingBrands.kif 3116-3116
(termFormat ChineseTraditionalLanguage EmailProgram "郵件程式") ComputingBrands.kif 3111-3111
(termFormat EnglishLanguage EmailProgram "email program") ComputingBrands.kif 3110-3110
(termFormat EnglishLanguage EmailProgram "mailer") ComputingBrands.kif 3115-3115
(termFormat JapaneseLanguage EmailProgram "メーラー") ComputingBrands.kif 3118-3118
(termFormat JapaneseLanguage EmailProgram "(電子)メールソフト") ComputingBrands.kif 3113-3113

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


(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))
ComputingBrands.kif 3120-3128


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