EmailProgram - Sigma Knowledge base Browser

appearance as argument number 1

(subclass EmailProgram ComputerProgram)	ComputingBrands.kif 3013-3013	Mailer is a subclass of computer program
(documentation EmailProgram EnglishLanguage "A ComputerProgram that enables Emailing .")	ComputingBrands.kif 3014-3014	Mailer is a subclass of computer program
(documentation EmailProgram ChineseTraditionalLanguage "ComputerProgram 用來啟用 Emailing .")	ComputingBrands.kif 3015-3015	Mailer is a subclass of computer program
(documentation EmailProgram ChineseLanguage "ComputerProgram 用来启用 Emailing.")	ComputingBrands.kif 3016-3016	Mailer is a subclass of computer program
(documentation EmailProgram JapaneseLanguage "Emailingを有効にするComputerProgram.")	ComputingBrands.kif 3017-3017	Mailer is a subclass of computer program

appearance as argument number 2

(subclass GMail EmailProgram)	ComputingBrands.kif 3005-3005	GMail is a subclass of mailer
(termFormat EnglishLanguage EmailProgram "email program")	ComputingBrands.kif 3021-3021	GMail is a subclass of mailer
(termFormat ChineseTraditionalLanguage EmailProgram "郵件程式")	ComputingBrands.kif 3022-3022	GMail is a subclass of mailer
(termFormat ChineseLanguage EmailProgram "邮件程式")	ComputingBrands.kif 3023-3023	GMail is a subclass of mailer
(termFormat JapaneseLanguage EmailProgram "（電子）メールソフト")	ComputingBrands.kif 3024-3024	GMail is a subclass of mailer
(termFormat EnglishLanguage EmailProgram "mailer")	ComputingBrands.kif 3026-3026	GMail is a subclass of mailer
(termFormat ChineseTraditionalLanguage EmailProgram "發信者")	ComputingBrands.kif 3027-3027	GMail is a subclass of mailer
(termFormat ChineseLanguage EmailProgram "发信者")	ComputingBrands.kif 3028-3028	GMail is a subclass of mailer
(termFormat JapaneseLanguage EmailProgram "メーラー")	ComputingBrands.kif 3029-3029	GMail is a subclass of mailer

antecedent

(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))

If X is an instance of mailer, then X has the purpose there exist Y, Z such that Y is an instance of computer process, Z is an instance of emailing, Y is an instrument for Z, and X is a program running of Y