kochend (Boiling)

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

Ontology

SUMO / PROCESSES

Superclass(es)

Wesen

körperlicher Gegenstand

Prozess

innere Änderung

Zustandänderung

kochend

Coordinate term(s)

kondensierend einfrierend schmelzend

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.

Axioms (2)

Wenn boil ist ein fall von kochend , dann es gibt ein Erhitzen heat der heat ist ein subProzess von boil.

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

Wenn boil ist ein fall von kochend und obj ist ein patient von boil , 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 boil"" und "gas ist ein attribut von part " hält während "sofort nach "die zeit des Bestehens von 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)))))