Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  telecomCode2
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DownloadingUserFile DownloadingOverNetwork) | ComputerInput.kif 2729-2729 | Downloading user file is a subclass of downloading |
| (documentation DownloadingUserFile EnglishLanguage "DownloadingUserFile is those instances of NetworkCommunication in which a user ComputerFile is downloaded to be stored on a user's local computer from another ComputerSystem on a network.") | ComputerInput.kif 2730-2732 | Downloading user file is a subclass of downloading |
| appearance as argument number 2 |
|
|
|