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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DoNetworkMessaging

Sigma KEE - DoNetworkMessaging
DoNetworkMessaging

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


(documentation DoNetworkMessaging EnglishLanguage "DoNetworkMessaging is those instances of NetworkCommunication in which messages are sent back and forth among users .") ComputerInput.kif 2892-2893
(subclass DoNetworkMessaging NetworkCommunication) ComputerInput.kif 2891-2891 DoNetworkMessaging e' uma sub-classe de NetworkCommunication

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


(subclass AudioMessaging DoNetworkMessaging) ComputerInput.kif 2901-2901 AudioMessaging e' uma sub-classe de DoNetworkMessaging
(subclass Emailing DoNetworkMessaging) ComputerInput.kif 2921-2921 Emailing e' uma sub-classe de DoNetworkMessaging
(subclass LiveVideoMessaging DoNetworkMessaging) ComputerInput.kif 2910-2910 LiveVideoMessaging e' uma sub-classe de DoNetworkMessaging
(subclass Tweeting DoNetworkMessaging) ComputerInput.kif 2895-2895 Tweeting e' uma sub-classe de DoNetworkMessaging
(subclass WebChatting DoNetworkMessaging) ComputerInput.kif 2915-2915 WebChatting e' uma sub-classe de DoNetworkMessaging
(termFormat EnglishLanguage DoNetworkMessaging "do network messaging") domainEnglishFormat.kif 64776-64776

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


(=>
    (and
        (employs ?ORG ?CO)
        (instance ?D DoNetworkMessaging)
        (result ?D ?MSG)
        (attribute ?MSG NSFW)
        (instance ?S Seeing)
        (patient ?S ?MSG)
        (agent ?S ?CO))
    (modalAttribute
        (exists (?PROC)
            (and
                (causes ?S ?PROC)
                (suffers ?PROC ?CO))) Possibility))
Medicine.kif 3040-3054
(=>
    (and
        (employs ?ORG ?P)
        (employs ?ORG ?CO)
        (instance ?D DoNetworkMessaging)
        (result ?D ?MSG)
        (attribute ?MSG NSFW)
        (agent ?D ?P)
        (instance ?S Seeing)
        (patient ?S ?MSG)
        (agent ?S ?CO))
    (modalAttribute
        (exists (?PROC)
            (and
                (causes ?D ?PROC)
                (suffers ?PROC ?P))) Likely))
Medicine.kif 3022-3038


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