Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

condensing (Condensing)

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

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  internal change  
is subclass of
  state change  
is subclass of
  condensing  

Coordinate term(s)

boiling  freezing  melting 

Related WordNet synsets

condensation
the process of changing from a gaseous to a liquid or solid state
condensation is kind of (all)...   condensation is kind of...  
See more related synsets on a separate page.

Axioms (2)

If cond is an instance of condensing, then there exists cooling cool so that cool is a subprocess of cond. 
(=>
      (instance ?COND Condensing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?COND))))
If cond is an instance of condensing and obj is a patient of cond, then there exists part so that part is a part of obj and gas is an attribute of part immediately before "the time of existence of cond" and liquid is an attribute of part immediately after "the time of existence of cond". 
(=>
      (and
            (instance ?COND Condensing)
            (patient ?COND ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COND))
                        (attribute ?PART Gas))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COND))
                        (attribute ?PART Liquid)))))