| 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 2885-2888 | |
| (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 2884-2884 | |
| (subclass Emailing WrittenCommunication) | Media.kif 202-202 |
| appearance as argument number 2 |
|
|
| (subclass ReceivingEmail Emailing) | ComputerInput.kif 2890-2890 | |
| (subclass SendingEmail Emailing) | ComputerInput.kif 2895-2895 | |
| (termFormat ChineseLanguage Emailing "电邮") | ComputingBrands.kif 3103-3103 | |
| (termFormat ChineseTraditionalLanguage Emailing "電郵") | ComputingBrands.kif 3102-3102 | |
| (termFormat EnglishLanguage Emailing "emailing") | ComputingBrands.kif 3101-3101 | |
| (termFormat JapaneseLanguage Emailing "電子メール ") | ComputingBrands.kif 3104-3104 |
| 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 3091-3099 |
|
|
|