Dead - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 22875-22875	Dead is the opposite of living
No TPTP formula. May not be expressible in strict first order.	Merge.kif 22878-22878
No TPTP formula. May not be expressible in strict first order.	Merge.kif 22876-22877
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3064-3064	"http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg" is a URL depicting dead
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2946-2946	"http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg" is a URL depicting dead
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3063-3063	"http://upload.wikimedia.org/wikipedia/commons/b/b4/ Hans_Holbein-_The_Body_of_the_Dead_Christ_in_the_Tomb.JPG" is a URL depicting dead
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3065-3065	"http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg" is a URL depicting dead
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3062-3062	"http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg" is a URL depicting dead
No TPTP formula. May not be expressible in strict first order.	Merge.kif 22873-22873	Dead is an instance of animacy attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 22874-22874	Dead is a subattribute of unconscious

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18661-18661	"死" is the printable form of dead in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18660-18660	"死" is the printable form of dead in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18659-18659	"dead" is the printable form of dead in english language

appearance as argument number 3

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

Merge.kif 22857-22857

Living are all the attributes of animacy attribute

antecedent

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

Law.kif 520-529

If an agent desires dead is an attribute of an entity holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the entity is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER,
then premeditated is an attribute of the agentURDER

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14122-14137	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exists an entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if another entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16609-16615	If a process is an instance of killing and an entity is a patient of the process, then living is an attribute of the entity holds during the beginning of the time of existence of the process and dead is an attribute of the entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19901-19909	If a process is an instance of suicide bombing and a cognitive agent is an agent of the process, then the cognitive agent believes dead is an attribute of the cognitive agent holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20136-20150	If widowed is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other time interval happens earlier than the time interval and the other entity is the spouse of the entity holds during the other time interval and dead is an attribute of the other entity holds during the time interval and there doesn't exist a third entity such that the third entity is the spouse of the entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 745-751	If bereaved father is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other time interval happens earlier than the time interval and the other entity is a father of the entity holds during the other time interval and dead is an attribute of the other entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 759-765	If bereaved mother is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other time interval happens earlier than the time interval and the other entity is a mother of the entity holds during the other time interval and dead is an attribute of the other entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6506-6512	If a physical is an instance of tomb, then the physical purpose there exists an entity such that dead is an attribute of the entity and the physical は the entity を contains %n{ない}
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 153-155	If a physical is an instance of OrganismRemains, then dead is an attribute of the physical holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19891-19899	If a process is an instance of suicide bombing, then there exists an agent such that the agent is an agent of the process and dead is an attribute of the agent holds during after the time of existence of the process

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: