dead (Dead)

This Attribute applies to Organisms that are not alive.

Ontologie

SUMO / QUALITIES

Class(es)

attribut života

dead

Související termín(y)

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.

Axiomy (4)

Jestliže death je instancí třídy smrt a agent prodělává death, potom dead je atributem agent po doba existence death.

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

Jestliže kill je instancí třídy zabití a patient je účastníkem kill, potom living je atributem patient právě před doba existence kill a dead je atributem patient po doba existence 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(attribut života,living,dead) platí.

(exhaustiveAttribute AnimacyAttribute Living Dead)

contrary attribute(dead,living) platí.

(contraryAttribute Dead Living)