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 13038-13043
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 13036-13036	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 2944-2944	Communicacao e' relacionado internamente por SUMO a CommunicationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13037-13037	Communicacao e' relacionado internamente por SUMO a Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13035-13035	Communicacao e' uma sub-classe de ContentBearingProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13034-13034	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 27009-27009	ArtifactMediatedCommunication e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13056-13056	Disseminar e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13108-13108	Exprimir e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13091-13091	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 1016-1016	Indicating e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13126-13126	LinguisticCommunication e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2959-2959	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 13045-13054	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 25093-25114	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 7585-7592	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 2946-2948	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 26399-26405	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 13289-13300	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 27047-27069	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