活的 (Living)

This Attribute applies to Organisms that are alive.

Ontology

SUMO / QUALITIES

Class(es)

有生屬性

活的

Coordinate term(s)

死

Related WordNet synsets

life: the organic phenomenon that distinguishes living organisms from nonliving ones; "there is no life on the moon"
animation, life, living, aliveness: the condition of living or the state of being alive; "while there's life there's hope"; "life depends on many chemical and physical processes"
be, live: have life, be alive; "Our great leader is no more"
alive(p): possessing life; "the happiest person alive"; "the nerve is alive"; "doctors are working hard to keep him alive"; "burned alive"
live, living: having life; "a live canary"; "hit a live nerve"; "famous living painters"; "living tissue"; "living plants and animals"
living: pertaining to living persons; "within living memory"

See more related synsets on a separate page.

Axioms (7)

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)))))

If kill 是殺害的實例 and patient 是 kill 的受事者, then 活的是 patient 的屬性 ""kill 存在的時間" 不久之前"a(之中) "kill 存在的時間" 不久之前 and 死是 patient 的屬性 ""kill 存在的時間" 之後"a(之中) "kill 存在的時間" 之後.

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

窮盡的屬性.

(exhaustiveAttribute AnimacyAttribute Living Dead)

If organism 是生物體的實例 and process 是 organism 的施事者, then 活的是 organism 的屬性 "process 存在的時間"a(之中) process 存在的時間.

(=>
      (and
            (instance ?ORGANISM Organism)
            (agent ?PROCESS ?ORGANISM))
      (holdsDuring
            (WhenFn ?PROCESS)
            (attribute ?ORGANISM Living)))

死對立於活的.

(contraryAttribute Dead Living)

if attr 是心理屬性的實例,
then if attr 是 organism 的屬性 timea(之中) time, then 活的是 organism 的屬性 timea(之中) time

(=>
      (instance ?ATTR PsychologicalAttribute)
      (=>
            (holdsDuring
                  ?TIME
                  (attribute ?ORGANISM ?ATTR))
            (holdsDuring
                  ?TIME
                  (attribute ?ORGANISM Living))))

agent 是能知覺的行為主體的實例 and 活的是 agent 的屬性 if and only if there exists 意識屬性 attr so that attr 是 agent 的屬性.

(<=>
      (and
            (instance ?AGENT SentientAgent)
            (attribute ?AGENT Living))
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR ConsciousnessAttribute)
                  (attribute ?AGENT ?ATTR))))