ochlazování (Cooling)

Any Decreasing Process where the PhysicalQuantity decreased is a TemperatureMeasure.

Ontologie

SUMO / PROCESSES

Nadtřída(y)

entita

fyzický objekt

proces

interní změna

zněna parametru

snižování parametru

ochlazování

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.

Axiomy (4)

zahřívání je disjoint from ochlazování.

(disjoint Heating Cooling)

Jestliže cool je instancí třídy ochlazování a obj je účastníkem cool, potom existují jednotka teploty unit,quant1,quant2 tak, že "obj unit(s)" se rovná quant1 právě před doba existence cool a "obj unit(s)" se rovná quant2 právě po doba existence cool a quant2 je menší než 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))))

Jestliže cond je instancí třídy kondenzace, potom existuje ochlazování cool tak, že cool je a subprocess of cond.

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

Jestliže freeze je instancí třídy tuhnutí, potom existuje ochlazování cool tak, že cool je a subprocess of freeze.

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