Question: Are both Appleton International Airport and Colorado Springs Airport located in Colorado?
Context: The Colorado Springs, CO Metropolitan Statistical Area is a United States Office of Management and Budget defined Metropolitan Statistical Area (MSA) located in the Colorado Springs region of the State of Colorado.  The Census Bureau estimates that the population was 668,353 in 2012, a 3.52% increase since the 2010 United States Census.  The Colorado Springs MSA is the 79th most populous MSA in the United States.  The Colorado Springs MSA encompasses El Paso County and Teller County, Colorado.  Approximately 88.40% percent of the MSA's population live in cities or CDP's.  The Colorado Springs Metropolitan Statistical Area is the second most populous component of the Front Range Urban Corridor. Air Wisconsin Airlines is a regional airline based at Appleton International Airport in the town of Greenville, Wisconsin, United States, near Appleton.  Air Wisconsin is the largest privately held regional airline in the United States.  It currently operates regional jet flights as American Eagle under contract to American Airlines via a code sharing agreement, serving cities in the U.S. and Canada with hubs at Boston Logan International Airport (BOS), Charlotte Douglas International Airport (CLT), Philadelphia International Airport (PHL) and Ronald Reagan Washington National Airport (DCA) .  Air Wisconsin previously operated United Express service on behalf of United Airlines followed by US Airways Express service on behalf of US Airways prior to becoming an American Eagle regional air carrier.  The company has announced it will once again partner with United Airlines as a United Express code sharing air carrier with primary hubs to be located at Chicago O'Hare International Airport (ORD) and Washington Dulles International Airport (IAD) beginning in September 2017 and will be "exclusively operating" as United Express by March 2018. KKTV, virtual channel 11 (UHF digital channel 49), is a CBS-affiliated television station licensed to Colorado Springs, Colorado, United States.  It serves the Colorado Springs/Pueblo market and is owned by Gray Television.  Its transmitter is located on Cheyenne Mountain in Colorado Springs, with studios located on East Colorado Avenue in downtown Colorado Springs.  KKTV is carried on Comcast cable channel 10 in Colorado Springs and channel 11 in Pueblo. WXM56 (sometimes referred to as Colorado Springs All Hazards) is a NOAA Weather Radio station that serves the Colorado Springs Metropolitan Statistical Area and surrounding cities.  It is programmed from the National Weather Service forecast office in Pueblo, Colorado with its transmitter located on Cheyenne Mountain in Colorado Springs.  It broadcasts weather and hazard information for El Paso and Teller Counties.  However, broadcasts were picked up in Crowley, Otero, and Pueblo Counties. Silver Springs Airport (ICAO: KSPZ) is a public use airport located 2 nmi southwest of the central business district of Silver Springs, in Lyon County, Nevada, United States.  It is owned by Lyon County and leased to Silver Springs Airport, LLC. City of Colorado Springs Municipal Airport (IATA: COS, ICAO: KCOS, FAA LID: COS) (also known as Colorado Springs Airport) is a city-owned public civil-military airport 6 mi southeast of Colorado Springs, in El Paso County, Colorado.  It is the second busiest commercial service airport in the state.  Peterson Air Force Base, which is located on the north side of runway 13/31, is a tenant of the airport. The Midland Terminal Railroad Roundhouse is a historic 14 stall railroad roundhouse in Colorado Springs, Colorado, located on US Highway 24 at 21st street.  It is between Manitou Springs and the central business district of Colorado Springs.  The building was constructed and operated by the Colorado Midland Railroad which was founded in 1883 but the roundhouse dates from 1887-88.  It was located in Colorado City until 1917, when Colorado City became part of Colorado Springs.  Due to the World War I Railroad War Board rerouting of Colorado Midland traffic to the Denver and Rio Grande Western, the CM shutdown in 1917 and went into bankruptcy in 1918.  The roundhouse was then owned and operated by the Midland Terminal Railway which purchased the Colorado Midland portion from Colorado Springs to Divide, Colorado in 1921.  The MT shut down in 1949. Appleton International Airport (IATA: ATW, ICAO: KATW, FAA LID: ATW) , formerly "Outagamie County Regional Airport", is an airport located in Outagamie County, Wisconsin, United States, just west of Appleton in the town of Greenville.  It is included in the Federal Aviation Administration (FAA) National Plan of Integrated Airport Systems for 2017–2021, in which it is categorized as a non-hub primary commercial service facility.  It is the fourth-busiest commercial airport in Wisconsin in terms of passengers served.  In 2016 the airport contributed $676 million dollars to the Northeastrn Wisconsin economy. Grand Junction Regional Airport (IATA: KGJT, ICAO: GJT) is a public airport three miles northeast of Grand Junction, in Mesa County, Colorado.  Owned by the Grand Junction Regional Airport Authority, it is the largest airport in western Colorado and third largest in the state, behind Denver International Airport and Colorado Springs Airport. Colorado Springs East Airport (FAA LID: CO49) is a private airport located 25 miles (40 km) east of the central business district of the city of Colorado Springs, and 3 miles (5 km) northwest of the central business district of the city of Ellicott in El Paso County, Colorado, United States.  The airport is privately owned by Springs East Airport, Inc.  The airport is 2 miles (3 km) north of Highway 94 via a gravel road, and taxiways and vehicle roadways are gravel/grass/dirt.
Answer: no