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

ning2 jie2 (Condensing)

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

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  li4 cheng2  
is subclass of
  na4 zai4 gai3 bian4  
is subclass of
  zhuang4 tai4 gai3 bian4  
is subclass of
  ning2 jie2  

Coordinate term(s)

fei4 teng2  ning2 gu4  rong2 hua4 

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 shi4 ning2 jie2 de5 shi2 li4, then there exists jiang4 wen1 cool so_that_not cool shi4 cond de5 ci4 li4 cheng2. 
(=>
      (instance ?COND Condensing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?COND))))
If cond shi4 ning2 jie2 de5 shi2 li4 and obj shi4 cond de5 shou4 shi4 zhe3, then there exists part so_that_not part shi4 obj de5 bu4 fen5) and qi4 ti3 shi4 part de5 shu3 xing4 ""cond cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "cond cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and ye4 ti1 de5 shi4 part de5 shu3 xing4 ""cond cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "cond cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (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)))))