| NetworkCommunication(network communication) |
| appearance as argument number 1 |
|
|
| (documentation NetworkCommunication EnglishLanguage "NetworkCommunication consists of an interplay of messages across a ComputerNetwork.") | ComputerInput.kif 2660-2661 | |
| (subclass NetworkCommunication DataTransfer) | ComputerInput.kif 2659-2659 | Network communication is a subclass of data transfer |
| appearance as argument number 2 |
|
|
| 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 1422-1432 |
|
|
|