NetworkCommunication - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass AccessingWebPage NetworkCommunication)	ComputerInput.kif 2663-2663	Accessing web page is a subclass of network communication
(subclass FTPing NetworkCommunication)	ComputerInput.kif 2674-2674	Ftp_ing is a subclass of network communication
(subclass DownloadingOverNetwork NetworkCommunication)	ComputerInput.kif 2678-2678	Downloading is a subclass of network communication
(subclass UploadingOverNetwork NetworkCommunication)	ComputerInput.kif 2774-2774	Uploading is a subclass of network communication
(subclass Posting NetworkCommunication)	ComputerInput.kif 2847-2847	Posting is a subclass of network communication
(subclass DoNetworkMessaging NetworkCommunication)	ComputerInput.kif 2891-2891	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