TreeView Knowledge Base Browser - Communication

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Communication

Communication(Communicacao)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3239-3242
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13084-13089
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6304-6304
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13082-13082	O conceito Communicacao e' completamente decomposto em Declarar, Supposing, Dirigir, Comprometer-se, Exprimir, + Declarar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2937-2937	Communicacao e' relacionado internamente por SUMO a CommunicationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13083-13083	Communicacao e' relacionado internamente por SUMO a Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13081-13081	Communicacao e' uma sub-classe de ContentBearingProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13080-13080	Communicacao e' uma sub-classe de Interacao Social

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27042-27042	ArtifactMediatedCommunication e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13102-13102	Disseminar e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13154-13154	Exprimir e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13137-13137	Gesture e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Media.kif 218-218	InPersonCommunication e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1009-1009	Indicating e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13172-13172	LinguisticCommunication e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2952-2952	Telephoning e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1195-1195
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1607-1607
No TPTP formula. May not be expressible in strict first order.	french_format.kif 873-873
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 406-406
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 409-409
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2557-2557
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 825-825
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 411-411
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 445-445
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 894-894
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 410-410

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 577-586	Componente de Engenharia e' uma instancia de CableModem Processo e' uma instancia de Communicacao Componente de Engenharia e' um instrumento para Processo Componente de Engenharia Componente de Engenharia e' uma instancia de Cable Componente de Engenharia e' um instrumento para Processo Componente de Engenharia e' conectado a Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3025-3032	Proposicao e' uma instancia de Proposicao ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato ContentBearingPhysical contem informacao Proposicao Processo e' uma instancia de Communicacao ContentBearingPhysical e' um patient de Processo Processo define Proposicao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13091-13100	Processo e' uma instancia de Communicacao Entidade Entidade, AutonomousAgent and Entidade Entidade inclui uma referencia a Entidade Entidade e' um patient de Processo AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Agente Cognitivo Processo termina em Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	Componente de Engenharia e' um componente de Internet Componente de Engenharia e' um componente de Internet Componente de Engenharia e' igual a Componente de Engenharia Internet tem por fim Entidade Entidade e' uma instancia de Communicacao Entidade e' um agente de Componente de Engenharia Entidade termina em Componente de Engenharia Internet e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25150-25171	TelecomNumber e' uma instancia de Hotline telephoneNumber TelecomNumber and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao TelecomNumber tem por fim Entidade Entidade e' uma instancia de Telephoning Entidade termina em AutonomousAgent o argumento Entidade Entidade e' uma instancia de Communicacao TelecomNumber e' um instrumento para Entidade o comeco de tempo de existencia de Entidade e' igual a o comeco de imediatemente apos tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6427-6431	AVPUAlertStatus e' um atributo de Entidade vale durante Posicao Temporal Communicacao e' capaz de fazer Entidade no role agent vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7612-7619	AutonomousAgent e' uma instancia de CommunicationOrganization Objeto Processo Processo e' uma instancia de Communicacao Objeto e' uma instancia de CommunicationSystem Objeto e' um instrumento para Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2939-2941	Objeto e' uma instancia de CommunicationDevice Objeto e' capaz de fazer Communicacao no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26432-26438	Fisico e' uma instancia de Document Fisico tem por fim Entidade Entidade e' uma instancia de Communicacao Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13335-13346	Processo e' uma instancia de Encontro AutonomousAgent AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent Processo tem por fim Entidade Entidade e' uma instancia de Communicacao Entidade e' um agente de AutonomousAgent Entidade e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4235-4249	Processo e' uma instancia de Phishing Agente Cognitivo Agente Cognitivo, Processo and Formula Processo e' uma instancia de Communicacao Processo tem como origem Agente Cognitivo Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo Formula e' uma instancia de Formula Agente Cognitivo sabe Formula Agente Cognitivo nao deseja %n Agente Cognitivo sabe Formula Agente Cognitivo deseja Agente Cognitivo sabe Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27080-27102	Processo e' uma instancia de OperatorAssistedTelephoneCommunication Objeto Entidade and Fisico Processo tem como origem Objeto Processo termina em Entidade Fisico e' uma instancia de Humano Fisico tem por fim Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de Fisico Entidade e' um sub-processo de Processo o argumento Entidade Entidade e' uma instancia de Communicacao Entidade tem como origem Objeto Entidade termina em Entidade tem a forca modal de Possibility vale durante imediatemente apos tempo de existencia de Entidade

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