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 3076-3076
(documentation EmailProgram ChineseTraditionalLanguage "ComputerProgram 用來啟用 Emailing .") ComputingBrands.kif 3075-3075
(documentation EmailProgram EnglishLanguage "A ComputerProgram that enables Emailing .") ComputingBrands.kif 3074-3074
(documentation EmailProgram JapaneseLanguage "Emailingを有効にするComputerProgram.") ComputingBrands.kif 3077-3077
(subclass EmailProgram ComputerProgram) ComputingBrands.kif 3073-3073 Mailer is a subclass of computer program

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


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

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


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


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