internal change (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)

entity

physical

process

internal change

Subclass(es)

biological process quantity change damaging chemical process surface change creation state change

Coordinate term(s)

dual object process intentional process motion shape change

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

If change is an instance of internal change and obj is a patient of change, then there exists property so that

property is an attribute of obj immediately before "the time of existence of change" and property is not an attribute of obj immediately after "the time of existence of change"
property is not an attribute of obj immediately before "the time of existence of change" and property is an attribute of obj immediately after "the time of existence of 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))))))