| (subclass NetworkCommunication DataTransfer) | ComputerInput.kif 2659-2659 | NetworkCommunication は DataTransfer の subclass では %n |
| (subclass AccessingWebPage NetworkCommunication) | ComputerInput.kif 2663-2663 | AccessingWebPage は NetworkCommunication の subclass では %n |
| (subclass FTPing NetworkCommunication) | ComputerInput.kif 2674-2674 | FTPing は NetworkCommunication の subclass では %n |
| (subclass DownloadingOverNetwork NetworkCommunication) | ComputerInput.kif 2678-2678 | DownloadingOverNetwork は NetworkCommunication の subclass では %n |
| (subclass UploadingOverNetwork NetworkCommunication) | ComputerInput.kif 2774-2774 | UploadingOverNetwork は NetworkCommunication の subclass では %n |
| (subclass Posting NetworkCommunication) | ComputerInput.kif 2847-2847 | Posting は NetworkCommunication の subclass では %n |
| (subclass DoNetworkMessaging NetworkCommunication) | ComputerInput.kif 2891-2891 | DoNetworkMessaging は NetworkCommunication の subclass では %n |
|
|