| (subclass DownloadingOverNetwork NetworkCommunication) | ComputerInput.kif 2678-2678 | DownloadingOverNetwork は NetworkCommunication の subclass では %n |
| (subclass DownloadingingUpdate DownloadingOverNetwork) | ComputerInput.kif 2694-2694 | DownloadingingUpdate は DownloadingOverNetwork の subclass では %n |
| (subclass DownloadingSoftware DownloadingOverNetwork) | ComputerInput.kif 2701-2701 | DownloadingSoftware は DownloadingOverNetwork の subclass では %n |
| (subclass DownloadingUserFile DownloadingOverNetwork) | ComputerInput.kif 2713-2713 | DownloadingUserFile は DownloadingOverNetwork の subclass では %n |
|
|