TreeView Knowledge Base Browser - involvedInEvent

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

involvedInEvent

Sigma KEE - involvedInEvent

involvedInEvent

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1863-1864
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2409-2410
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 486-487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2414-2414	O argumento numero 1 de involvedInEvent e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2415-2415	O argumento numero 2 de involvedInEvent e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2413-2413	involvedInEvent e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2412-2412	involvedInEvent e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1389-1389
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1388-1388
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1387-1387
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2435-2435	agent e' uma sub-relacao de involvedInEvent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2446-2446	destination e' uma sub-relacao de involvedInEvent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16962-16962	direction e' uma sub-relacao de involvedInEvent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4117-4117	eventPartlyLocated e' uma sub-relacao de involvedInEvent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2460-2460	experiencer e' uma sub-relacao de involvedInEvent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11009-11009	moves e' uma sub-relacao de involvedInEvent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2484-2484	origin e' uma sub-relacao de involvedInEvent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2497-2497	patient e' uma sub-relacao de involvedInEvent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30901-30901
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30900-30900
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30899-30899

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 119-121	Relacao e' uma sub-relacao de involvedInEvent Relacao e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3517-3529	Processo e' uma instancia de Epidemic involvedInEvent Processo and AutonomousAgent Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de AutonomousAgent Processo Processo e' uma instancia de Processo Patologico AutonomousAgent experimenta Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9773-9794	Transferencia e' uma instancia de Ingerir AutonomousAgent experimenta Transferencia objectTransferred Transferencia and Objeto Objeto e' uma instancia de MoodStabilizer Processo e' uma instancia de ProcessoC involvedInEvent Processo and AutonomousAgent ProcessoS e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo ProcessoS e' uma instancia de Estado Emocional Processo2 e' uma instancia de ProcessoC involvedInEvent Processo2 and AutonomousAgent tempo de existencia de Processo2 acontence antes de tempo de existencia de Transferencia o argumento ProcessoS e' um atributo de AutonomousAgent vale durante Processo2 tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7939-7946	Processo e' uma instancia de LargeGroupProcess Colecao e' uma instancia de Colecao Fisico e' membro de Colecao involvedInEvent Processo and Fisico memberCount Colecao and Numero Inteiro Numero Inteiro e' maior que 10
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7948-7957	Processo e' uma instancia de LargeGroupProcess Colecao e' uma instancia de Colecao Fisico e' membro de Colecao involvedInEvent Processo and Fisico Classe ClasseC ClasseC e' uma instancia de Classe involvedInEvent ClasseC and Fisico

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30211-30224	Alone e' um atributo de Entidade vale durante Intervalo Temporal Entidade2 Processo Entidade e' igual a Entidade2 Entidade2 e' uma instancia de AutonomousAgent Processo e' uma instancia de Interacao Social tempo de existencia de Processo acontece durante Intervalo Temporal involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7948-7957	Processo e' uma instancia de LargeGroupProcess Colecao e' uma instancia de Colecao Fisico e' membro de Colecao involvedInEvent Processo and Fisico Classe ClasseC ClasseC e' uma instancia de Classe involvedInEvent ClasseC and Fisico
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5747-5767	MeanOfProduction e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Fazer involvedInEvent Entidade and Objeto Objeto e' o resultado de Entidade Entidade e' uma instancia de Artefato Entidade e' o resultado de Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade Entidade e' uma instancia de CommercialService involvedInEvent Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18407-18414	Organizacao e' igual a DepartmentOfPreventingFn Organizacao and Fisico Organizacao nao deseja %n Entidade Entidade e' uma instancia de Fisico involvedInEvent Entidade and Organizacao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5876-5885	hazardous Fisico and Objeto o argumento Entidade Entidade e' uma instancia de Causar Dano Objeto e' um patient de Entidade involvedInEvent Entidade and Fisico Fisico causa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9746-9754	PostTraumaticStressDisorder e' um atributo de Entidade vale durante Intervalo Temporal Processo Processo e' uma instancia de ViolentContest tempo de existencia de Processo acontence antes de Intervalo Temporal involvedInEvent Processo and Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3537-3561	Processo e' uma instancia de Pandemic Entidade Entidade, Entidade, Entidade, Entidade and Entidade involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade Entidade e' igual a Entidade Entidade e' uma instancia de Nacao Entidade e' uma instancia de Nacao Entidade e' igual a Entidade Entidade e' uma instancia de Continente Entidade e' uma instancia de Continente Entidade e' igual a Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13026-13035	Processo e' uma instancia de Interacao Social Entidade Entidade involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade Entidade e' uma instancia de AutonomousAgent Entidade e' uma instancia de AutonomousAgent Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5893-5903	Entidade e' uma instancia de Parasite o argumento Entidade EntidadeROC Entidade e' situado em Entidade involvedInEvent EntidadeROC and Entidade involvedInEvent EntidadeROC and Entidade benefits EntidadeROC and Entidade suffers EntidadeROC and Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2427-2429	Relacao e' uma instancia de Role em Caso Relacao e' uma sub-relacao de involvedInEvent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30195-30206	Processo e' feito de forma Solely Entidade involvedInEvent Processo and Entidade Entidade e' uma instancia de AutonomousAgent Entidade2 involvedInEvent Processo and Entidade2 Entidade2 e' uma instancia de AutonomousAgent Entidade e' igual a Entidade2

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