|
|
   EmailProgram
|
|
|
| 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 |
|
|
|
|