|
|
   EmailProgram
|
|
|
| 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 | EmailProgram è una sottoclasse di ProgrammaDiComputer |
| appearance as argument number 2 |
|
|
| (subclass GMail EmailProgram) | ComputingBrands.kif 3094-3094 | GMail è una sottoclasse di EmailProgram |
| (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 |
|
|
|
|