CambiamentoInterno (InternalChange)

Processes which involve altering an internal property of an Object, e.g. the shape of the Object, its coloring, its structure, etc. Processes that are not instances of this class include changes that only affect the relationship to other objects, e.g. changes in spatial or temporal location.

Ontology

SUMO / PROCESSES

Superclass(es)

Entitá

EntitáConcreta

Processo

CambiamentoInterno

Subclass(es)

ProcesoBiologico CambiamentoQuantitativo Danneggiare ProcessoChimico CambiamentoDiSuperficie Creazione CambiamentoDiStato

Coordinate term(s)

ProcessoRelazionale ProcessoIntenzionale Movimento CambiamentoDiForma

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

Se change é un' istanza di CambiamentoInterno e obj é un paziente di change, allora esiste property tale che

"property is an attribute of obj" vales durante "immediatamente prima di "il tempo di esistenza di change"" e "property is not an attribute of obj" vales durante "immediatamente dopo "il tempo di esistenza di change""
"property is not an attribute of obj" vales durante "immediatamente prima di "il tempo di esistenza di change"" e "property is an attribute of obj" vales durante "immediatamente dopo "il tempo di esistenza di change""

(=>
      (and
            (instance ?CHANGE InternalChange)
            (patient ?CHANGE ?OBJ))
      (exists
            (?PROPERTY)
            (or
                  (and
                        (holdsDuring
                              (ImmediatePastFn
                                    (WhenFn ?CHANGE))
                              (attribute ?OBJ ?PROPERTY))
                        (holdsDuring
                              (ImmediateFutureFn
                                    (WhenFn ?CHANGE))
                              (not
                                    (attribute ?OBJ ?PROPERTY))))
                  (and
                        (holdsDuring
                              (ImmediatePastFn
                                    (WhenFn ?CHANGE))
                              (not
                                    (attribute ?OBJ ?PROPERTY)))
                        (holdsDuring
                              (ImmediateFutureFn
                                    (WhenFn ?CHANGE))
                              (attribute ?OBJ ?PROPERTY))))))