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

ti4 huan4 (Substituting)

The Class of Transfers where one thing is replaced with something else.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  li4 cheng2  
is subclass of
  yi2 dong4  
is subclass of
  zhuan3 yi2 huo4 zhuan3 huan4  
is subclass of
[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  li4 cheng2  
is subclass of
  shuang1 shou4 shi4 li4 cheng2  
is subclass of
is subclass of
  ti4 huan4  

Coordinate term(s)

tie1 fu4  jie2 he2  bi3 jiao4  tuo1 li2  chuan1 tou4  fang4 zhi4  yi2 chu2  ge2 li2  chu4 dong4  jiao1 yi4 

Related WordNet synsets

substitution, exchange
the act of putting one one thing or person in the place of another: "he sent Smith in for Jones but the substitution came too late to help
substitution is kind of (all)...   substitution is kind of...   kinds of substitution...   kinds of substitution (all)...  
substitution, permutation, transposition, replacement, switch
an event in which one thing is substituted for another
substitution is kind of (all)...   substitution is kind of...  
substitute, replace
put in the place of another
substitute is kind of (all)...   substitute is kind of...   kinds of substitute...   kinds of substitute (all)...  
See more related synsets on a separate page.

Axioms (1)

If sub shi4 ti4 huan4 de5 shi2 li4, then there exist fang4 zhi4 put,yi2 chu2 remove,obj1,obj2,place so_that_not put shi4 sub de5 ci4 li4 cheng2 and remove shi4 sub de5 ci4 li4 cheng2 and obj1 shi4 remove de5 shou4 shi4 zhe3 and remove (bu2) qi3 yuan2s yu1 place and obj2 shi4 put de5 shou4 shi4 zhe3 and put (bu2) zhong1 jie2not(s) place and obj1 deng3 yu1 obj2. 
(=>
      (instance ?SUB Substituting)
      (exists
            (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
            (and
                  (instance ?PUT Putting)
                  (instance ?REMOVE Removing)
                  (subProcess ?PUT ?SUB)
                  (subProcess ?REMOVE ?SUB)
                  (patient ?REMOVE ?OBJ1)
                  (origin ?REMOVE ?PLACE)
                  (patient ?PUT ?OBJ2)
                  (destination ?PUT ?PLACE)
                  (not
                        (equal ?OBJ1 ?OBJ2)))))