Staccare (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)
Attaccare
Combinare
Paragonare
Separare
Sostituzione
Scambio
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)
Attaccare é disgiunto da Staccare.
(disjoint Attaching Detaching)
Se detach é un' istanza di Staccare e obj1 é un paziente di detach e obj2 é un paziente di detach, allora "obj1 é connesso a obj2" vales durante "immediatamente prima di "il tempo di esistenza di detach"" e "obj1 é not connesso a obj2" vales durante "immediatamente dopo "il tempo di esistenza di 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)))))