zahřívání (Heating)

Any Increasing Process where the PhysicalQuantity increased is a TemperatureMeasure.

Ontologie

SUMO / PROCESSES

Nadtřída(y)

entita

fyzický objekt

proces

interní změna

zněna parametru

zvyšování parametru

zahřívání

Related WordNet synsets

heat, heat energy: a form of energy that is transferred by a difference in temperature
heating, warming: the process of becoming warmer; a rising temperature
thermal, thermic, caloric: relating to or associated with heat; "thermal movements of molecules"; "thermal capacity"; "thermic energy"; "the caloric effect of sunlight"

See more related synsets on a separate page.

Axiomy (5)

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

(disjoint Heating Cooling)

Jestliže heat je instancí třídy zahřívání a obj je účastníkem heat, potom existují jednotka teploty unit,quant1,quant2 tak, že "obj unit(s)" se rovná quant1 právě před doba existence heat a "obj unit(s)" se rovná quant2 právě po doba existence heat a quant2 je větší než quant1.

(=>
      (and
            (instance ?HEAT Heating)
            (patient ?HEAT ?OBJ))
      (exists
            (?UNIT ?QUANT1 ?QUANT2)
            (and
                  (instance ?UNIT TemperatureMeasure)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?HEAT))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?HEAT))
                        (equal
                              (MeasureFn ?OBJ ?UNIT)
                              ?QUANT2))
                  (greaterThan ?QUANT2 ?QUANT1))))

Jestliže combustion je instancí třídy hoření, potom existují zahřívání heat,vyzařování světla light tak, že heat je a subprocess of combustion a light je a subprocess of combustion.

(=>
      (instance ?COMBUSTION Combustion)
      (exists
            (?HEAT ?LIGHT)
            (and
                  (instance ?HEAT Heating)
                  (instance ?LIGHT RadiatingLight)
                  (subProcess ?HEAT ?COMBUSTION)
                  (subProcess ?LIGHT ?COMBUSTION))))

Jestliže melt je instancí třídy tání, potom existuje zahřívání heat tak, že heat je a subprocess of melt.

(=>
      (instance ?MELT Melting)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?MELT))))

Jestliže boil je instancí třídy var, potom existuje zahřívání heat tak, že heat je a subprocess of boil.

(=>
      (instance ?BOIL Boiling)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?BOIL))))