decreasing (Decreasing)

Any QuantityChange where the PhysicalQuantity is decreased.

Ontology

SUMO / PROCESSES

Superclass(es)

entity

physical

process

internal change

quantity change

decreasing

Subclass(es)

cooling

Coordinate term(s)

increasing

Related WordNet synsets

decrease, diminution, reduction, step-down: the act of decreasing or reducing something
lowering: the act of causing to become less
shrinking: the act of becoming less
decrease, decrement: a process of becoming smaller
decrease, diminish, lessen, fall: decrease in size, extent, or range; "The amount of homework decreased towards the end of the semester"; "The cabin pressure fell dramatically"; "her weight fall to under a hundred pounds"; "his voice fell to a whisper"
decrease, lessen, minify: make smaller; "He decreased his staff"
decreased, reduced: made less in size or amount or degree
decreasing: becoming less or smaller

See more related synsets on a separate page.

Axioms (3)

quantity change is exhaustively partitioned into increasing,decreasing.

(partition QuantityChange Increasing Decreasing)

decreasing is internally related to removing.

(relatedInternalConcept Decreasing Removing)

If decrease is an instance of decreasing and obj is a patient of decrease, then there exist unit,quant1,quant2 so that "obj unit(s)" is equal to quant1 immediately before "the time of existence of decrease" and "obj unit(s)" is equal to quant2 immediately after "the time of existence of decrease" and quant2 is less than quant1.

(=>
      (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))))