Federal employee office building
(4) The term “Federal employee office building” means any office building in the United States, whether owned or leased by the Federal Government, that is regularly occupied by more than 25 full-time Federal employees in the course of their employment.