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

Raffreddamento (Cooling)

Any Decreasing Process where the PhysicalQuantity decreased 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
  Diminuzione  
is subclass of
  Raffreddamento  

Related WordNet synsets

cooling, chilling, temperature reduction
the process of becoming cooler; a falling temperature
cooling is kind of (all)...   cooling is kind of...   kinds of cooling...   kinds of cooling (all)...  
cool, chill, cool down
loose heat; The air cooled considerably after the thunderstorm"
cool is opposite to...   cool is kind of (all)...   cool is kind of...  
cool, chill, cool down
make cool or cooler; "Chill the food"
cool is opposite to...   cool is kind of (all)...   cool is kind of...   kinds of cool...   kinds of cool (all)...   cool causes...  
See more related synsets on a separate page.

Axioms (4)

Riscaldamento é disgiunto da Raffreddamento. 
(disjoint Heating Cooling)
Se cool é un' istanza di Raffreddamento e obj é un paziente di cool, 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 cool"" e ""obj unit(s" is uguale a quant2" vales durante "immediatamente dopo "il tempo di esistenza di cool"" e quant2 é meno diquant1. 
(=>
      (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))))
Se cond é un' istanza di Condensare, allora esiste Raffreddamento cool tale che cool é un sottoprocesso di cond. 
(=>
      (instance ?COND Condensing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?COND))))
Se freeze é un' istanza di Congelare, allora esiste Raffreddamento cool tale che cool é un sottoprocesso di freeze. 
(=>
      (instance ?FREEZE Freezing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?FREEZE))))