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

fang4 zhi4 (Putting)

The Class of Processes where something is put in a location. Note that the location is specified with the CaseRole destination.

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
  fang4 zhi4  

Subclass(es)

fu4 gai4 

Coordinate term(s)

chuan1 tou4  yi2 chu2  ti4 huan4  chu4 dong4 

Related WordNet synsets

location, locating, placement, position, positioning, emplacement, situating
the act of putting something in a certain place or location
location is kind of (all)...   location is kind of...   kinds of location...   kinds of location (all)...  
See more related synsets on a separate page.

Axioms (5)

zeng1 jia1 na4 bu4 xiang1 guan1 yu1 fang4 zhi4. 
(relatedInternalConcept Increasing Putting)
If put shi4 fang4 zhi4 de5 shi2 li4 and put (bu2) zhong1 jie2not(s) place and obj shi4 put de5 shou4 shi4 zhe3, then obj wei4 yu1 place ""put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj wei4 yu1 place ""put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4. 
(=>
      (and
            (instance ?PUT Putting)
            (destination ?PUT ?PLACE)
            (patient ?PUT ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?PUT))
                  (not
                        (located ?OBJ ?PLACE)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?PUT))
                  (located ?OBJ ?PLACE))))
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)))))
If keep shi4 bao3 you3 de5 shi2 li4 and keep shi4 agent de5 shi1 shi4 zhe3 and obj shi4 keep de5 shou4 shi4 zhe3, then there exists fang4 zhi4 put so_that_not put shi4 agent de5 shi1 shi4 zhe3 and obj shi4 put de5 shou4 shi4 zhe3 and "put cun2 zai4 de5 shi2 jian1" (mei2) bi3 "keep cun2 zai4 de5 shi2 jian1" jiao4 zao3 fa1 sheng1not(s). 
(=>
      (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?AGENT)
            (patient ?KEEP ?OBJ))
      (exists
            (?PUT)
            (and
                  (instance ?PUT Putting)
                  (agent ?PUT ?AGENT)
                  (patient ?PUT ?OBJ)
                  (earlier
                        (WhenFn ?PUT)
                        (WhenFn ?KEEP)))))
tie1 fu4 na4 bu4 xiang1 guan1 yu1 fang4 zhi4. 
(relatedInternalConcept Attaching Putting)