|
|
   UploadingOverNetwork
|
|
|
| appearance as argument number 1 |
|
|
| (documentation UploadingOverNetwork EnglishLanguage "UploadingOverNetwork is those instances of NetworkCommunication in which a ComputerFile is uploaded from a user's local computer onto another ComputerSystem on a network.") | ComputerInput.kif 2786-2788 | |
| (subclass UploadingOverNetwork NetworkCommunication) | ComputerInput.kif 2785-2785 | UploadingOverNetwork is a subclass of NetworkCommunication |
| appearance as argument number 2 |
|
|
| (subclass PostingOnBlog UploadingOverNetwork) | ComputerInput.kif 2841-2841 | PostingOnBlog is a subclass of UploadingOverNetwork |
| (subclass UploadingAudioFile UploadingOverNetwork) | ComputerInput.kif 2821-2821 | UploadingAudioFile is a subclass of UploadingOverNetwork |
| (subclass UploadingImage UploadingOverNetwork) | ComputerInput.kif 2797-2797 | UploadingImage is a subclass of UploadingOverNetwork |
| (subclass UploadingVideo UploadingOverNetwork) | ComputerInput.kif 2809-2809 | UploadingVideo is a subclass of UploadingOverNetwork |
| antecedent |
|
|
| (=> (instance ?ACT UploadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ComputerFile)))) |
ComputerInput.kif 2790-2795 |
|
|
|
|