SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > BiologicalProperty > AnimacyProperty > Living
Next AnimacyPropertyDead    UpAnimacyProperty

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 AnimacyPropertyDead    UpAnimacyProperty