Proper noun
Distrito Federal
Alternative form of Federal District
On January 29, 2016, it ceased to be called the Federal District (Spanish: Distrito Federal or D.F.) and is now in transition to become the country's 32nd federal entity, giving it a level of autonomy comparable to that of a state. Source: Internet
The city's public high school system is the Instituto de Educación Media Superior del Distrito Federal (IEMS-DF). Source: Internet