Title: San Antonio, New Mexico
Content:   San Antonio is a census-designated place in Socorro County, New Mexico, United States, roughly in the center of the state, on the Rio Grande. The entire population of the county is approximately 18,000.
Title: San Antonio
Content:  1990 to 2000. The city of San Antonio serves as the seat of Bexar County; San Antonio is the center of the San Antonio–New Braunfels metropolitan statistical area. Commonly called the Greater San Antonio, the metropolitan area had a population of 2,550,960 based on the 2019 U.S. census estimates, making it the 24th-largest metropolitan area in the United States and third-largest in Texas. Straddling the regional divide between South and Central Texas, San Antonio anchors the southwestern corner of an urban megaregion colloquially known as the Texas Triangle. The Greater San Antonio and Greater Austin areas are separated from each other by approximately 80. mi along Interstate 35. Both metropolitan regions are expected to form 
Title: San Antonio, Florida
Content:  San Antonio is located at 28.33667°N, -82.275°W (28.336649, −82.275011). According to the United States Census Bureau, the village has a total area of 1.2 sqmi, all land. San Antonio has a rolling topography with elevations varying from a low of 110 feet on the western edge of the city to as high as 183 feet on a hill overlooking Lake Jovita on the eastern edge of town.
Title: San Antonio, Florida
Content:  San Antonio, or unofficially San Ann as the locals call it, is a city in Pasco County, Florida, United States. It is a suburban city included in the Tampa-St. Petersburg-Clearwater, Florida Metropolitan Statistical Area. It lies within Florida's 12th congressional district. The population was 1,138 at the 2010 census. It was established as a Catholic colony by Judge Edmund F. Dunne. The city derives its name from Saint Anthony of Padua. Saint Leo University is located nearby.
Title: Greater San Antonio
Content:  There are eight counties that combine to form Greater San Antonio. The central county is Bexar. The MSA covers a total of 7,387 sq. mi. 7,340 sq. mi. is land and 47 sq. mi. is water.
Title: San Antonio Independent School District
Content:  San Antonio Independent School District is a school district based in Downtown San Antonio, Texas, United States. San Antonio ISD ranks is the 13th largest of Texas' 1,057 school districts. The District encompasses 79 square miles with a total population of 306,943 (2010 U.S. Census). San Antonio ISD serves the Downtown, Midtown, and inner city areas of the city of San Antonio and a small portion of the city of Balcones Heights. With over 48,720 students (as of 2018), the district is the third largest school district in the Bexar County area.
Title: San Antonio
Content:  area ranked just 30th in the United States, with a population of 1,592,383 in 2000. San Antonio has a large Hispanic population with a significant African American population. The 2011 U.S. census estimate for the eight-county San Antonio–New Braunfels metropolitan area placed its population at 2,194,927. The 2017 estimate for Greater San Antonio was 2,473,974, making it the third-most populous metro area in Texas (after the Dallas–Fort Worth metroplex and Greater Houston) and the 24th-most populous metro area in the U.S. The metropolitan area is bordered to the northeast by Austin–Round Rock–San Marcos, and the two metropolitan areas together combine to form a region of over 4.7 million people known as the Austin-San Antonio Corridor or Austintonio. 
Title: San Antonito, Socorro County, New Mexico
Content:  San Antonito is a census-designated place in Socorro County, New Mexico, United States. Its population was 94 as of the 2010 census.
Title: San Antonito, Bernalillo County, New Mexico
Content:  It is zoned to Albuquerque Public Schools.
Title: Greater San Antonio
Content:  Greater San Antonio, officially designated San Antonio–New Braunfels, is an eight-county metropolitan area in the U.S. state of Texas defined by the Office of Management and Budget (OMB). The metropolitan area straddles South Texas and Central Texas and is on the southwestern corner of the Texas Triangle. The official 2020 U.S. Census showed the metropolitan area's population at 2,558,143—up from a reported 1,711,103 in 2000—making it the 24th largest metropolitan area in the United States. Austin–Round Rock lies about 80 miles northeast of Greater San Antonio. San Antonio–New Braunfels is the third-largest metro area in Texas, after Dallas–Fort Worth–Arlington and Houston–The Woodlands–Sugar Land.

Question: what county is san antonio in?
Answer: Comal County.