| 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 | Emailing est une sous-classe de DoNetworkMessaging |
| (subclass Emailing WrittenCommunication) | Media.kif 202-202 | Emailing est une sous-classe de WrittenCommunication |
| appearance as argument number 2 |
|
|
| (subclass ReceivingEmail Emailing) | ComputerInput.kif 2930-2930 | ReceivingEmail est une sous-classe de Emailing |
| (subclass SendingEmail Emailing) | ComputerInput.kif 2935-2935 | SendingEmail est une sous-classe de Emailing |
| (termFormat ChineseLanguage Emailing "电邮") | ComputerInput.kif 2927-2927 | SendingEmail est une sous-classe de Emailing |
| (termFormat ChineseTraditionalLanguage Emailing "電郵") | ComputerInput.kif 2926-2926 | SendingEmail est une sous-classe de Emailing |
| (termFormat EnglishLanguage Emailing "emailing") | english_format.kif 1857-1857 | SendingEmail est une sous-classe de Emailing |
| (termFormat JapaneseLanguage Emailing "電子メール ") | ComputerInput.kif 2928-2928 | SendingEmail est une sous-classe de Emailing |
| 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 |
|
|
|
|