jian3 shao3 (Decreasing)

Any QuantityChange where the PhysicalQuantity is decreased.

Ontology

SUMO / PROCESSES

Superclass(es)

shi2 ti3

wu4 zhi4 de5

li4 cheng2

na4 zai4 gai3 bian4

liang4 bian4

jian3 shao3

Subclass(es)

jiang4 wen1

Coordinate term(s)

zeng1 jia1

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)

liang4 bian4 wan2 quan2 fen1 ge1 cheng2 zeng1 jia1,jian3 shao3.

(partition QuantityChange Increasing Decreasing)

jian3 shao3 na4 bu4 xiang1 guan1 yu1 yi2 chu2.

(relatedInternalConcept Decreasing Removing)

If decrease shi4 jian3 shao3 de5 shi2 li4 and obj shi4 decrease de5 shou4 shi4 zhe3, then there exist unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "decrease cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 xiao3 yu1 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))))