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	Uploading is a subclass of network communication

appearance as argument number 2

(subclass PostingOnBlog UploadingOverNetwork)	ComputerInput.kif 2879-2879	Posting on blog is a subclass of uploading
(subclass UploadingAudioFile UploadingOverNetwork)	ComputerInput.kif 2812-2812	Uploading audio file is a subclass of uploading
(subclass UploadingImage UploadingOverNetwork)	ComputerInput.kif 2788-2788	Uploading image is a subclass of uploading
(subclass UploadingVideo UploadingOverNetwork)	ComputerInput.kif 2800-2800	Uploading video is a subclass of uploading
(termFormat ChineseLanguage UploadingOverNetwork "上傳")	domainEnglishFormat.kif 64347-64347	Uploading video is a subclass of uploading
(termFormat ChineseLanguage UploadingOverNetwork "网络上傳")	domainEnglishFormat.kif 64346-64346	Uploading video is a subclass of uploading
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "上傳")	domainEnglishFormat.kif 64349-64349	Uploading video is a subclass of uploading
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "網絡上傳")	domainEnglishFormat.kif 64348-64348	Uploading video is a subclass of uploading
(termFormat EnglishLanguage UploadingOverNetwork "uploading over network")	domainEnglishFormat.kif 64344-64344	Uploading video is a subclass of uploading
(termFormat EnglishLanguage UploadingOverNetwork "uploading")	domainEnglishFormat.kif 64345-64345	Uploading video is a subclass of uploading

antecedent

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

ComputerInput.kif 2779-2786