TreeView Knowledge Base Browser - NetworkCommunication

appearance as argument number 1

(subclass NetworkCommunication DataTransfer)	ComputerInput.kif 2675-2675	Network communication is a subclass of data transfer
(documentation NetworkCommunication EnglishLanguage "NetworkCommunication consists of an interplay of messages across a ComputerNetwork.")	ComputerInput.kif 2676-2677	Network communication is a subclass of data transfer

appearance as argument number 2

(subclass AccessingWebPage NetworkCommunication)	ComputerInput.kif 2679-2679	Accessing web page is a subclass of network communication
(subclass FTPing NetworkCommunication)	ComputerInput.kif 2690-2690	Ftp_ing is a subclass of network communication
(subclass DownloadingOverNetwork NetworkCommunication)	ComputerInput.kif 2694-2694	Downloading is a subclass of network communication
(subclass UploadingOverNetwork NetworkCommunication)	ComputerInput.kif 2790-2790	Uploading is a subclass of network communication
(subclass Posting NetworkCommunication)	ComputerInput.kif 2863-2863	Posting is a subclass of network communication
(subclass DoNetworkMessaging NetworkCommunication)	ComputerInput.kif 2907-2907	Do network messaging is a subclass of network communication
(rangeSubclass NetworkCommunicationFn NetworkCommunication)	ComputingBrands.kif 1520-1520	The values returned by network communication function are subclasses of network communication
(termFormat EnglishLanguage NetworkCommunication "network communication")	domainEnglishFormat.kif 65236-65236	The values returned by network communication function are subclasses of network communication

antecedent

(=>
    (and
        (instance ?CONN WirelessNetwork)
        (instance ?COM NetworkCommunication)
        (instrument ?COM ?CONN)
        (path ?COM ?PATH))
    (exists (?PART)
        (and
            (part ?PART ?PATH)
            (not
                (instance ?PART Cable)))))

If X is an instance of wireless network, Y is an instance of network communication, X is an instrument for Y, and Z is path along which Y occurs, then there exists W such that W is a part of Z and W is not an instance of cable