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 | 子類 上傳 and NetworkCommunication |
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 |