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

zhuang4 tai4 gai3 bian4 (StateChange)

Any Process where the PhysicalState of part of the patient of the Process changes.

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  

Subclass(es)

rong2 hua4  fei4 teng2  ning2 jie2  ning2 gu4 

Coordinate term(s)

sheng1 wu4 li4 cheng2  hua4 xue2 li4 cheng2  chan3 sheng1  sun3 hai4  liang4 bian4  biao3 mian4 gai3 bian4 

Related WordNet synsets

phase change, phase transition, state change
a change from one state (solid or liquid or gas) to another
phase change is kind of (all)...   phase change is kind of...   kinds of phase change...   kinds of phase change (all)...  
See more related synsets on a separate page.

Axioms (1)

If process shi4 zhuang4 tai4 gai3 bian4 de5 shi2 li4 and obj shi4 process de5 shou4 shi4 zhe3, then there exist part,wu4 li3 zhuang4 tai4 state1,wu4 li3 zhuang4 tai4 state2 so_that_not part shi4 obj de5 bu4 fen5) and state1 deng3 yu1 state2 and state1 shi4 part de5 shu3 xing4 ""process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "process cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and state2 shi4 part de5 shu3 xing4 ""freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "freeze cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?PROCESS StateChange)
            (patient ?PROCESS ?OBJ))
      (exists
            (?PART ?STATE1 ?STATE2)
            (and
                  (part ?PART ?OBJ)
                  (instance ?STATE1 PhysicalState)
                  (instance ?STATE2 PhysicalState)
                  (not
                        (equal ?STATE1 ?STATE2))
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?PROCESS))
                        (attribute ?PART ?STATE1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART ?STATE2)))))