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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EmailProgram

Sigma KEE - EmailProgram
EmailProgram(mailer)

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


(documentation EmailProgram ChineseLanguage "ComputerProgram 用来启用 Emailing.") ComputingBrands.kif 3073-3073
(documentation EmailProgram ChineseTraditionalLanguage "ComputerProgram 用來啟用 Emailing .") ComputingBrands.kif 3072-3072
(documentation EmailProgram EnglishLanguage "A ComputerProgram that enables Emailing .") ComputingBrands.kif 3071-3071
(documentation EmailProgram JapaneseLanguage "Emailingを有効にするComputerProgram.") ComputingBrands.kif 3074-3074
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3070-3070 Mailer is a subclass of computer program

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


(subclass GMail EmailProgram) ComputingBrands.kif 3062-3062 GMail is a subclass of mailer
(termFormat ChineseLanguage EmailProgram "发信者") ComputingBrands.kif 3085-3085
(termFormat ChineseLanguage EmailProgram "邮件程式") ComputingBrands.kif 3080-3080
(termFormat ChineseTraditionalLanguage EmailProgram "發信者") ComputingBrands.kif 3084-3084
(termFormat ChineseTraditionalLanguage EmailProgram "郵件程式") ComputingBrands.kif 3079-3079
(termFormat EnglishLanguage EmailProgram "email program") ComputingBrands.kif 3078-3078
(termFormat EnglishLanguage EmailProgram "mailer") ComputingBrands.kif 3083-3083
(termFormat JapaneseLanguage EmailProgram "メーラー") ComputingBrands.kif 3086-3086
(termFormat JapaneseLanguage EmailProgram "(電子)メールソフト") ComputingBrands.kif 3081-3081

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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