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 / PROCESSESSuperclass(es)
Coordinate term(s)
Befestigung
Kombinieren
Vergleichen
Trennen
Ersetzen
Transaktion
Related WordNet synsets
- detachment, disengagement
- the act of releasing from an attachment or connection
- 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"
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)))))