Property exempt from ad valorem taxation by federal law is exempt from taxation.
Tex. Tax Code § 11.12