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

CambiamentoDiStato (StateChange)

Any Process where the PhysicalState of part of the patient of the Process changes.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Processo  
is subclass of
  CambiamentoInterno  
is subclass of
  CambiamentoDiStato  

Subclass(es)

Sciogliere  Bollire  Condensare  Congelare 

Coordinate term(s)

ProcesoBiologico  ProcessoChimico  Creazione  Danneggiare  CambiamentoQuantitativo  CambiamentoDiSuperficie 

Related WordNet synsets

phase change, phase transition, state change
a change from one state (solid or liquid or gas) to another
phase change is kind of (all)...   phase change is kind of...   kinds of phase change...   kinds of phase change (all)...  
See more related synsets on a separate page.

Axioms (1)

Se process é un' istanza di CambiamentoDiStato e obj é un paziente di process, allora esiste part,StatoFisico state1,StatoFisico state2 tale che part é una parte di obj e state1 is not uguale a state2 e "state1 is an attribute of part" vales durante "immediatamente prima di "il tempo di esistenza di process"" e "state2 is an attribute of part" vales durante "immediatamente dopo "il tempo di esistenza di freeze"". 
(=>
      (and
            (instance ?PROCESS StateChange)
            (patient ?PROCESS ?OBJ))
      (exists
            (?PART ?STATE1 ?STATE2)
            (and
                  (part ?PART ?OBJ)
                  (instance ?STATE1 PhysicalState)
                  (instance ?STATE2 PhysicalState)
                  (not
                        (equal ?STATE1 ?STATE2))
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?PROCESS))
                        (attribute ?PART ?STATE1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART ?STATE2)))))