Reduce $\overline{K}$ to the set of pairs of natural numbers codifying programs such that there exists an input for which the first program halts and the second program does not halt (roughly, the set of pairs of programs which stop and do not stop with some common input), in order to prove that such set is not semi-decidable (not recursively enumerable).