dead (Dead)

This Attribute applies to Organisms that are not alive.

Ontology

SUMO / QUALITIES

Class(es)

animacy attribute

dead

Coordinate term(s)

living

Related WordNet synsets

dead animal: an animal that is no longer alive
inanimateness, lifelessness: not having life
deadness: the inanimate property of something that has died
insentience: lacking consciousness or ability to perceive sensations
rest, eternal rest, sleep, eternal sleep, quietus: euphemisms for death (based on an analogy between lying in a bed and in a tomb); "she was laid to rest beside her husband"; "they had to put their family pet to sleep"
death: the absence of life or state of being dead; "he seemed more content in death than he had ever been in life"
asleep(p), at peace(p), at rest(p), deceased, departed, gone: (euphemistic) "he is deceased"; "our dear departed friend"
dead: no longer having or seeming to have or expecting to have life; "the nerve is dead"; "a dead pallor"; "he was marked as a dead man by the assassin"
lifeless, exanimate: deprived of life; no longer living; "a lifeless body"
asleep: in the sleep of death

See more related synsets on a separate page.

Axioms (4)

If death is an instance of death and agent experiences death, then dead is an attribute of agent after "the time of existence of death".

(=>
      (and
            (instance ?DEATH Death)
            (experiencer ?DEATH ?AGENT))
      (holdsDuring
            (FutureFn
                  (WhenFn ?DEATH))
            (attribute ?AGENT Dead)))

If kill is an instance of killing and patient is a patient of kill, then living is an attribute of patient immediately before "the time of existence of kill" and dead is an attribute of patient after "the time of existence of kill".

(=>
      (and
            (instance ?KILL Killing)
            (patient ?KILL ?PATIENT))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Living))
            (holdsDuring
                  (FutureFn
                        (WhenFn ?KILL))
                  (attribute ?PATIENT Dead))))

exhaustive attribute(animacy attribute,living,dead) holds.

(exhaustiveAttribute AnimacyAttribute Living Dead)

dead is opposed to living.

(contraryAttribute Dead Living)