DownloadingOverNetwork - Sigma Knowledge base Browser

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	If a process is an instance of downloading, then there exist an entity and an agent such that the entity is a patient of the process and the agent is an agent of the process and the process ends up at the agent and the agent is an instance of computer system and the entity is an instance of digital data
(=> (instance ?ACT DownloadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE WebPage))))	ComputerInput.kif 2667-2672	If a process is an instance of downloading, then there exists an entity such that the entity is a patient of the process and the entity is an instance of web page

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 a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer, then the physical has the purpose there exists an entity such that the entity is an instance of downloading and the entity originates at the computer
(=> (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	If a physical is an instance of i-tunes, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of multimedia file and the other entity is an instance of downloading and the object transferred in the other entity is the entity and the physical is an instrument for the other entity

statement

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

ComputingBrands.kif 3309-3315

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

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

(subclass DownloadingSoftware DownloadingOverNetwork)	ComputerInput.kif 2701-2701	Downloading software is a subclass of downloading
(subclass DownloadingUserFile DownloadingOverNetwork)	ComputerInput.kif 2713-2713	Downloading user file is a subclass of downloading
(subclass DownloadingingUpdate DownloadingOverNetwork)	ComputerInput.kif 2694-2694	Downloadinging update is a subclass of downloading
(termFormat ChineseLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64340-64340	Downloadinging update is a subclass of downloading
(termFormat ChineseLanguage DownloadingOverNetwork "网络下載")	domainEnglishFormat.kif 64339-64339	Downloadinging update is a subclass of downloading
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64342-64342	Downloadinging update is a subclass of downloading
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "網絡下載")	domainEnglishFormat.kif 64341-64341	Downloadinging update is a subclass of downloading
(termFormat EnglishLanguage DownloadingOverNetwork "downloading over network")	domainEnglishFormat.kif 64337-64337	Downloadinging update is a subclass of downloading
(termFormat EnglishLanguage DownloadingOverNetwork "downloading")	domainEnglishFormat.kif 64338-64338	Downloadinging update is a subclass of downloading