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 |
|
![]() |
![]() |