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

Dead comparison table
Subject is an instance of documentation is a kind of have axiom have contraryProperty
AnimacyProperty Attributes that indicate whether an Organism is alive or notBiologicalProperty
(=>
     (and
         (attribute ?ORG ?ATT)
         (instance ?ATT BiologicalProperty))
     (instance ?ORG Organism))
 
DeadAnimacyPropertyThis Attribute applies to Organisms that are not alive 
(=>
    (deathTime ?ORGANISM ?TIME)
    (holdsDuring (FutureFn ?TIME) (attribute ?ORGANISM Dead)))
Living

Next AnimacyProperty: Living    Up: AnimacyProperty