減少 (Decreasing)

Any QuantityChange where the PhysicalQuantity is decreased.

Ontology

SUMO / PROCESSES

Superclass(es)

實體

物質的

歷程

內在改變

量變

減少

Subclass(es)

降溫

Coordinate term(s)

增加

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)

量變完全分割成增加,減少.

(partition QuantityChange Increasing Decreasing)

減少內部相關於移除.

(relatedInternalConcept Decreasing Removing)

If decrease 是減少的實例 and obj 是 decrease 的受事者, then there exist unit,quant1,quant2 so that "obj unit(s)" 等於 quant1 ""decrease 存在的時間" 不久之前"a(之中) "decrease 存在的時間" 不久之前 and "obj unit(s)" 等於 quant2 ""decrease 存在的時間" 不久之後"a(之中) "decrease 存在的時間" 不久之後 and quant2 小於 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))))