einfrierend (Freezing)

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

Ontology

SUMO / PROCESSES

Superclass(es)

Wesen

körperlicher Gegenstand

Prozess

innere Änderung

Zustandänderung

einfrierend

Coordinate term(s)

kochend kondensierend schmelzend

Related WordNet synsets

freeze, freezing: the withdrawal of hear to change something from a liquid to a solid
freeze, freeze out, freeze down: change from a liquid to a solid when cold; "Water freezes at 32 degrees Fahrenheit"
frozen: turned into ice; affected by freezing or by long and severe cold; "the frozen North"; "frozen pipes"; "children skating on a frozen brook"

See more related synsets on a separate page.

Axioms (2)

Wenn freeze ist ein fall von einfrierend , dann es gibt ein Abkühlen cool der cool ist ein subProzess von freeze.

(=>
      (instance ?FREEZE Freezing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?FREEZE))))

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

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