TreeView Knowledge Base Browser - DownloadingOverNetwork

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	DownloadingOverNetwork est une sous-classe de NetworkCommunication

appearance as argument number 2

(subclass DownloadingSoftware DownloadingOverNetwork)	ComputerInput.kif 2701-2701	DownloadingSoftware est une sous-classe de DownloadingOverNetwork
(subclass DownloadingUserFile DownloadingOverNetwork)	ComputerInput.kif 2713-2713	DownloadingUserFile est une sous-classe de DownloadingOverNetwork
(subclass DownloadingingUpdate DownloadingOverNetwork)	ComputerInput.kif 2694-2694	DownloadingingUpdate est une sous-classe de DownloadingOverNetwork
(termFormat ChineseLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64304-64304
(termFormat ChineseLanguage DownloadingOverNetwork "网络下載")	domainEnglishFormat.kif 64303-64303
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64306-64306
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "網絡下載")	domainEnglishFormat.kif 64305-64305
(termFormat EnglishLanguage DownloadingOverNetwork "downloading over network")	domainEnglishFormat.kif 64301-64301
(termFormat EnglishLanguage DownloadingOverNetwork "downloading")	domainEnglishFormat.kif 64302-64302

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	Processus est une instance de DownloadingOverNetwork entit� AutonomousAgent entit� est un patient de processus processus est un agent de AutonomousAgent processus aboutit � AutonomousAgent AutonomousAgent est une instance de ComputerSystem entit� est une instance de DigitalData
(=> (instance ?ACT DownloadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE WebPage))))	ComputerInput.kif 2667-2672	Processus est une instance de DownloadingOverNetwork entit� entit� est un patient de processus entit� est une instance de WebPage

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	Physique est une instance de AppleAppStore programRunning ComputerProcess and physique computerRunning ComputerProcess and Computer physique a pour but entit� entit� est une instance de DownloadingOverNetwork entit� a pour origine Computer
(=> (instance ?I ITunes) (hasPurpose ?I (exists (?M ?D) (and (instance ?M MultimediaFile) (instance ?D DownloadingOverNetwork) (objectTransferred ?D ?M) (instrument ?D ?I)))))	ComputingBrands.kif 3407-3415	Physique est une instance de ITunes physique a pour but entit� entit� entit� est une instance de MultimediaFile entit� est une instance de DownloadingOverNetwork objectTransferred entit� and entit� physique est un instrument pour entit�

statement

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

ComputingBrands.kif 3307-3313