DoNetworkMessaging - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DoNetworkMessaging

DoNetworkMessaging(do network messaging)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2892-2893
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2891-2891	Do network messaging is a subclass of network communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2901-2901	Audio messaging is a subclass of do network messaging
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2921-2921	Emailing is a subclass of do network messaging
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2910-2910	Live video messaging is a subclass of do network messaging
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2895-2895	Tweeting is a subclass of do network messaging
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2915-2915	Web chatting is a subclass of do network messaging
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64799-64799	Web chatting is a subclass of do network messaging

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3028-3042	If an agent employs a cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and another process is an instance of seeing and the object is a patient of the other process and the cognitive agent is an agent of the other process, then the statement there exists an entity such that the other process causes the entity and the cognitive agent suffers from the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3010-3026	If an agent employs a cognitive agent and the agent employs another cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and the cognitive agent is an agent of the process and another process is an instance of seeing and the object is a patient of the other process and the other cognitive agent is an agent of the other process, then the statement there exists the cognitive agentROC such that the process causes the cognitive agentROC and the cognitive agent suffers from the cognitive agentROC has the modal force of likely

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