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 ist eine teilkategorie von NetworkCommunication |
appearance as argument number 2 |
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 |
statement |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | IBookstore hat Zweck von es gibt ?D um ?D ist ein fall von DownloadingOverNetwork %n{nicht} und IBookstore ist ein instrument fuer ?D %n{nicht} und ?T ist ein fall von Text %n{nicht} und objectTransferred ?D and ?T %n{nicht} |