TreeView Knowledge Base Browser - DoNetworkMessaging

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

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	DoNetworkMessaging e' uma sub-classe de NetworkCommunication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2901-2901	AudioMessaging e' uma sub-classe de DoNetworkMessaging
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2921-2921	Emailing e' uma sub-classe de DoNetworkMessaging
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2910-2910	LiveVideoMessaging e' uma sub-classe de DoNetworkMessaging
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2895-2895	Tweeting e' uma sub-classe de DoNetworkMessaging
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2915-2915	WebChatting e' uma sub-classe de DoNetworkMessaging
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64776-64776

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Entidade Processo causa Entidade suffers Entidade and Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	AutonomousAgent emprega Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' um agente de Agente Cognitivo Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Agente CognitivoROC Processo causa Agente CognitivoROC suffers Agente CognitivoROC and Agente Cognitivo tem a forca modal de Likely

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