jiang4 wen1 (Cooling)

Any Decreasing Process where the PhysicalQuantity decreased is a TemperatureMeasure.

Ontology

SUMO / PROCESSES

Superclass(es)

shi2 ti3

wu4 zhi4 de5

li4 cheng2

na4 zai4 gai3 bian4

liang4 bian4

jian3 shao3

jiang4 wen1

Related WordNet synsets

cooling, chilling, temperature reduction: the process of becoming cooler; a falling temperature
cool, chill, cool down: loose heat; The air cooled considerably after the thunderstorm"
cool, chill, cool down: make cool or cooler; "Chill the food"

See more related synsets on a separate page.

Axioms (4)

jia1 wen1 wu2 jiao1 ji2 yu1 jiang4 wen1.

(disjoint Heating Cooling)

If cool shi4 jiang4 wen1 de5 shi2 li4 and obj shi4 cool de5 shou4 shi4 zhe3, then there exist wen1 du4 dan1 wei4 unit,quant1,quant2 so_that_not "obj unit(s)" deng3 yu1 quant1 ""cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and "obj unit(s)" deng3 yu1 quant2 ""cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "cool cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4 and quant2 xiao3 yu1 quant1.

(=>
      (and
            (instance ?COOL Cooling)
            (patient ?COOL ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (instance ?UNIT TemperatureMeasure)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COOL))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COOL))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (lessThan ?QUANT2 ?QUANT1))))

If cond shi4 ning2 jie2 de5 shi2 li4, then there exists jiang4 wen1 cool so_that_not cool shi4 cond de5 ci4 li4 cheng2.

(=>
      (instance ?COND Condensing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?COND))))

If freeze shi4 ning2 gu4 de5 shi2 li4, then there exists jiang4 wen1 cool so_that_not cool shi4 freeze de5 ci4 li4 cheng2.

(=>
      (instance ?FREEZE Freezing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?FREEZE))))