DownloadingOverNetwork - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DownloadingOverNetwork EnglishLanguage "DownloadingOverNetwork is those instances of NetworkCommunication in which DigitalData are downloaded from a network onto the user's local computer. For example a ComputerFile may be generated on the fly or pre-exist on the system from which it is being downloaded.")	ComputerInput.kif 2679-2682
(subclass DownloadingOverNetwork NetworkCommunication)	ComputerInput.kif 2678-2678

appearance as argument number 2

(subclass DownloadingSoftware DownloadingOverNetwork)	ComputerInput.kif 2701-2701
(subclass DownloadingUserFile DownloadingOverNetwork)	ComputerInput.kif 2713-2713
(subclass DownloadingingUpdate DownloadingOverNetwork)	ComputerInput.kif 2694-2694
(termFormat ChineseLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64317-64317
(termFormat ChineseLanguage DownloadingOverNetwork "网络下載")	domainEnglishFormat.kif 64316-64316
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64319-64319
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "網絡下載")	domainEnglishFormat.kif 64318-64318
(termFormat EnglishLanguage DownloadingOverNetwork "downloading over network")	domainEnglishFormat.kif 64314-64314
(termFormat EnglishLanguage DownloadingOverNetwork "downloading")	domainEnglishFormat.kif 64315-64315

antecedent

(=> (instance ?ACT DownloadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (agent ?ACT ?COM) (destination ?ACT ?COM) (instance ?COM ComputerSystem) (instance ?DATA DigitalData))))	ComputerInput.kif 2684-2692
(=> (instance ?ACT DownloadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE WebPage))))	ComputerInput.kif 2667-2672

consequent

(=> (and (instance ?A AppleAppStore) (programRunning ?P ?A) (computerRunning ?P ?C)) (hasPurpose ?A (exists (?D) (and (instance ?D DownloadingOverNetwork) (origin ?D ?C)))))	ComputingBrands.kif 1990-1999
(=> (instance ?I ITunes) (hasPurpose ?I (exists (?M ?D) (and (instance ?M MultimediaFile) (instance ?D DownloadingOverNetwork) (objectTransferred ?D ?M) (instrument ?D ?I)))))	ComputingBrands.kif 3409-3417

statement

(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))

ComputingBrands.kif 3309-3315