“School building,” as used in this article, means any building used, or designed to be used, for community college purposes and constructed by the state, by any city, county, or city and county, by any district of any kind within the state, by any regional occupational center or program created by or authorized to act by an agreement under joint exercise of power, or by the United States government, or any agency thereof.