increasing (Increasing)

Any QuantityChange where the PhysicalQuantity is increased.

Ontology

SUMO / PROCESSES

Superclass(es)

entity

physical

process

internal change

quantity change

increasing

Subclass(es)

heating

Coordinate term(s)

decreasing

Related WordNet synsets

increase, step-up: the act of increasing something; "he gave me an increase in salary"
augmentation: the act of augmenting
increase, increment, growth: a process of becoming larger; "the increase in unemployment"; "the growth of population"
increased: made greater in size or amount or degree
increasing: becoming greater or larger; "increasing prices"
increasingly, progressively, more and more: advancing in amount or intensity; "she became increasingly depressed"

See more related synsets on a separate page.

Axioms (3)

quantity change is exhaustively partitioned into increasing,decreasing.

(partition QuantityChange Increasing Decreasing)

increasing is internally related to putting.

(relatedInternalConcept Increasing Putting)

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

(=>
      (and
            (instance ?INCREASE Increasing)
            (patient ?INCREASE ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?INCREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?INCREASE))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (greaterThan ?QUANT2 ?QUANT1))))