UploadingOverNetwork - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UploadingOverNetwork EnglishLanguage "UploadingOverNetwork is those instances of NetworkCommunication in which a DigitalData, such as a Computerfile is uploaded from a user's local computer onto another ComputerSystem on a network.")	ComputerInput.kif 2775-2777
(subclass UploadingOverNetwork NetworkCommunication)	ComputerInput.kif 2774-2774	UploadingOverNetwork は NetworkCommunication の subclass では %n

appearance as argument number 2

(subclass PostingOnBlog UploadingOverNetwork)	ComputerInput.kif 2879-2879	PostingOnBlog は UploadingOverNetwork の subclass では %n
(subclass UploadingAudioFile UploadingOverNetwork)	ComputerInput.kif 2812-2812	UploadingAudioFile は UploadingOverNetwork の subclass では %n
(subclass UploadingImage UploadingOverNetwork)	ComputerInput.kif 2788-2788	UploadingImage は UploadingOverNetwork の subclass では %n
(subclass UploadingVideo UploadingOverNetwork)	ComputerInput.kif 2800-2800	UploadingVideo は UploadingOverNetwork の subclass では %n
(termFormat ChineseLanguage UploadingOverNetwork "上傳")	domainEnglishFormat.kif 64299-64299
(termFormat ChineseLanguage UploadingOverNetwork "网络上傳")	domainEnglishFormat.kif 64298-64298
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "上傳")	domainEnglishFormat.kif 64301-64301
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "網絡上傳")	domainEnglishFormat.kif 64300-64300
(termFormat EnglishLanguage UploadingOverNetwork "uploading over network")	domainEnglishFormat.kif 64296-64296
(termFormat EnglishLanguage UploadingOverNetwork "uploading")	domainEnglishFormat.kif 64297-64297

antecedent

(=>
    (instance ?ACT UploadingOverNetwork)
    (exists (?DATA ?COM)
        (and
            (patient ?ACT ?DATA)
            (instance ?COM Computer)
            (origin ?ACT ?COM)
            (instance ?DATA DigitalData))))

ComputerInput.kif 2779-2786