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

Decreasing comparison table
Subject have relatedInternalConcept is a kind of have axiom
Process Physical
(=>
    (instance ?PROCESS Process)
    (exists (?CAUSE)
       (effector ?PROCESS ?CAUSE)))
DecreasingRemovingProcess
(=>
    (and
       (instance ?DECREASE Decreasing)
       (patient ?DECREASE ?OBJ))
    (exists (?UNIT ?QUANT1 ?QUANT2)
    	(and
          (holdsDuring (ImmediatePastFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1))
 	   (holdsDuring (ImmediateFutureFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2))
 	   (lessThan ?QUANT2 ?QUANT1))))

Next Process: Destruction    Up: Process    Previous Process: Damaging