schmelzend (Melting)

The Class of Processes where an Object is heated and converted from a Solid to a Liquid.

Ontology

SUMO / PROCESSES

Superclass(es)

Wesen

körperlicher Gegenstand

Prozess

innere Änderung

Zustandänderung

schmelzend

Coordinate term(s)

kochend kondensierend einfrierend

Related WordNet synsets

melting, thaw, thawing, warming: warm weather following a freeze; snow and ice melt
thaw, melt, thawing, melting: the process of heating to change something from a solid to a liquid; "they welcomed the spring thaw"
liquescent, melting: becoming liquid
melted, liquid, liquified: changed from a solid to a liquid state; "rivers filled to overflowing by melted snow"
unmelted (opposite): not melted; "streets unpassable because of piles of unmelted snow"

See more related synsets on a separate page.

Axioms (2)

Wenn melt ist ein fall von schmelzend , dann es gibt ein Erhitzen heat der heat ist ein subProzess von melt.

(=>
      (instance ?MELT Melting)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?MELT))))

Wenn melt ist ein fall von schmelzend und obj ist ein patient von melt , dann es gibt ein part der part ist ein teil von obj und "solid ist ein attribut von part " hält während "direkt vor "die zeit des Bestehens von melt"" und "liquid ist ein attribut von part " hält während "sofort nach "die zeit des Bestehens von melt"" .

(=>
      (and
            (instance ?MELT Melting)
            (patient ?MELT ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?MELT))
                        (attribute ?PART Solid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?MELT))
                        (attribute ?PART Liquid)))))