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 |
(subclass Emailing WrittenCommunication) | Media.kif 202-202 | 电邮 是 书面沟通 的 subclass |
appearance as argument number 2 |
(subclass ReceivingEmail Emailing) | ComputerInput.kif 2927-2927 | ReceivingEmail 是 电邮 的 subclass |
(subclass SendingEmail Emailing) | ComputerInput.kif 2932-2932 | SendingEmail 是 电邮 的 subclass |
(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 |