The bessel_K function is only implemented as far as numerical evaluation (thanks to PARI). For example, if you try:
sage: x = var('x')