Under Internal Revenue Code (IRC) Sec. 7701(b), Definition of Resident Alien and Nonresident alien, arises Form 1040NR, U.S. Nonresident Alien Income Tax Return, which is the tax form used by nonresident aliens to file their individual U.S. income taxes.