| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners