SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Destruction
Next Process: Detaching    Up: Process    Previous Process: Decreasing   

Destruction comparison table
Subject documentation is a kind of be second domain of be first domain of have axiom
KillingThe subclass of Destruction in which the death of an Organism is caused by an Organism. Note that in cases of suicide the Organism would be the same in both casesDestructionsubProcesssubProcess
(=>
    (and
       (instance ?KILL Killing)
       (patient ?KILL ?PATIENT))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living))
       (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))

Next Process: Detaching    Up: Process    Previous Process: Decreasing