Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

heating (Heating)

Any Increasing Process where the PhysicalQuantity increased is a TemperatureMeasure.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  internal change  
is subclass of
  quantity change  
is subclass of
  increasing  
is subclass of
  heating  

Related WordNet synsets

heat, heat energy
a form of energy that is transferred by a difference in temperature
heat is kind of (all)...   heat is kind of...   kinds of heat...   kinds of heat (all)...  
heating, warming
the process of becoming warmer; a rising temperature
heating is kind of (all)...   heating is kind of...   kinds of heating...   kinds of heating (all)...  
thermal, thermic, caloric
relating to or associated with heat; "thermal movements of molecules"; "thermal capacity"; "thermic energy"; "the caloric effect of sunlight"
thermal is opposite to...   thermal pertains to noun...  
See more related synsets on a separate page.

Axioms (5)

heating is disjoint from cooling. 
(disjoint Heating Cooling)
If heat is an instance of heating and obj is a patient of heat, then there exist temperature measure unit,quant1,quant2 so that "obj unit(s)" is equal to quant1 immediately before "the time of existence of heat" and "obj unit(s)" is equal to quant2 immediately after "the time of existence of heat" and quant2 is greater than 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))))
If combustion is an instance of combustion, then there exist heating heat,radiating light light so that heat is a subprocess of combustion and light is a subprocess of combustion. 
(=>
      (instance ?COMBUSTION Combustion)
      (exists
            (?HEAT ?LIGHT)
            (and
                  (instance ?HEAT Heating)
                  (instance ?LIGHT RadiatingLight)
                  (subProcess ?HEAT ?COMBUSTION)
                  (subProcess ?LIGHT ?COMBUSTION))))
If melt is an instance of melting, then there exists heating heat so that heat is a subprocess of melt. 
(=>
      (instance ?MELT Melting)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?MELT))))
If boil is an instance of boiling, then there exists heating heat so that heat is a subprocess of boil. 
(=>
      (instance ?BOIL Boiling)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?BOIL))))