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 13127-13128
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13126-13126	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 13221-13221	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 19703-19703	Debating e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13241-13241	Declarar e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13177-13177	Dirigir e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29655-29655	Elaborating e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13134-13134	ExpressingInLanguage e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19710-19710	Negotiating e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29669-29669	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 13138-13138	Declarar e' uma sub-classe de LinguisticCommunication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13172-13172	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 13130-13136	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 29659-29667	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 29710-29722	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 29676-29684	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