změna povrchu (SurfaceChange)

Processes which involve altering the properties that apply to the surface of an Object.

Ontologie

SUMO / PROCESSES

Nadtřída(y)

entita

fyzický objekt

proces

interní změna

změna povrchu

Podtřída(y)

barvení

Související termín(y)

biologický proces chemický proces vytváření poškození zněna parametru změna skupenství

Related WordNet synsets

change surface: undergo or cause to undergo a change in the surface

See more related synsets on a separate page.

Axiomy (1)

Jestliže alt je instancí třídy změna povrchu a obj je účastníkem alt, potom existují part,property tak, že part je a minimální částí obj a property je atributem part právě před doba existence alt a property není atributem part právě po doba existence alt.

(=>
      (and
            (instance ?ALT SurfaceChange)
            (patient ?ALT ?OBJ))
      (exists
            (?PART ?PROPERTY)
            (and
                  (superficialPart ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?ALT))
                        (attribute ?PART ?PROPERTY))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?ALT))
                        (not
                              (attribute ?PART ?PROPERTY))))))