Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NetworkCommunication
NetworkCommunication

appearance as argument number 1
-------------------------


(documentation NetworkCommunication EnglishLanguage "NetworkCommunication consists of an interplay of messages across a ComputerNetwork.") ComputerInput.kif 2674-2675
(subclass NetworkCommunication DataTransfer) ComputerInput.kif 2673-2673

appearance as argument number 2
-------------------------


(rangeSubclass NetworkCommunicationFn NetworkCommunication) ComputingBrands.kif 1496-1496
(subclass AccessingWebPage NetworkCommunication) ComputerInput.kif 2677-2677
(subclass DoNetworkMessaging NetworkCommunication) ComputerInput.kif 2853-2853
(subclass DownloadingOverNetwork NetworkCommunication) ComputerInput.kif 2692-2692
(subclass FTPing NetworkCommunication) ComputerInput.kif 2688-2688
(subclass UploadingOverNetwork NetworkCommunication) ComputerInput.kif 2785-2785

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 1398-1408


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