SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > BiologicalProperty > AnimacyProperty > Living
Next AnimacyProperty: Dead    Up: AnimacyProperty

Living
subjectfact 
Livingdocumentation This Attribute applies to Organisms that are alive2001-11-30 13:34:36.0
has axiom 
(=>
    (and
       (birthTime ?ORGANISM ?TIME1)
       (deathTime ?ORGANISM ?TIME2)
       (instance ?TIME1 TimePoint)
       (instance ?TIME2 TimePoint))
    (exists (?INTERVAL)
       (and
          (equal (BeginFn ?INTERVAL) ?TIME1)
          (equal (EndFn ?INTERVAL) ?TIME2)
          (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (and
       (birthTime ?ORGANISM ?TIME1)
       (deathTime ?ORGANISM ?TIME2)
       (instance ?TIME1 TimeInterval)
       (instance ?TIME2 TimeInterval))
    (exists (?INTERVAL)
       (and
          (starts ?TIME1 ?INTERVAL)
          (finishes ?TIME2 ?INTERVAL)
          (holdsDuring ?INTERVAL (attribute ?ORGANISM Living)))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (and
       (instance ?KILL Killing)
       (patient ?KILL ?PATIENT))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living))
       (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (and
       (instance ?ORGANISM Organism)
       (agent ?PROCESS ?ORGANISM))
    (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))
2001-11-30 13:34:37.0
has axiom 
(=>
    (birthTime ?ORGANISM ?TIME)
    (holdsDuring (ImmediateFutureFn ?TIME) (attribute ?ORGANISM Living)))
2001-11-30 13:34:37.0
has axiom 
(=>
    (instance ?PROPERTY ConsciousnessProperty)
    (=>
       (holdsDuring ?TIME (attribute ?ORGANISM ?PROPERTY))
       (holdsDuring ?TIME (attribute ?ORGANISM Living))))
2001-11-30 13:34:37.0
is an instance of AnimacyProperty2001-11-30 13:34:37.0
Attributeis disjoint from Quantity2001-11-30 13:33:40.0
is first domain of contraryProperty2001-11-30 13:33:40.0
is first domain of ExtensionFn2001-11-30 13:33:40.0
is first domain of subAttribute2001-11-30 13:33:40.0
is first domain of successorAttribute2001-11-30 13:33:40.0
is first domain of successorAttributeClosure2001-11-30 13:33:40.0
is second domain of attribute2001-11-30 13:33:40.0
is second domain of contraryProperty2001-11-30 13:33:40.0
is second domain of manner2001-11-30 13:33:40.0
is second domain of property2001-11-30 13:33:40.0
is second domain of subAttribute2001-11-30 13:33:40.0
is second domain of successorAttribute2001-11-30 13:33:40.0
is second domain of successorAttributeClosure2001-11-30 13:33:40.0

Next AnimacyProperty: Dead    Up: AnimacyProperty