TreeView Knowledge Base Browser - LinguisticCommunication

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

LinguisticCommunication

Sigma KEE - LinguisticCommunication

LinguisticCommunication

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3256-3257
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13149-13150
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13148-13148	LinguisticCommunication e' uma sub-classe de Communicacao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13243-13243	Comprometer-se e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 829-829	Corresponding e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19702-19702	Debating e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13263-13263	Declarar e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13199-13199	Dirigir e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29643-29643	Elaborating e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13133-13133	ExpressingInLanguage e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19709-19709	Negotiating e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29657-29657	Restating e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 826-826	Speaking e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13160-13160	Declarar e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13194-13194	Supposing e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 918-918	TellingALie e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 780-780	WrittenCommunication e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34547-34547
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34546-34546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34545-34545

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	VoiceActor e' um atributo de AutonomousAgent Processo e' uma instancia de DramaticActing Processo e' um agente de AutonomousAgent Processo e' uma instancia de LinguisticCommunication Processo e' um agente de AutonomousAgent Processo e' um sub-processo de Processo Processo AutonomousAgent Processo e' uma instancia de Visao AutonomousAgent e' um patient de Processo Processo e' um agente de AutonomousAgent Processo AutonomousAgent Processo e' uma instancia de Ouvir AutonomousAgent e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 1836-1842	Processo e' uma instancia de LinguisticCommunication Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Frase states AutonomousAgent and Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13152-13158	Processo e' uma instancia de LinguisticCommunication Entidade Processo define Entidade Entidade e' uma instancia de Expressao Linguistica Entidade e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1844-1851	states AutonomousAgent and Entidade vale durante Posicao Temporal Processo Processo e' uma instancia de LinguisticCommunication Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Posicao Temporal e' uma &parte de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29647-29655	Intervalo Temporal e' uma instancia de Elaborating Intervalo Temporal Intervalo TemporalP and Intervalo TemporalP Intervalo Temporal e' uma instancia de LinguisticCommunication Intervalo Temporal acontence antes de Intervalo Temporal Intervalo Temporal contem informacao Intervalo TemporalP Intervalo Temporal contem informacao Intervalo TemporalP Intervalo TemporalP subsume o conteudo de Intervalo TemporalP
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29698-29710	Processo e' uma instancia de Prompting Entidade Agente Cognitivo Processo termina em Entidade Processo e' um agente de Agente Cognitivo Agente Cognitivo deseja Entidade Entidade e' uma instancia de LinguisticCommunication Entidade e' um agente de Entidade Processo acontence antes de Entidade Entidade subsume o conteudo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29664-29672	Intervalo Temporal e' uma instancia de Restating Intervalo Temporal Intervalo TemporalP and Intervalo TemporalP Intervalo Temporal e' uma instancia de LinguisticCommunication Intervalo Temporal acontence antes de Intervalo Temporal Intervalo Temporal contem informacao Intervalo TemporalP Intervalo Temporal contem informacao Intervalo TemporalP Intervalo TemporalP e' equivalente a Intervalo TemporalP

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