Let $K$ be a number field. Is it necessarily true that $\mathbb{Q}$ is a first-order definable subset of $K$? Equivalently (since in any number field, its ring of integers is a definable subset), is $\mathbb{Z}$ necessarily a definable subset of $K$, or of $\cal{O}_K$?
Edit: And if not, is $\mathbb{Q}$ always interpretable in $K$?