DownloadingOverNetwork - Sigma Knowledge base Browser

antecedent

(=> (instance ?ACT DownloadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE WebPage))))	ComputerInput.kif 2683-2688	If X is an instance of downloading, then there exists Y such that Y is a patient of X and Y is an instance of web page
(=> (instance ?ACT DownloadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (agent ?ACT ?COM) (destination ?ACT ?COM) (instance ?COM ComputerSystem) (instance ?DATA DigitalData))))	ComputerInput.kif 2700-2708	If X is an instance of downloading, then there exist Y, Z such that Y is a patient of X, Z is an agent of X, X ends up at Z, Z is an instance of computer system, and Y is an instance of digital data

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	If X is an instance of Apple app store, X is a program running of Y, and Y is running on Z, then X has the purpose there exists W such that W is an instance of downloading and W originates at Z
(=> (instance ?I ITunes) (hasPurpose ?I (exists (?M ?D) (and (instance ?M MultimediaFile) (instance ?D DownloadingOverNetwork) (objectTransferred ?D ?M) (instrument ?D ?I)))))	ComputingBrands.kif 3316-3324	If X is an instance of i_tunes, then X has the purpose there exist Y, Z such that Y is an instance of multimedia file, Z is an instance of downloading, the object transferred in Z is Y, and X is an instrument for Z

statement

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

IBookstore has the purpose there exists ?D such that ?D is an instance of downloading, iBookstore is an instrument for ?D, ?T is an instance of text, and the object transferred in ?D is ?T

(subclass DownloadingOverNetwork NetworkCommunication)	ComputerInput.kif 2694-2694	Downloading is a subclass of network communication
(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 2695-2698	Downloading is a subclass of network communication

(subclass DownloadingingUpdate DownloadingOverNetwork)	ComputerInput.kif 2710-2710	Downloadinging update is a subclass of downloading
(subclass DownloadingSoftware DownloadingOverNetwork)	ComputerInput.kif 2717-2717	Downloading software is a subclass of downloading
(subclass DownloadingUserFile DownloadingOverNetwork)	ComputerInput.kif 2729-2729	Downloading user file is a subclass of downloading
(termFormat EnglishLanguage DownloadingOverNetwork "downloading over network")	domainEnglishFormat.kif 64292-64292	Downloading user file is a subclass of downloading
(termFormat EnglishLanguage DownloadingOverNetwork "downloading")	domainEnglishFormat.kif 64293-64293	Downloading user file is a subclass of downloading
(termFormat ChineseLanguage DownloadingOverNetwork "网络下載")	domainEnglishFormat.kif 64294-64294	Downloading user file is a subclass of downloading
(termFormat ChineseLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64295-64295	Downloading user file is a subclass of downloading
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "網絡下載")	domainEnglishFormat.kif 64296-64296	Downloading user file is a subclass of downloading
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64297-64297	Downloading user file is a subclass of downloading