Dead - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute Dead Living)	Merge.kif 18265-18265	Dead is the opposite of living
(documentation Dead ChineseLanguage "这是指失去生命的 Organism 的 Attribute。")	chinese_format.kif 4016-4016	Dead is the opposite of living
(documentation Dead EnglishLanguage "This Attribute applies to Organisms that are not alive.")	Merge.kif 18266-18267	Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/6/65/ Dead_bronze_dove.jpg")	pictureList.kif 3062-3062	Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/7/72/ Dead_squirrel.jpg")	pictureList.kif 2944-2944	Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Hans_Holbein-_The_Body_of_the_Dead_Christ_in_the_Tomb.JPG")	pictureList.kif 3061-3061	Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Ab_bird_022.jpg")	pictureList.kif 3063-3063	Dead is the opposite of living
(externalImage Dead "http://upload.wikimedia.org/wikipedia/commons/e/e1/ Michelangelo_Caravaggio_052.jpg")	pictureList.kif 3060-3060	Dead is the opposite of living
(instance Dead AnimacyAttribute)	Merge.kif 18263-18263	Dead is an instance of animacy attribute
(subAttribute Dead Unconscious)	Merge.kif 18264-18264	Dead is a subattribute of unconscious

appearance as argument number 2

(termFormat ChineseLanguage Dead "死")	domainEnglishFormat.kif 18747-18747
(termFormat ChineseTraditionalLanguage Dead "死")	domainEnglishFormat.kif 18746-18746
(termFormat EnglishLanguage Dead "dead")	domainEnglishFormat.kif 18745-18745

appearance as argument number 3

(exhaustiveAttribute AnimacyAttribute Living Dead)

Merge.kif 18250-18250

Living are all the attributes of animacy attribute

antecedent

(=>
    (and
        (holdsDuring ?T
            (desires ?M
                (attribute ?V Dead)))
        (instance ?MURDER Murder)
        (agent ?MURDER ?M)
        (patient ?MURDER ?V)
        (earlier ?T
            (WhenFn ?MURDER)))
    (attribute ?MURDER Premeditated))

Law.kif 486-495

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

(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG))))))	Merge.kif 10347-10362	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another 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 the other 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
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))	Merge.kif 12440-12446	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
(=> (and (instance ?X SuicideBombing) (agent ?X ?P)) (believes ?P (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?P Dead))))	Mid-level-ontology.kif 23771-23779	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
(=> (holdsDuring ?NOW (attribute ?P Widowed)) (and (exists (?BEFORE ?SPOUSE) (and (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (spouse ?SPOUSE ?P)) (holdsDuring ?NOW (attribute ?SPOUSE Dead)))) (not (exists (?OTHER) (holdsDuring ?NOW (spouse ?OTHER ?P))))))	Mid-level-ontology.kif 23967-23981	If widowed woman 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
(=> (holdsDuring ?T (attribute ?P BereavedFather)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (father ?P ?C)) (holdsDuring ?T (attribute ?C Dead)))))	ArabicCulture.kif 792-798	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
(=> (holdsDuring ?T (attribute ?P BereavedMother)) (exists (?BEFORE ?C) (and (earlier ?BEFORE ?T) (holdsDuring ?BEFORE (mother ?P ?C)) (holdsDuring ?T (attribute ?C Dead)))))	ArabicCulture.kif 806-812	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
(=> (instance ?T Tomb) (hasPurpose ?T (exists (?P) (and (attribute ?P Dead) (contains ?T ?P)))))	Mid-level-ontology.kif 8026-8032	If a physical is an instance of tomb, then the physical has the purpose there exists an entity such that dead is an attribute of the entity and the physical contains the entity
(=> (instance ?X OrganismRemains) (holdsDuring (WhenFn ?X) (attribute ?X Dead)))	Mid-level-ontology.kif 41-43	If a physical is an instance of organism remains, then dead is an attribute of the physical holds during the time of existence of the physical
(=> (instance ?X SuicideBombing) (exists (?A) (and (agent ?X ?A) (holdsDuring (FutureFn (WhenFn ?X)) (attribute ?A Dead)))))	Mid-level-ontology.kif 23761-23769	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: