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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NetworkMessaging

Sigma KEE - NetworkMessaging
NetworkMessaging

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


(documentation NetworkMessaging EnglishLanguage "Any Messaging where the mode of transmission is over a ComputerNetwork.") ComputingBrands.kif 4169-4170
(subclass NetworkMessaging Messaging) ComputingBrands.kif 4168-4168

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


(subclass Spamming NetworkMessaging) ComputingBrands.kif 4180-4180
(termFormat EnglishLanguage NetworkMessaging "network messaging") ComputingBrands.kif 4171-4171

antecedent
-------------------------


(=>
    (instance ?NM NetworkMessaging)
    (exists (?CN)
        (and
            (instance ?CN ComputerNetwork)
            (instrument ?NM ?CN))))
ComputingBrands.kif 4173-4178


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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