TreeView Knowledge Base Browser - Death

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Death

Death(Morte)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2905-2905
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10208-10208
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1654-1654
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6348-6348
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6349-6349
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6350-6350
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6351-6351
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5949-5949
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10206-10206	Morte e' uma sub-classe de Processo Organico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6300-6300	Asphyxiation e' uma sub-classe de Morte
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6316-6316	Bleedout e' uma sub-classe de Morte
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1077-1077
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1365-1365
No TPTP formula. May not be expressible in strict first order.	french_format.kif 755-755
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 287-287
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 290-290
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2439-2439
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 707-707
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 292-292
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 326-326
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 776-776
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 291-291

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processo e' uma instancia de Bleeding Entidade e' uma instancia de Morte Formula e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo Formula e' Near em relacao a AutonomousAgent o argumento Processo causa Entidade tem a forca modal de Likely Entidade Entidade e' uma instancia de Colar Entidade e' um agente de Formula Entidade termina em AutonomousAgent e' obrigado a executar tarefas de tipo Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Organismo AutonomousAgent experimenta Processo Entidade Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto Organico Dead e' um atributo de Entidade vale durante apos tempo de existencia de Processo Entidade e' uma &parte de Entidade vale durante imediatemente apos tempo de existencia de Processo Entidade e' uma &parte de AutonomousAgent vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	Processo e' uma instancia de Morte Entidade e' uma instancia de OrganismRemains AutonomousAgent e' uma instancia de Organismo Entidade e' uma &parte de Entidade vale durante Intervalo Temporal Entidade e' uma &parte de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal AutonomousAgent experimenta Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	Processo e' uma instancia de Morte Entidade e' uma instancia de OrganismRemains AutonomousAgent e' uma instancia de Organismo Entidade e' uma &parte de Entidade vale durante Intervalo Temporal Entidade e' uma &parte de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Entidade e' o resultado de Processo AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 121-127	Entidade e' uma instancia de DeadFn Objeto Organico Processo e' uma instancia de Morte Entidade e' o resultado de Processo AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Objeto Organico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	Entidade e' uma instancia de Objeto Organico Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Organismo AutonomousAgent experimenta Processo Entidade e' o resultado de Processo Entidade e' uma instancia de OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	Entidade e' uma instancia de OrganismRemains Processo e' uma instancia de Morte AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de AutonomousAgentTYPE AutonomousAgentTYPE e' uma sub-classe de Objeto Organico Entidade e' o resultado de Processo Entidade e' uma instancia de DeadFn AutonomousAgentTYPE
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	ContentBearingPhysical e' uma instancia de DeathCertificate Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo containsFormula ContentBearingPhysical and ProcessoAY Entidade, Entidade and EntidadeROC deathdate AutonomousAgent and ProcessoAY ProcessoAY e' uma instancia de Dia deathplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name EntidadeROC causa Processo EntidadeROC e' uma instancia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	Processo e' uma instancia de Anaphylaxis AutonomousAgent experimenta Processo o argumento Entidade Entidade e' uma instancia de Morte AutonomousAgent experimenta Entidade Processo causa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18679-18695	Transferencia e' uma instancia de Bequeathing Transferencia e' um agente de AutonomousAgent Transferencia termina em Entidade objectTransferred Transferencia and AutonomousAgentROP Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de tempo de existencia de Transferencia AutonomousAgent possui AutonomousAgentROP vale durante imediatemente antes de tempo de existencia de Processo confersNorm AutonomousAgent, Entidade possui AutonomousAgentROP and Permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10197-10204	Processo e' uma instancia de Nascimento AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1029-1033	Atributo e' uma instancia de LifeThreateningDisease Atributo e' um atributo de Objeto Objeto e' capaz de fazer Morte no role experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18621-18639	Processo e' uma instancia de Inheriting Processo e' um agente de Agente Cognitivo Processo tem como origem AutonomousAgent Entidade e' um patient de Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo AutonomousAgent possui Entidade vale durante imediatemente antes de tempo de existencia de Processo AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo possui Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12313-12321	Processo e' uma instancia de Matar AutonomousAgent e' um patient de Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	Intervalo Temporal e' uma instancia de TimePeriod a duracao de Intervalo Temporal e' Numero Real MinuteDuration(s) Numero Real e' maior que 5.0 Entidade e' uma instancia de Humano Processo Processo e' uma instancia de Respirar tempo de existencia de Processo acontece durante Intervalo Temporal Entidade e' um patient de Processo o argumento Entidade Entidade e' uma instancia de Morte Entidade experimenta Entidade Intervalo Temporal encontra tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24284-24290	deathdate Humano and Dia Processo Processo e' uma instancia de Morte Humano experimenta Processo a data de Processo e' Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24300-24306	deathplace Animal and Objeto Processo Processo e' uma instancia de Morte Animal experimenta Processo eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	diseaseMortality Doenca ou Sindrome and Numero Real a probabilidade de Entidade Entidade e' uma instancia de Organismo Doenca ou Sindrome e' um atributo de Entidade sabendo que Entidade Entidade e' uma instancia de Morte Entidade experimenta Entidade vale e' Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20568-20578	Entidade e' uma instancia de IntensiveCareUnit stays Entidade and Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de Morte tempo de existencia de Entidade termina em Posicao Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16007-16012	Entidade e' uma instancia de Funeral Entidade Entidade e' uma instancia de Morte Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 67-72	Entidade e' uma instancia de OrganismRemains Processo Processo e' uma instancia de Morte Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 270-278	Fisico e' uma instancia de DeathCertificate Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Morte Entidade e' uma instancia de Humano Entidade experimenta Entidade Fisico define 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