|
|
   UploadingOverNetwork
|
|
|
| appearance as argument number 1 |
|
|
| (documentation UploadingOverNetwork EnglishLanguage "UploadingOverNetwork is those instances of NetworkCommunication in which a DigitalData, such as a Computerfile is uploaded from a user's local computer onto another ComputerSystem on a network.") | ComputerInput.kif 2775-2777 | |
| (subclass UploadingOverNetwork NetworkCommunication) | ComputerInput.kif 2774-2774 | Uploading is a subclass of network communication |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ACT UploadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (instance ?COM Computer) (origin ?ACT ?COM) (instance ?DATA DigitalData)))) |
ComputerInput.kif 2779-2786 |
|
|
|
|