Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

kondenzace (Condensing)

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

Ontologie

SUMO / PROCESSES

Nadtřída(y)

[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  proces  
is subclass of
  interní změna  
is subclass of
  změna skupenství  
is subclass of
  kondenzace  

Související termín(y)

var  tuhnutí  tání 

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.

Axiomy (2)

Jestliže cond je instancí třídy kondenzace, potom existuje ochlazování cool tak, že cool je a subprocess of cond. 
(=>
      (instance ?COND Condensing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?COND))))
Jestliže cond je instancí třídy kondenzace a obj je účastníkem cond, potom existuje part tak, že part je částí obj a gas je atributem part právě před doba existence cond a liquid je atributem part právě po doba existence 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)))))