Emailing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Emailing DoNetworkMessaging)	ComputerInput.kif 2937-2937	Emailing is a subclass of do network messaging
(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 2938-2941	Emailing is a subclass of do network messaging
(subclass Emailing WrittenCommunication)	Media.kif 196-196	Emailing is a subclass of written communication
(documentation Emailing EnglishLanguage "An instance of Emailing is a Communication in which an EmailMessage is sent by one CognitiveAgent to another.")	Media.kif 197-199	Emailing is a subclass of written communication

appearance as argument number 2

(termFormat ChineseTraditionalLanguage Emailing "電郵")	ComputerInput.kif 2942-2942
(termFormat ChineseLanguage Emailing "电邮")	ComputerInput.kif 2943-2943
(termFormat JapaneseLanguage Emailing "電子メール ")	ComputerInput.kif 2944-2944
(subclass ReceivingEmail Emailing)	ComputerInput.kif 2946-2946	Receiving email is a subclass of emailing
(subclass SendingEmail Emailing)	ComputerInput.kif 2951-2951	Sending email is a subclass of emailing
(termFormat EnglishLanguage Emailing "emailing")	english_format.kif 1861-1861	Sending email is a subclass of emailing

antecedent

(=>
    (instance ?ACT Emailing)
    (exists (?MSG)
        (and
            (patient ?ACT ?MSG)
            (instance ?MSG EmailMessage))))

If X is an instance of emailing, then there exists Y such that Y is a patient of X and Y is an instance of email message

consequent

(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))

If X is an instance of mailer, then X has the purpose there exist Y, Z such that Y is an instance of computer process, Z is an instance of emailing, Y is an instrument for Z, and X is a program running of Y