EmailProgram - Sigma Knowledge base Browser

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

appearance as argument number 2

(subclass GMail EmailProgram)	ComputingBrands.kif 3094-3094
(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