Dead - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18172-18172	Dead e' &o oposto de Living
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4016-4016
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18173-18174
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3063-3063
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2945-2945
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3062-3062
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3064-3064
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3061-3061
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18170-18170	Dead e' uma instancia de Atributo de Animacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18171-18171	Dead e' um sub-atributo de Inconsciente

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18732-18732
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18731-18731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18730-18730

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 18157-18157

exhaustiveAttribute Atributo de Animacao, Living and Dead

antecedent

No TPTP formula. May not be expressible in strict first order.

Law.kif 480-489

AutonomousAgent deseja Dead e' um atributo de Entidade vale durante Intervalo Temporal AutonomousAgentURDER e' uma instancia de Murder AutonomousAgentURDER e' um agente de AutonomousAgent Entidade e' um patient de AutonomousAgentURDER Intervalo Temporal acontence antes de tempo de existencia de AutonomousAgentURDER
Premeditated e' um atributo de AutonomousAgentURDER

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10258-10273	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.	Merge.kif 12351-12357	Processo e' uma instancia de Matar Entidade e' um patient de Processo Living e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Dead e' um atributo de Entidade vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22163-22171	Processo e' uma instancia de SuicideBombing Processo e' um agente de Agente Cognitivo Agente Cognitivo acredita que Dead e' um atributo de Agente Cognitivo vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22359-22373	Widowed e' um atributo de Entidade vale durante Intervalo Temporal Intervalo Temporal Entidade Intervalo Temporal acontence antes de Intervalo Temporal spouse Entidade and Entidade vale durante Intervalo Temporal Dead e' um atributo de Entidade vale durante Intervalo Temporal Entidade spouse Entidade and Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 760-766	BereavedFather e' um atributo de Entidade vale durante Intervalo Temporal Intervalo Temporal Entidade Intervalo Temporal acontence antes de Intervalo Temporal Entidade e' o pai de Entidade vale durante Intervalo Temporal Dead e' um atributo de Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 774-780	BereavedMother e' um atributo de Entidade vale durante Intervalo Temporal Intervalo Temporal Entidade Intervalo Temporal acontence antes de Intervalo Temporal Entidade e' a mae de Entidade vale durante Intervalo Temporal Dead e' um atributo de Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6873-6879	Fisico e' uma instancia de Tomb Fisico tem por fim Entidade Dead e' um atributo de Entidade Fisico contem Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 41-43	Fisico e' uma instancia de OrganismRemains Dead e' um atributo de Fisico vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22153-22161	Processo e' uma instancia de SuicideBombing AutonomousAgent Processo e' um agente de AutonomousAgent Dead e' um atributo de AutonomousAgent vale durante apos tempo de existencia de Processo

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: