The Cyc function City Named Fn is an individual-denoting function. (City Named Fn STRING GEOPOL) applied to a (quoted) proper name string STRING which is the name of a city in region GEOPOL returns the city in that region with that name. Examples: (City Named Fn New York City New York); (City Named Fn Columbus Franklin County); (City Named Fn Taipei Taiwan). Note the assumption that there is only one so-named city as a geopolitical subdivision of the political entity specified.