死亡 (Death)

The Process of dying.

Ontology

SUMO / PROCESSES

Superclass(es)

實體

物質的

歷程

內在改變

生物歷程

生理歷程

生物體歷程

死亡

Coordinate term(s)

誕生呼吸消化生長攝食複製

Related WordNet synsets

passing, loss, departure, exit, expiration, going, release: euphemistic expressions for death; "thousands mourned his passing"
death, decease: the event of dying or departure from life: "her death came as a terrible shock"; "upon your decease the capital will pass to your grandchildren"
death: the permanent end of all life functions in an organism or part of an organism; "the animal died a painful death"
death, last: the end of life; continuing until dead; "he bled to death"; "a struggle to the last"
dying(a): in or associated with the process of passing from life or ceasing to be; "a dying man"; "his dying wish"; "a dying fire"; "a dying civilization"
mortuary: of or relating to or characteristic of death
deathly: in the manner of death; "he was deathly pale"
deadly: as if produced by death; "deadly pale"; "a deadly paralyitc stroke"
deadly, lifelessly: as if dead

See more related synsets on a separate page.

Axioms (3)

If birth 是誕生的實例 and agent (沒) 體驗not(s) birth, then there exists 死亡 death so that agent (沒) 體驗not(s) death.

(=>
      (and
            (instance ?BIRTH Birth)
            (experiencer ?BIRTH ?AGENT))
      (exists
            (?DEATH)
            (and
                  (instance ?DEATH Death)
                  (experiencer ?DEATH ?AGENT))))

If death 是死亡的實例 and agent (沒) 體驗not(s) death, then 死是 agent 的屬性 ""death 存在的時間" 之後"a(之中) "death 存在的時間" 之後.

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

If death 是死亡的實例 and birth 是誕生的實例 and agent (沒) 體驗not(s) death and agent (沒) 體驗not(s) birth, then there exists time so that "birth 存在的時間" (沒) 相接s time and time (沒) 相接s "death 存在的時間" and 活的是 agent 的屬性 timea(之中) time.

(=>
      (and
            (instance ?DEATH Death)
            (instance ?BIRTH Birth)
            (experiencer ?DEATH ?AGENT)
            (experiencer ?BIRTH ?AGENT))
      (exists
            (?TIME)
            (and
                  (meetsTemporally
                        (WhenFn ?BIRTH)
                        ?TIME)
                  (meetsTemporally
                        ?TIME
                        (WhenFn ?DEATH))
                  (holdsDuring
                        ?TIME
                        (attribute ?AGENT Living)))))