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 |
appearance as argument number 2 |
(subclass PostingOnBlog UploadingOverNetwork) | ComputerInput.kif 2879-2879 | |
(subclass UploadingAudioFile UploadingOverNetwork) | ComputerInput.kif 2812-2812 | |
(subclass UploadingImage UploadingOverNetwork) | ComputerInput.kif 2788-2788 | |
(subclass UploadingVideo UploadingOverNetwork) | ComputerInput.kif 2800-2800 | |
(termFormat ChineseLanguage UploadingOverNetwork "上傳") | domainEnglishFormat.kif 64301-64301 | |
(termFormat ChineseLanguage UploadingOverNetwork "网络上傳") | domainEnglishFormat.kif 64300-64300 | |
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "上傳") | domainEnglishFormat.kif 64303-64303 | |
(termFormat ChineseTraditionalLanguage UploadingOverNetwork "網絡上傳") | domainEnglishFormat.kif 64302-64302 | |
(termFormat EnglishLanguage UploadingOverNetwork "uploading over network") | domainEnglishFormat.kif 64298-64298 | |
(termFormat EnglishLanguage UploadingOverNetwork "uploading") | domainEnglishFormat.kif 64299-64299 |
antecedent |
(=> (instance ?ACT UploadingOverNetwork) (exists (?DATA ?COM) (and (patient ?ACT ?DATA) (instance ?COM Computer) (origin ?ACT ?COM) (instance ?DATA DigitalData)))) |
ComputerInput.kif 2779-2786 |