沸騰 (Boiling)

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

Ontology

SUMO / PROCESSES

Superclass(es)

實體

物質的

歷程

內在改變

狀態改變

沸騰

Coordinate term(s)

凝結凝固熔化

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)

If boil 是沸騰的實例, then there exists 加溫 heat so that heat 是 boil 的次歷�{.

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

If boil 是沸騰的實例 and obj 是 boil 的受事者, then there exists part so that part 是 obj 的部分) and 液體的是 part 的屬性 ""boil 存在的時間" 不久之前"a(之中) "boil 存在的時間" 不久之前 and 氣體是 part 的屬性 ""boil 存在的時間" 不久之後"a(之中) "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)))))