var (Boiling)

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

Ontologie

SUMO / PROCESSES

Nadtřída(y)

entita

fyzický objekt

proces

interní změna

změna skupenství

var

Související termín(y)

kondenzace tuhnutí tání

Related WordNet synsets

gasification: the process of changing into gas; "coal gas is produced by the gasification of coal"
boiling: the application of heat to change something from a liquid to a gas
boil: bring to, or maintain at, the boiling point, as of water and other liquids; "boil this liquid until it evaporates"
boil: come to the boiling point and change from a liquid to vapor; "Water boils at 100 degrees Celsius"
boiling, scalding: hot enough to boil; "boiling water"

See more related synsets on a separate page.

Axiomy (2)

Jestliže boil je instancí třídy var, potom existuje zahřívání heat tak, že heat je a subprocess of boil.

(=>
      (instance ?BOIL Boiling)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?BOIL))))

Jestliže boil je instancí třídy var a obj je účastníkem boil, potom existuje part tak, že part je částí obj a liquid je atributem part právě před doba existence boil a gas je atributem part právě po doba existence boil.

(=>
      (and
            (instance ?BOIL Boiling)
            (patient ?BOIL ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Gas)))))