SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Decreasing
Next ProcessDestruction    UpProcess    Previous ProcessDamaging   

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 ProcessDestruction    UpProcess    Previous ProcessDamaging