Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# increasing (Increasing)

Any QuantityChange where the PhysicalQuantity is increased.

SUMO / PROCESSES

## Superclass(es)

 entity

physical

process

internal change

quantity change

increasing

heating

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))))```