| 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 |
| appearance as argument number 2 |
|
|
| (rangeSubclass NetworkCommunicationFn NetworkCommunication) | ComputingBrands.kif 1520-1520 | |
| (subclass AccessingWebPage NetworkCommunication) | ComputerInput.kif 2663-2663 | |
| (subclass DoNetworkMessaging NetworkCommunication) | ComputerInput.kif 2891-2891 | |
| (subclass DownloadingOverNetwork NetworkCommunication) | ComputerInput.kif 2678-2678 | |
| (subclass FTPing NetworkCommunication) | ComputerInput.kif 2674-2674 | |
| (subclass Posting NetworkCommunication) | ComputerInput.kif 2847-2847 | |
| (subclass UploadingOverNetwork NetworkCommunication) | ComputerInput.kif 2774-2774 | |
| (termFormat EnglishLanguage NetworkCommunication "network communication") | domainEnglishFormat.kif 65258-65258 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners