Zunehmen (Increasing)

Any QuantityChange where the PhysicalQuantity is increased.

Ontology

SUMO / PROCESSES

Superclass(es)

Wesen

körperlicher Gegenstand

Prozess

innere Änderung

Quantitätänderung

Zunehmen

Subclass(es)

Erhitzen

Coordinate term(s)

Abnehmen

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)

Quantitätänderung wird vollständig in Zunehmen,Abnehmen verteilt.

(partition QuantityChange Increasing Decreasing)

Zunehmen ist innerlich verwandt mit Setzen .

(relatedInternalConcept Increasing Putting)

Wenn increase ist ein fall von Zunehmen und obj ist ein patient von increase , dann es gibt ein unit,quant1,quant2 der ""obj unit(s)" ist gleich quant1 " hält während "direkt vor "die zeit des Bestehens von increase"" und ""obj unit(s)" ist gleich quant2 " hält während "sofort nach "die zeit des Bestehens von increase"" und quant2 ist grösserAls 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))))