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

放置 (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]
實體
is subclass of
  物質的  
is subclass of
  歷程  
is subclass of
  移動  
is subclass of
  轉移或轉換  
is subclass of
  放置  

Subclass(es)

覆蓋 

Coordinate term(s)

穿透  移除  替換  觸動 

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)

增加 內部相關於 放置. 
(relatedInternalConcept Increasing Putting)
If put 是 放置 的 實例 and put (不) 終結not(s) place and obj 是 put 的 受事者, then obj 位於 place ""put 存在 的 時間" 不久 之前"a(之中) "put 存在 的 時間" 不久 之前 and obj 位於 place ""put 存在 的 時間" 不久 之後"a(之中) "put 存在 的 時間" 不久 之後. 
(=>
      (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 是 替換 的 實例, then there exist 放置 put,移除 remove,obj1,obj2,place so that put 是 sub 的 次歷�{ and remove 是 sub 的 次歷�{ and obj1 是 remove 的 受事者 and remove (不) �_源s 於 place and obj2 是 put 的 受事者 and put (不) 終結not(s) place and obj1 等於 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 是 保有 的 實例 and keep 是 agent 的 施事者 and obj 是 keep 的 受事者, then there exists 放置 put so that put 是 agent 的 施事者 and obj 是 put 的 受事者 and "put 存在 的 時間" (沒) 比 "keep 存在 的 時間" 較早 發生not(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)))))
貼附 內部相關於 放置. 
(relatedInternalConcept Attaching Putting)