living (Living)

This Attribute applies to Organisms that are alive.

Ontology

SUMO / QUALITIES

Class(es)

AttributoVitale

living

Coordinate term(s)

dead

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)

Se death é un' istanza di Morte e birth é un' istanza di Nascita e agent esperisces death e agent esperisces birth, allora esiste time tale che "il tempo di esistenza di birth" incontras time e time incontras "il tempo di esistenza di death" e "living is an attribute of agent" vales durante 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)))))

Se kill é un' istanza di Uccidere e patient é un paziente di kill, allora "living is an attribute of patient" vales durante "immediatamente prima di "il tempo di esistenza di kill"" e "dead is an attribute of patient" vales durante "dopo "il tempo di esistenza di 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(AttributoVitale,living,dead) vale.

(exhaustiveAttribute AnimacyAttribute Living Dead)

Se organism é un' istanza di Organismo e process é un agente di organism, allora "living is an attribute of organism" vales durante "il tempo di esistenza di process".

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

dead é opposto a living.

(contraryAttribute Dead Living)

se attr é un' istanza di AttributoPsicologico,
allora se "attr is an attribute of organism" vales durante time, allora "living is an attribute of organism" vales durante time

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

agent é un' istanza di AgenteSensibile e living is an attribute of agent se e solo se esiste AttributoDiCoscienza attr tale che attr is an attribute of agent.

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