innere Änderung (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)

Wesen

körperlicher Gegenstand

Prozess

innere Änderung

Subclass(es)

biologischer Prozess Quantitätänderung Beschädigen chemischer Prozess Oberflächenänderung Kreation Zustandänderung

Coordinate term(s)

Doppelgegenstandprozess absichlicher Prozess Bewegung Formänderung

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

Wenn change ist ein fall von innere Änderung und obj ist ein patient von change , dann es gibt ein property der

"property ist ein attribut von obj " hält während "direkt vor "die zeit des Bestehens von change"" und "property ist ein attribut von obj nicht" hält während "sofort nach "die zeit des Bestehens von change""
"property ist ein attribut von obj nicht" hält während "direkt vor "die zeit des Bestehens von change"" und "property ist ein attribut von obj " hält während "sofort nach "die zeit des Bestehens von 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))))))