SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > BiologicalProperty > AnimacyProperty
Next BiologicalProperty: ConsciousnessProperty    Up: BiologicalProperty    Previous BiologicalProperty: SexProperty   

AnimacyProperty comparison table
Subject documentation have axiom have contraryProperty
DeadThis Attribute applies to Organisms that are not alive
(=>
    (deathTime ?ORGANISM ?TIME)
    (holdsDuring (FutureFn ?TIME) (attribute ?ORGANISM Dead)))
Living
LivingThis Attribute applies to Organisms that are alive
(=>
    (instance ?PROPERTY ConsciousnessProperty)
    (=>
       (holdsDuring ?TIME (attribute ?ORGANISM ?PROPERTY))
       (holdsDuring ?TIME (attribute ?ORGANISM Living))))
 

Next BiologicalProperty: ConsciousnessProperty    Up: BiologicalProperty    Previous BiologicalProperty: SexProperty