]> 2008/06/10 OpenCyc Knowledge Base Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. state capital A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a>. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> just in case it is the capital city of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> include the capital cities of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>, as well as the capital cities of instances of other specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlse1ZwpEbGdrcN5Y29ycA" class="cyc_term">Prefecture</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>. StateCapital http://en.wikipedia.org/wiki/State_capital state capitals Itanagar (CityNamedFn "Itanagar" ArunachalPradesh-StateIndia) Xian, China CityOfXianChina Jefferson City CityOfJeffersonCityMO (CityNamedFn "Ranchi" India) Ranchi CityOfHonoluluHI Honolulu (CityNamedFn "Raipur" India) Raipur Chandigarh, India Chandigarh-UnionTerritoryIndia <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvn72PZwpEbGdrcN5Y29ycA" class="cyc_term">Chandigarh_UnionTerritoryIndia</a> is a city in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7XJwpEbGdrcN5Y29ycA" class="cyc_term">India</a> that serves as the capitol of two states: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv7Ct1JwpEbGdrcN5Y29ycA" class="cyc_term">Punjab_StateIndia</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveBqO5wpEbGdrcN5Y29ycA" class="cyc_term">Haryana_StateIndia</a>. However, the city does not belong to either state. Rather, the city is administered by the federal government and hence classified as a union territory. Chandigarh is also the name of this union territory. Canton CityOfGuangzhouChina One of the majorCities of China-AtPresent Sacramento CityOfSacramentoCA A city in northern Afghanistan. CityOfMazarESharifAfghanistan Mazar-e-Sharif, Afghanistan CityOfLansingMI Lansing Mainz CityOfMainzGermany City in western Germany; state capital of the German state of Rheinland-Pfalz. CityOfOuluFinland Oulu, Finland Hamburg CityOfHamburgGermany One of the major cities and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4PJwpEbGdrcN5Y29ycA" class="cyc_term">Germany</a> and the former <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjtbZwpEbGdrcN5Y29ycA" class="cyc_term">WestGermany</a>. CityOfAnnapolisMD Annapolis CityOfBatonRougeLA Baton Rouge The capital <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxeVpZwpEbGdrcN5Y29ycA" class="cyc_term">EastTimor</a>. CityOfDiliEastTimor Dili (CityNamedFn "Gandhinagar" India) Gandhinagar Oklahoma City CityOfOklahomaCityOK CityOfColumbusOH The state capital of Ohio and an important industrial and trade center located in a farming region. Columbus CityOfTallahasseeFL Tallahassee (CityNamedFn "Gorgan" Golestan-ProvinceIran) Gorgan CityOfHyderabadIndia Hyderabad, India One of the majorCities of India-AtPresent (CityNamedFn "Kohima" Nagaland-StateIndia) Kohima Olympia CityOfOlympiaWA CityOfPierreSD Pierre Augusta CityOfAugustaME Dispur (CityNamedFn "Dispur" Assam-StateIndia) (CityNamedFn "Khorramabad" Lorestan-ProvinceIran) Khorramabad Victoria CityOfVictoriaCanada One of the majorCities of Canada-AtPresent. One of the majorCities of the country of Iran. Mashad CityOfMashadIran German city, capital of the German state of Nordrhein-Westfalen. Dusseldorf, Germany CityOfDusseldorfGermany CityOfBismarckND Bismarck (CityNamedFn "Chennai" TamilNadu-StateIndia) Chennai St. Paul CityOfSaintPaulMN (CityNamedFn "Silvassa" DadraAndNagarHaveli-UnionTerritoryIndia) Silvassa Helena CityOfHelenaMT CityOfDresdenGermany Dresden City in eastern Germany; state capital of the German state of Sachsen. CityOfMontpelierVT Montpelier (CityNamedFn "Shimla" HimachalPradesh-StateIndia) Shimla Boston CityOfBostonMA Austin CityOfAustinTX CityOfLittleRockAR Little Rock CityOfHarrisburgPA Harrisburg Brandenburg's state capital CityOfPotsdamGermany German city: capital of the German state of Brandenburg. Thiruvananthapuram (CityNamedFn "Thiruvananthapuram" Kerala-StateIndia) CityOfAlbanyNY Albany Bhubaneshwar (CityNamedFn "Bhubaneshwar" Orissa-StateIndia) German city; capital of the German state of Schleswig-Holstein. CityOfKielGermany Kiel, Germany (CityNamedFn "Agartala" India) Agartala CityOfSalemOR Salem Edmonton CityOfEdmontonCanada One of the majorCities of Canada-AtPresent. Denver CityOfDenverCO CityOfCheyenneWY Cheyenne Atlanta CityOfAtlantaGA Bhopal, India CityOfBhopalIndia CityOfAhwazIran Ahvaz CityOfBandarEBushehrIran Bandar-e Bushehr Yasuj (CityNamedFn "Yasuj" KohkiluyehVaBuyerAhmadi-ProvinceIran) (CityNamedFn "Rasht" Gilan-ProvinceIran) Rasht CityOfSchwennGermany Schwenn German city; capital of the German state of Mecklenburg-Vorpommern. Bengaluru CityOfBangaloreIndia CityOfTabrizIran Tabriz, Iran One of the majorCities of the country of Iran. (CityNamedFn "Zanjan" Zanjan-ProvinceIran) Zanjan Des Moines CityOfDesMoinesIA City in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4PJwpEbGdrcN5Y29ycA" class="cyc_term">Germany</a>; capital of the German state of Sachsen-Anhalt. CityOfMagdeburgGermany Magdeburg Lincoln CityOfLincolnNE Daman (CityNamedFn "Daman" India) CityOfArdebilIran Ardebil CityOfFrankfortKY Frankfort (CityNamedFn "Jammu" JammuAndKashmir-StateIndia) Jammu (CityNamedFn "Yazd" Yazd-ProvinceIran) Yazd Richmond CityOfRichmondVA CityOfNanjingChina Nanjing, China Semnan (CityNamedFn "Semnan" Semnan-ProvinceIran) Wiesbaden CityOfWiesbadenGermany City in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4PJwpEbGdrcN5Y29ycA" class="cyc_term">Germany</a>; capital of the German state of Hessen. Kolkata The official name of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTSZwpEbGdrcN5Y29ycA" class="cyc_term">CityOfCalcuttaIndia</a> was changed from 'Calcutta' to 'Kolkata' in 2001. CityOfCalcuttaIndia Trenton CityOfTrentonNJ Pondicherry (CityNamedFn "Pondicherry" Pondicherry-UnionTerritoryIndia) The city of Tehran located in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj11JwpEbGdrcN5Y29ycA" class="cyc_term">Iran</a>. Tehran CityOfTehranIran (CityNamedFn "Patna" Bihar-StateIndia) Patna Quebec City One of the majorCities of Canada-1988. CityOfQuebecCanada Kavaratti (CityNamedFn "Kavaratti" India) Indianapolis A medium-sized provincial USCity, and the capital city of the state of Indiana CityOfIndianapolisIN CityOfMontgomeryAL Montgomery (CityNamedFn "Jaipur" India) Jaipur Ilam (CityNamedFn "Ilam" Ilam-ProvinceIran) One of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4PJwpEbGdrcN5Y29ycA" class="cyc_term">Germany</a>, It was part of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjtbZwpEbGdrcN5Y29ycA" class="cyc_term">WestGermany</a>. Bremen CityOfBremenGermany CityOfMunichGermany One of the majorcities of WestGermany-AtPresent. Munich The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkLX5wpEbGdrcN5Y29ycA" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViUs5wpEbGdrcN5Y29ycA" class="cyc_term">Australia</a>. Canberra, Australia CityOfCanberraAustralia Kermanshah CityOfKermanshahIran Charleston CityOfCharlestonWV CityOfLucknowIndia Lucknow, India German city; capital of the German state of Thuringen. Erfurt CityOfErfurtGermany Juneau CityOfJuneauAK Phoenix CityOfPhoenixAZ Mumbai CityOfBombayIndia CityOfRaleighNC Raleigh CityOfPortBlairIndia Port Blair, India Hanover, Germany CityOfHannoverGermany Stuttgart, Germany City in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4PJwpEbGdrcN5Y29ycA" class="cyc_term">Germany</a>; capital of the German state of Baden-Wurttemberg. CityOfStuttgartGermany Santa Fe CityOfSantaFeNM CityOfQazvinIran Qazvin Shillong (CityNamedFn "Shillong" Meghalaya-StateIndia) Nashville CityOfNashvilleTN Jackson CityOfJacksonMS (CityNamedFn "Sanandaj" Kurdistan-ProvinceIran) Sanandaj Gangtok (CityNamedFn "Gangtok" Sikkim-StateIndia) CityOfSaarbruckenGermany German city; capital of the German state of Saarland. Saarbrucken CityOfSaltLakeCityUT Salt Lake City One of the majorCities of Pakistan-AtPresent. CityOfLahorePakistan Lahore, Pakistan Arak (CityNamedFn "Arak" Markazi-ProvinceIran) Bandar-e Abbas CityOfBandarAbbasIran Bandar Abbas (Bandar-e-'Abbas), a city in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj11JwpEbGdrcN5Y29ycA" class="cyc_term">Iran</a> on the north coast of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjsY5wpEbGdrcN5Y29ycA" class="cyc_term">PersianGulf</a>, near the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqk5wpEbGdrcN5Y29ycA" class="cyc_term">StraitOfHormuz</a>. One of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of the country of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj11JwpEbGdrcN5Y29ycA" class="cyc_term">Iran</a>. Shiraz, Iran One of the majorCities of the country of Iran-1988. CityOfShirazIran One of the majorCities of the country of Iran. Isfahan CityOfIsfahanIran Providence CityOfProvidenceRI Hartford CityOfHartfordCT Dover CityOfDoverDE CityOfConcordNH Concord (CityNamedFn "Zahedan" SistanVaBaluchestan-ProvinceIran) Zahedan Carson City CityOfCarsonCityNV CityOfHobartAustralia Hobart, Australia Srinagar, India CityOfSrinagarIndia Panaji (CityNamedFn "Panaji" Goa-StateIndia) (CityNamedFn "Imphal" India) Imphal CityOfQomIran Qom, Iran CityOfColumbiaSC Columbia Springfield CityOfSpringfieldIL (CityNamedFn "Dehradun" Uttaranchal-StateIndia) Dehradun CityOfHalifaxNovaScotia Halifax, Nova Scotia. Halifax, Canada Madison CityOfMadisonWI Boise CityOfBoiseID Topeka CityOfTopekaKS Cayenne The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkLX5wpEbGdrcN5Y29ycA" class="cyc_term">capitalCity</a> and majorCity of FrenchGuiana-AtPresent. CityOfCayenneFrenchGuiana Aizawl (CityNamedFn "Aizawl" Mizoram-StateIndia) A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. UnitedStates-Geography-Topic united states geography topic state capital A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a>. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> just in case it is the capital city of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> include the capital cities of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>, as well as the capital cities of instances of other specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlse1ZwpEbGdrcN5Y29ycA" class="cyc_term">Prefecture</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>. StateCapital non-overlapping geopolitical entity GeopoliticalEntityTypeByNonOverlappingJurisdiction A collection of collections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPJJhlM0SQdeDhsNnnhQekw" class="cyc_term">GeopoliticalEntityTypeByNonOverlappingJurisdiction</a> are subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> members of which have jurisdictions that do not overlap. Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString state capital A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a>. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> just in case it is the capital city of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> include the capital cities of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>, as well as the capital cities of instances of other specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlse1ZwpEbGdrcN5Y29ycA" class="cyc_term">Prefecture</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>. StateCapital state capital A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a>. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> just in case it is the capital city of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> include the capital cities of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>, as well as the capital cities of instances of other specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlse1ZwpEbGdrcN5Y29ycA" class="cyc_term">Prefecture</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>. StateCapital CapitalCityOfRegion capital A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a> is a city that is the capital of its surrounding region. This includes capitals of countries as well as capitals of subregions of countries, such as states, provinces, and counties. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpOJwpEbGdrcN5Y29ycA" class="cyc_term">CityOfRomeItaly</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitepwpEbGdrcN5Y29ycA" class="cyc_term">CityOfCardiffWales</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5OZwpEbGdrcN5Y29ycA" class="cyc_term">CityOfAustinTX</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXOpwpEbGdrcN5Y29ycA" class="cyc_term">CityOfAbidjanIvoryCoast</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvszh-JwpEbGdrcN5Y29ycA" class="cyc_term">CityOfLhasaTibet</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinNJwpEbGdrcN5Y29ycA" class="cyc_term">CityOfColumbusOH</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkLX5wpEbGdrcN5Y29ycA" class="cyc_term">capitalCity</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5R5wpEbGdrcN5Y29ycA" class="cyc_term">capitalCityOfState</a>. state capital A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a>. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> just in case it is the capital city of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> include the capital cities of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>, as well as the capital cities of instances of other specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlse1ZwpEbGdrcN5Y29ycA" class="cyc_term">Prefecture</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>. StateCapital state capital A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a>. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> just in case it is the capital city of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3vpwpEbGdrcN5Y29ycA" class="cyc_term">StateCapital</a> include the capital cities of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>, as well as the capital cities of instances of other specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlse1ZwpEbGdrcN5Y29ycA" class="cyc_term">Prefecture</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>. StateCapital