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 è una sottoclasse di NetworkCommunication

appearance as argument number 2

(subclass DownloadingSoftware DownloadingOverNetwork)	ComputerInput.kif 2701-2701	DownloadingSoftware è una sottoclasse di DownloadingOverNetwork
(subclass DownloadingUserFile DownloadingOverNetwork)	ComputerInput.kif 2713-2713	DownloadingUserFile è una sottoclasse di DownloadingOverNetwork
(subclass DownloadingingUpdate DownloadingOverNetwork)	ComputerInput.kif 2694-2694	DownloadingingUpdate è una sottoclasse di DownloadingOverNetwork
(termFormat ChineseLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64292-64292
(termFormat ChineseLanguage DownloadingOverNetwork "网络下載")	domainEnglishFormat.kif 64291-64291
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "下載")	domainEnglishFormat.kif 64294-64294
(termFormat ChineseTraditionalLanguage DownloadingOverNetwork "網絡下載")	domainEnglishFormat.kif 64293-64293
(termFormat EnglishLanguage DownloadingOverNetwork "downloading over network")	domainEnglishFormat.kif 64289-64289
(termFormat EnglishLanguage DownloadingOverNetwork "downloading")	domainEnglishFormat.kif 64290-64290

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	Processo è un' istanza di DownloadingOverNetwork Entit� AutonomousAgent Entit� è un paziente di Processo Processo è un agente di AutonomousAgent Processo fines in AutonomousAgent AutonomousAgent è un' istanza di ComputerSystem Entit� è un' istanza di DigitalData
(=> (instance ?ACT DownloadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE WebPage))))	ComputerInput.kif 2667-2672	Processo è un' istanza di DownloadingOverNetwork Entit� Entit� è un paziente di Processo Entit� è un' istanza di 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	Entit�Concreta è un' istanza di AppleAppStore programRunning ComputerProcess and Entit�Concreta computerRunning ComputerProcess and Computer Entit�Concreta ha scopo Entit� Entit� è un' istanza di DownloadingOverNetwork Entit� si originas in 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	Entit�Concreta è un' istanza di ITunes Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di MultimediaFile Entit� è un' istanza di DownloadingOverNetwork objectTransferred Entit� and Entit� Entit�Concreta è uno strumento per Entit�

statement

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

ComputingBrands.kif 3309-3315