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

移除 (Removing)

The Class of Processes where something is taken away from a location. Note that the thing removed and the location are specified with the CaseRoles patient and origin, respectively.

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

removal, remotion
the act of removing; "he had surgery for the removal of a malignancy"
removal is kind of (all)...   removal is kind of...   kinds of removal...   kinds of removal (all)...  
clean, make clean
make clean by removing dirt, filth, or unwanted substances from; "Clean the stove!"; "The dentist cleaned my teeth"
clean is opposite to...   clean is kind of (all)...   clean is kind of...   kinds of clean...   kinds of clean (all)...   verb group...  
See more related synsets on a separate page.

Axioms (3)

減少 內部相關於 移除. 
(relatedInternalConcept Decreasing Removing)
If remove 是 移除 的 實例 and remove (不) �_源s 於 place and obj 是 remove 的 受事者, then obj 位於 place ""remove 存在 的 時間" 不久 之前"a(之中) "remove 存在 的 時間" 不久 之前 and obj 位於 place ""remove 存在 的 時間" 不久 之後"a(之中) "remove 存在 的 時間" 不久 之後. 
(=>
      (and
            (instance ?REMOVE Removing)
            (origin ?REMOVE ?PLACE)
            (patient ?REMOVE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?REMOVE))
                  (located ?OBJ ?PLACE))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?REMOVE))
                  (not
                        (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)))))