|
|
   NetworkCommunication
|
|
|
| appearance as argument number 1 |
|
|
| (documentation NetworkCommunication EnglishLanguage "NetworkCommunication consists of an interplay of messages across a ComputerNetwork.") | ComputerInput.kif 2656-2657 | |
| (subclass NetworkCommunication DataTransfer) | ComputerInput.kif 2655-2655 | NetworkCommunication is a subclass of data transfer |
| appearance as argument number 2 |
|
|
| (rangeSubclass NetworkCommunicationFn NetworkCommunication) | ComputingBrands.kif 1488-1488 | The values returned by network communication function are subclasses of NetworkCommunication |
| (subclass AccessingWebPage NetworkCommunication) | ComputerInput.kif 2659-2659 | AccessingWebPage is a subclass of NetworkCommunication |
| (subclass DoNetworkMessaging NetworkCommunication) | ComputerInput.kif 2887-2887 | DoNetworkMessaging is a subclass of NetworkCommunication |
| (subclass DownloadingOverNetwork NetworkCommunication) | ComputerInput.kif 2674-2674 | Downloading is a subclass of NetworkCommunication |
| (subclass FTPing NetworkCommunication) | ComputerInput.kif 2670-2670 | FTPing is a subclass of NetworkCommunication |
| (subclass Posting NetworkCommunication) | ComputerInput.kif 2843-2843 | Posting is a subclass of NetworkCommunication |
| (subclass UploadingOverNetwork NetworkCommunication) | ComputerInput.kif 2770-2770 | Uploading is a subclass of NetworkCommunication |
| antecedent |
|
|
| (=> (and (instance ?CONN WirelessNetwork) (instance ?COM NetworkCommunication) (instrument ?COM ?CONN) (path ?COM ?PATH)) (exists (?PART) (and (part ?PART ?PATH) (not (instance ?PART Cable))))) |
ComputingBrands.kif 1390-1400 |
|
|
|
|