![]() |
Entity > Physical > Process > Detaching > Untying |
![]() ![]() | ||||
Untying | ||||
subject | fact |
Untying | documentation The Process of untying two things, or two strands of the same thing | ![]() |
is disjoint from Tying | ![]() | |
is a kind of Detaching | ![]() | |
Process | has axiom (=> | ![]() |
has axiom (=> | ![]() | |
has axiom (=> | ![]() | |
has axiom (=> | ![]() | |
has axiom (=> | ![]() | |
has axiom (=> | ![]() | |
is first domain of agent | ![]() | |
is first domain of capability | ![]() | |
is first domain of causes | ![]() | |
is first domain of destination | ![]() | |
is first domain of direction | ![]() | |
is first domain of effector | ![]() | |
is first domain of experiencer | ![]() | |
is first domain of frequency | ![]() | |
is first domain of hasSkill | ![]() | |
is first domain of holdsObligation | ![]() | |
is first domain of holdsRight | ![]() | |
is first domain of inhibits | ![]() | |
is first domain of instrument | ![]() | |
is first domain of manner | ![]() | |
is first domain of origin | ![]() | |
is first domain of patient | ![]() | |
is first domain of precondition | ![]() | |
is first domain of prevents | ![]() | |
is first domain of realization | ![]() | |
is first domain of resource | ![]() | |
is first domain of result | ![]() | |
is first domain of subProcess | ![]() | |
is second domain of causes | ![]() | |
is second domain of inhibits | ![]() | |
is second domain of precondition | ![]() | |
is second domain of prevents | ![]() | |
is second domain of subProcess | ![]() |