Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Abtrennen (Detaching)

A Process where the agent detaches one thing from something else. Note that this is different from Removing in that neither of the two things which are detached may be removed from the location where it was attached.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
Wesen
is subclass of
  körperlicher Gegenstand  
is subclass of
  Prozess  
is subclass of
  Doppelgegenstandprozess  
is subclass of
  Abtrennen  

Coordinate term(s)

Befestigung  Kombinieren  Vergleichen  Trennen  Ersetzen  Transaktion 

Related WordNet synsets

detachment, disengagement
the act of releasing from an attachment or connection
detachment is kind of (all)...   detachment is kind of...  
detached, separated
no longer connected or joined; "a detached part"; "on one side of the island was a hugh rock, almost detached"; "the separated spacecraft will return to their home bases"
detached is similar to...  
See more related synsets on a separate page.

Axioms (2)

Befestigung ist dijunkt von Abtrennen .
(disjoint Attaching Detaching)

Wenn detach ist ein fall von Abtrennen und obj1 ist ein patient von detach und obj2 ist ein patient von detach , dann "obj1 wird an obj2 angeschlossen" hält während "direkt vor "die zeit des Bestehens von detach"" und "obj1 wird an obj2 nicht angeschlossen" hält während "sofort nach "die zeit des Bestehens von detach"" .
(=>
      (and
            (instance ?DETACH Detaching)
            (patient ?DETACH ?OBJ1)
            (patient ?DETACH ?OBJ2))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?DETACH))
                  (connected ?OBJ1 ?OBJ2))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?DETACH))
                  (not
                        (connected ?OBJ1 ?OBJ2)))))