other insurance
Defined in 1 dictionary — U.S. Code
United States Code
30 U.S.C. § 1522 — in this section
the term “other insurance” means any combination of private or public insurance other than investment insurance provided by the Secretary under this section;