tuhnutí (Freezing)

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

Ontologie

SUMO / PROCESSES

Nadtřída(y)

entita

fyzický objekt

proces

interní změna

změna skupenství

tuhnutí

Související termín(y)

var kondenzace tání

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.

Axiomy (2)

Jestliže freeze je instancí třídy tuhnutí, potom existuje ochlazování cool tak, že cool je a subprocess of freeze.

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

Jestliže freeze je instancí třídy tuhnutí a obj je účastníkem freeze, potom existuje part tak, že part je částí obj a liquid je atributem part právě před doba existence freeze a solid je atributem part právě po doba existence 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)))))