| Emailing(電子メール ) | |
| appearance as argument number 1 |
|
|
| (documentation Emailing EnglishLanguage "Emailing is the process of sending and receiving emails. Emailing is a subclass of DoNetworkMessaging since the messages are sent over a local, global, or other network. The sender normally sends text, but may also send URLs and computer files of any kind with or without accompanying text.") | ComputerInput.kif 2922-2925 | |
| (documentation Emailing EnglishLanguage "An instance of Emailing is a Communication in which an EmailMessage is sent by one CognitiveAgent to another.") | Media.kif 203-205 | |
| (subclass Emailing DoNetworkMessaging) | ComputerInput.kif 2921-2921 | 電子メール は DoNetworkMessaging の subclass では %n |
| (subclass Emailing WrittenCommunication) | Media.kif 202-202 | 電子メール は WrittenCommunication の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass ReceivingEmail Emailing) | ComputerInput.kif 2927-2927 | ReceivingEmail は 電子メール の subclass では %n |
| (subclass SendingEmail Emailing) | ComputerInput.kif 2932-2932 | SendingEmail は 電子メール の subclass では %n |
| (termFormat ChineseLanguage Emailing "电邮") | ComputingBrands.kif 3132-3132 | |
| (termFormat ChineseTraditionalLanguage Emailing "電郵") | ComputingBrands.kif 3131-3131 | |
| (termFormat EnglishLanguage Emailing "emailing") | ComputingBrands.kif 3130-3130 | |
| (termFormat JapaneseLanguage Emailing "電子メール ") | ComputingBrands.kif 3133-3133 |
| antecedent |
|
|
| (=> (instance ?ACT Emailing) (exists (?MSG) (and (patient ?ACT ?MSG) (instance ?MSG EmailMessage)))) |
Media.kif 207-212 |
| consequent |
|
|
| (=> (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 |
|
|
|