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

Riscaldamento (Heating)

Any Increasing Process where the PhysicalQuantity increased is a TemperatureMeasure.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Processo  
is subclass of
  CambiamentoInterno  
is subclass of
  CambiamentoQuantitativo  
is subclass of
  Aumento  
is subclass of
  Riscaldamento  

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)

Riscaldamento é disgiunto da Raffreddamento. 
(disjoint Heating Cooling)
Se heat é un' istanza di Riscaldamento e obj é un paziente di heat, allora esiste MisuraDiTemperatura unit,quant1,quant2 tale che ""obj unit(s" is uguale a quant1" vales durante "immediatamente prima di "il tempo di esistenza di heat"" e ""obj unit(s" is uguale a quant2" vales durante "immediatamente dopo "il tempo di esistenza di heat"" e quant2 é più grande di 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))))
Se combustion é un' istanza di Combustione, allora esiste Riscaldamento heat,RadiazioneLuminosa light tale che heat é un sottoprocesso di combustion e light é un sottoprocesso di combustion. 
(=>
      (instance ?COMBUSTION Combustion)
      (exists
            (?HEAT ?LIGHT)
            (and
                  (instance ?HEAT Heating)
                  (instance ?LIGHT RadiatingLight)
                  (subProcess ?HEAT ?COMBUSTION)
                  (subProcess ?LIGHT ?COMBUSTION))))
Se melt é un' istanza di Sciogliere, allora esiste Riscaldamento heat tale che heat é un sottoprocesso di melt. 
(=>
      (instance ?MELT Melting)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?MELT))))
Se boil é un' istanza di Bollire, allora esiste Riscaldamento heat tale che heat é un sottoprocesso di boil. 
(=>
      (instance ?BOIL Boiling)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?BOIL))))