]> 2009/04/07 OpenCyc Knowledge Base Copyright© 2001-2009 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. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license. 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. Mx4rvVjylZwpEbGdrcN5Y29ycA A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/City" class="cyc_term">City</a>. Each instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" 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/2009/04/07/concept/en/CityOfRomeItaly" class="cyc_term">CityOfRomeItaly</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfCardiffWales" class="cyc_term">CityOfCardiffWales</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAustinTX" class="cyc_term">CityOfAustinTX</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAbidjanIvoryCoast" class="cyc_term">CityOfAbidjanIvoryCoast</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfLhasaTibet" class="cyc_term">CityOfLhasaTibet</a>, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfColumbusOH" class="cyc_term">CityOfColumbusOH</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCityOfState" class="cyc_term">capitalCityOfState</a>. capital city CapitalCityOfRegion capital cities capitals capital http://www.w3.org/2006/03/wn/wn20/instances/synset-capital-noun-3 CountySeat A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" class="cyc_term">CapitalCityOfRegion</a>, a <a href="http://sw.opencyc.org/2009/04/07/concept/en/CountySeat" class="cyc_term">CountySeat</a> is the town or city that also serves as the administrative headquarters of the <a href="http://sw.opencyc.org/2009/04/07/concept/en/County" class="cyc_term">County</a>. county seat state capital A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" class="cyc_term">CapitalCityOfRegion</a>. An instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" class="cyc_term">CapitalCityOfRegion</a> is an instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/StateCapital" class="cyc_term">StateCapital</a> just in case it is the capital city of some instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/State_Geopolitical" class="cyc_term">State_Geopolitical</a> (q.v.). Instances of <a href="http://sw.opencyc.org/2009/04/07/concept/en/StateCapital" class="cyc_term">StateCapital</a> include the capital cities of instances of <a href="http://sw.opencyc.org/2009/04/07/concept/en/State_UnitedStates" class="cyc_term">State_UnitedStates</a>, as well as the capital cities of instances of other specializations of <a href="http://sw.opencyc.org/2009/04/07/concept/en/State_Geopolitical" class="cyc_term">State_Geopolitical</a>, such as <a href="http://sw.opencyc.org/2009/04/07/concept/en/Prefecture" class="cyc_term">Prefecture</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/Province" class="cyc_term">Province</a>. StateCapital national capital CountryCapital A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" class="cyc_term">CapitalCityOfRegion</a>. An instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" class="cyc_term">CapitalCityOfRegion</a> is an instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CountryCapital" class="cyc_term">CountryCapital</a> just in case it is the capital city of some instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Country" class="cyc_term">Country</a> (q.v.). The capital and majorCity of Austria-AtPresent Vienna, Austria CityOfViennaAustria CityOfBelgradeYugoslavia Belgrade, Yugoslavia The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorcities of Yugoslavia-In1988. Koweit The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorCities of Kuwait-AtPresent. CityOfKuwaitKuwait CityOfTbilisiGeorgia Tiflis CityOfKenitraMorocco Kenitra, Morocco Abu Dhabi, the United Arab Emirates CityOfAbuDhabiUAE Valletta CityOfVallettaMalta CityOfGeorgetownGuyana Georgetown, Guyana CityOfDarhanMongolia Darhan, Mongolia CityOfYaoundeCameroon Yaounde, Cameroon The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorcities of Cameroon-AtPresent. CityOfRigaLatvia The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the chiefPorts of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Latvia" class="cyc_term">Latvia</a>. Riga, Latvia CityOfUlaanBaatarMongolia Ulaanbaatar CityOfHamiltonBermuda Hamilton capital of Bermuda Male, Maldives One of the majorCities of Maldives-AtPresent. CityOfMaleMaldives capital of Martinique CityOfFort-de-FranceMartinique Fort de France St. Andrews One of the majorCities of Jamaica-1986 CityOfSaintAndrewsJamaica Copenhagen, Denmark The capital city and a major city and chief port of Denmark. CityOfCopenhagenDenmark CityOfVictoriaSeychelles One of the majorCities of Seychelles-At. Victoria, Seychelles Nassau, Bahamas, the CityOfNassauBahamas One of the majorCities of Bahamas-AtPresent. CityOfSanaaYemen Sanaa, Yemen The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Russia" class="cyc_term">Russia</a> and formerly the <a href="http://sw.opencyc.org/2009/04/07/concept/en/UnionOfSovietSocialistRepublics" class="cyc_term">UnionOfSovietSocialistRepublics</a>. Moscow, Russia CityOfMoscowRussia The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Bangladesh-AtPresent. CityOfDhakaBangladesh Dacca Bridgetown, Barbados CityOfBridgetownBarbados One of the majorCities of Barbados-AtPresent. CityOfAccraGhana Accra, Ghana Ankara, Turkey The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Turkey-AtPresent. CityOfAnkaraTurkey Tiraspol, Transdniester Republic CityOfTiraspolTransdniesterRepublic Algiers, Algeria The city of Algiers located in <a href="http://sw.opencyc.org/2009/04/07/concept/en/Algeria" class="cyc_term">Algeria</a>. CityOfAlgiersAlgeria Ljublana CityOfLjubljanaSlovenia The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Slovenia" class="cyc_term">Slovenia</a>. St. Johns CityOfSaintJohnsAntiguaAndBarbuda The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Bolivia-AtPresent. CityOfSucreBolivia Sucre, Bolivia CityOfBakuAzerbaijan Baku, Azerbaijan Leopoldville CityOfKinshasaCongo CityOfJamestownSaintHelena-Island Jamestown capital of SaintHelena-Island Lagos, Nigeria The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorcities and <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of Nigeria-AtPresent. CityOfLagosNigeria CityOfBasse-TerreGuadeloupe capital of Guadeloupe Basse-Terre Katmandu CityOfKathmanduNepal One of the major Cities of Fiji-AtPresent CityOfSuvaFiji Suva, Fiji CityOfBishkekKyrgyzstan Bishkek, Kyrgyzstan Bucharest, Romania The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Romania-AtPresent. CityOfBucharestRomania CityOfTangierMorocco Tangiers Podgorica CityOfPodgoricaMontenegro The capital <a href="http://sw.opencyc.org/2009/04/07/concept/en/City" class="cyc_term">City</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Montenegro" class="cyc_term">Montenegro</a>. It was called "Titograd" from 1946 to 1992 and "Ribnica" before the 13th century. It was the capital of Serbia in the 11th century. Lasa CityOfLhasaTibet St. Pierre CityOfSaintPierreSaintPierreAndMiquelon capital of SaintPierreAndMiquelon The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Tonga-AtPresent. CityOfNukualofaTonga Nukualofa, Tonga Douglas CityOfDouglasIsleOfMan capital of IsleOfMan Roseau, Dominica One of the majorCities of Dominica-AtPresent. CityOfRoseauDominica Moroni, Comoros CityOfMoroniComoros One of the majorCities of Comoros-AtPresent. Port Vila, Vanuatu CityOfPortVilaVanuatu CityOfTarawaKiribati Tarawa, Kiribati One of the majorCvtves of Kiribati-AtPresent. The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Indonesia-AtPresent. CityOfJakartaIndonesia Djakarta CityOfDublinIreland Dublin, Ireland The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorCities and <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of Ireland-AtPresent. The capital of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Croatia" class="cyc_term">Croatia</a>. Zagreb, Croatia CityOfZagrebCroatia Hanoi, Vietnam CityOfHanoiVietnam The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorCities of Vietnam-AtPresent. capital of Corsica Ajaccio CityOfAjaccioCorsica (CityNamedFn "Dodoma" Tanzania) Dar es Sala'am CityOfCaracasVenezuela The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Venezuela-AtPresent. Caracas, Venezuela The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Switzerland" class="cyc_term">Switzerland</a>. Bern, Switzerland CityOfBernSwitzerland Vaduz, Liechtenstein the <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and a majorCity of Liechtenstein-1986 CityOfVaduzLiechtenstein Singapore City CityOfSingapore The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and majorCity of Singapore-AtPresent. CityOfCasablancaMorocco Casablanca, Morocco CityOfPagoPagoSamoa Pago Pago CityOfBissauGuinea-Bissau Bissau, Guinea-bissau The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and majorCity of Panama-AtPresent. Panama City, Panama CityOfPanamaCityPanama Nouakchott, Mauritania CityOfNouakchottMauritania The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of China-AtPresent. Note that Peking is the old version of Beijing. CityOfBeijingChina Beijing CityOfLuandaAngola Luanda, Angola The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Angola-1986 One of the majorCities of SaintLucia-AtPresent. CityOfCastriesSaintLucia Castries, St. Lucia CityOfTallinnEstonia Tallinn The capital city (<a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" class="cyc_term">CapitalCityOfRegion</a>) of the <a href="http://sw.opencyc.org/2009/04/07/concept/en/UnitedStatesOfAmerica" class="cyc_term">UnitedStatesOfAmerica</a>, seat of its Federal government, which is located in the <a href="http://sw.opencyc.org/2009/04/07/concept/en/DistrictOfColumbia" class="cyc_term">DistrictOfColumbia</a>, a specially created Federal district between the States of Maryland and Virginia. Currently, the <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfWashingtonDC" class="cyc_term">CityOfWashingtonDC</a> and the <a href="http://sw.opencyc.org/2009/04/07/concept/en/DistrictOfColumbia" class="cyc_term">DistrictOfColumbia</a> are coextensive. Washington, DC CityOfWashingtonDC CityOfGarowePuntland Garoweh Willemstad CityOfWillemstadNetherlandsAntilles capital of NetherlandsAntilles capital of Wallis&FutunaIslands Mata CityOfMataUtu-WallisAndFutunaIslands Kanema, Sierra Leone CityOfKanemaSierraLeone CityOfAmmanJordan The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorCities of Jordan-AtPresent. Amman, Jordan CityOfNewDelhiIndia New Delhi, India Manila CityOfManilaPhilippines One of the majorCities and <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of Philippines-AtPresent. CityOfRangoonBurma Yangon, Burma CityOfColomboSriLanka Colombo, Sri Lanka The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorCities and <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of SriLanka-AtPresent. CityOfManamaBahrain Manama (Al-Manamah), the <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Bahrain" class="cyc_term">Bahrain</a>, in the <a href="http://sw.opencyc.org/2009/04/07/concept/en/PersianGulf" class="cyc_term">PersianGulf</a>. manama CityOfDohaQatar The city of Doha located in <a href="http://sw.opencyc.org/2009/04/07/concept/en/Qatar" class="cyc_term">Qatar</a>. Ad Dawhah The capital city of Canada. Ottawa, Canada CityOfOttawaCanada Khartoum, Sudan The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Sudan-AtPresent CityOfKhartoumSudan One of the majorCities of SaintVincent&TheGrenadines-AtPresent. CityOfKingstownStVincentAndTheGrenadines Kingstown, St. Vincent and the Grenadines Port Louis, Mauritius CityOfPortLouisMauritius One of the majorCities of Mauritius-AtPresent. CityOfMaputoMozambique Maputo, Mozambique CityOfBaghdadIraq The capital and major city of Iraq. the city of Baghdad CityOfSaint-DenisReunion Saint-Denis capital of Reunion, CityOfBuenosAiresArgentina Buenos Aires, Argentina The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Argentina-AtPresent. The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of EastGermany-AtPresent. East Berlin, German Democratic Republic CityOfEastBerlinEG (CapitalCityFn Argentina) the capital city of Argentina CityOfNdjamenaChad Ndjamena The capital and majorCity of Chad-AtPresent. CityOfPort-Au-PrinceHaiti Port-Au-Prince One of the majorCities of Haiti-AtPresent. CityOfSanMarinoSanMarino the <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and majorcity of SanMarino-In1988. San Marino, San Marino Monrovia, Liberia CityOfMonroviaLiberia The CapitalCity of Japan-AtPresent. CityOfTokyoJapan Tokyo the <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Monaco-In1988. CityOfMonaco-VilleMonaco Monaco CityOfHarareZimbabwe Harare, Zimbabwe CityOfSofiaBulgaria Sofia, Bulgaria The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Bulgaria. CityOfLilongweMalawi Lilongwe, Malawi CityOfBanjulGambia Banjul CityOfSantoDomingoDominicanRepublic Santo Domingo, Dominican Republic One of the majorCities of DominicanRepublic-AtPresent. CityOfGaboroneBotswana Gaborone, Botswana The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorcities of Botswana-1986 CityOfPretoriaSouthAfrica Pretoria, South Africa The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Uganda-1988. Kampala, Uganda CityOfKampalaUganda CityOfSassandraIvoryCoast Sassandra, Cote D'ivoire Paramaribo, Suriname CityOfParamariboSuriname CityOfBratislavaSlovakia Bratislava One of the majorCities of Czechoslovakia-AtPresent. The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and majorCity of ElSalvador-AtPresent. San Salvador, El Salvador CityOfSanSalvadorElSalvador Lima, Peru CityOfLimaPeru The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Peru-AtPresent. CityOfVilniusLithuania Vilna Beirut CityOfBeirutLebanon CityOfMogadishuSomalia Mogadishu CityOfPapeeteFrenchPolynesia capital of FrenchPolynesia Papeete Port of Spain, Trinidad and Tobago CityOfPortOfSpainTrinidadAndTobago CityOfGuatemalaCityGuatemala Guatemala The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Guatemala-AtPresent. Seoul, the Republic of Korea The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/SouthKorea" class="cyc_term">SouthKorea</a>. CityOfSeoulSouthKorea The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorCities of Poland-AtPresent. Warsaw, Poland CityOfWarsawPoland Budapest, Hungary CityOfBudapestHungary The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and the majorCity of Nicaragua-AtPresent. CityOfManaguaNicaragua Managua, Nicaragua CityOfBrasiliaBrazil Brasilia, Brazil The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Brazil-AtPresent. Dubai The city of Dubai located in <a href="http://sw.opencyc.org/2009/04/07/concept/en/UnitedArabEmirates" class="cyc_term">UnitedArabEmirates</a>. CityOfDubaiUAE The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Gabon-1986 CityOfLibrevilleGabon Libreville, Gabon CityOfLondonEngland London, the United Kingdom The <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfLondonEngland" class="cyc_term">CityOfLondonEngland</a> refers to the city of Greater London (not the small district therein which is <a href="http://sw.opencyc.org/2009/04/07/concept/en/TheCityOfLondon_Proper" class="cyc_term">TheCityOfLondon_Proper</a>), the capital of <a href="http://sw.opencyc.org/2009/04/07/concept/en/UnitedKingdomOfGreatBritainAndNorthernIreland" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a>. CityOfMaseruLesotho Maseru, Lesotho The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorCities of Spain-AtPresent. Madrid, Spain CityOfMadridSpain Asuncion CityOfAsuncionParaguay One of the majorCities of Taiwan-AtPresent. T'ai-pei CityOfTaipeiTaiwan The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of Libya-AtPresent. Tripoli, Libya CityOfTripoliLibya Nuuk CityOfNuukGreenland capital of Greenland Niamey, Niger The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorcities of Niger-AtPresent. CityOfNiameyNiger Bangkok, Thailand CityOfBangkokThailand The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorCities and <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of Thailand-AtPresent. Apia, Western Samoa CityOfApiaWesternSamoa Capital of WesternSamoa-AtPresent. VillageOfMBoubeneBiffeche The village of MBoubene (full name: Al Madinatoul Islamiah MBoubene Peulh), the legal capital of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Biffeche_KingdomOf" class="cyc_term">Biffeche_KingdomOf</a>. MBoubene is a village perched on high sand dune hills, reached from the city of Saint-Louis, <a href="http://sw.opencyc.org/2009/04/07/concept/en/Senegal" class="cyc_term">Senegal</a>, by road northeast through rural <a href="http://sw.opencyc.org/2009/04/07/concept/en/Senegal" class="cyc_term">Senegal</a>. It is in the <a href="http://sw.opencyc.org/2009/04/07/concept/en/SenegalRiver" class="cyc_term">SenegalRiver</a> delta, a few miles from the river. It was formerly called 'Old Biffeche' and is sometimes called 'Biffeche City'. Its Biffeche <a href="http://sw.opencyc.org/2009/04/07/concept/en/EthnicGroupOfSererNdut" class="cyc_term">EthnicGroupOfSererNdut</a> people left for the <a href="http://sw.opencyc.org/2009/04/07/concept/en/VillageOfSavoigneBiffeche" class="cyc_term">VillageOfSavoigneBiffeche</a> in the 1970's and they were replaced by Peulh (<a href="http://sw.opencyc.org/2009/04/07/concept/en/EthnicGroupOfFula" class="cyc_term">EthnicGroupOfFula</a>) people. Biffeche-Ville Mexico City, Mexico The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Mexico-AtPresent. CityOfMexicoCityMexico Bruxelles The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of the country of Belgium. CityOfBrusselsBelgium Vientiane, Laos The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorCities of Laos-AtPresent. CityOfVientianeLaos The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of PapuaNewGuinea-AtPresent. Port Moresby, Papua New Guinea CityOfPortMoresbyPapuaNewGuinea Kigali, Rwanda CityOfKigaliRwanda The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Benin" class="cyc_term">Benin</a>. CityOfPortoNovoBenin Porto-Novo QuezonCityPhilippines Quezon City, Philippines CityOfKualaLumpurMalaysia Kuala Lumpur, Malaysia The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Malaysia-AtPresent. The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Honduras-AtPresent. CityOfTegucigalpaHonduras Tegucigalpa, Honduras Tana CityOfAntananarivoMadagascar One of the majorCities of Madagascar-AtPresent. The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorCities and <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of NorthernIreland. CityOfBelfastNorthernIreland Belfast, the United Kingdom The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as the major city and a chief port (see <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a>) of Iceland. Reykjavik, Iceland CityOfReykjavikIceland Bujumbura, Burundi The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorcities of Burundi-1986 CityOfBujumburaBurundi Kishinev CityOfChisinauMoldova Lome, Togo The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorcities of Togo-1986 CityOfLomeTogo Bandar Seri Begawan, Brunei One of the majorCities of Brunei-AtPresent. CityOfBandarSeriBegawanBrunei CityOfCardiffWales One of the <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of the country of Wales. Cardiff, Wales and Monmouthshire Yerevan CityOfYerevanArmenia CityOfKingstonJamaica One of the majorCities of Jamaica-1986, & capital Kingston, Jamaica Lusaka, Zambia CityOfLusakaZambia Phnom Penh CityOfPhnomPenhCambodia The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorCities of Cambodia-AtPresent. CityOfParisFrance Paris, France The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/France" class="cyc_term">France</a>. CityOfAsmaraEritrea Asmera CityOfPyongyangNorthKorea The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of NorthKorea P'yongyang Ashgabat CityOfAshgabatTurkmenistan The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of the <a href="http://sw.opencyc.org/2009/04/07/concept/en/CzechRepublic" class="cyc_term">CzechRepublic</a> and the erstwhile <a href="http://sw.opencyc.org/2009/04/07/concept/en/Czechoslovakia" class="cyc_term">Czechoslovakia</a>. Prague, Czech Republic CityOfPragueCzechRepublic The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Macedonia" class="cyc_term">Macedonia</a>. CityOfSkopjeMacedonia Skopje, Macedonia CityOfIslamabadPakistan The capital city of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Pakistan" class="cyc_term">Pakistan</a>. Islamabad, Pakistan The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Sweden-AtPresent. Stockholm, Sweden CityOfStockholmSweden Sarajevo The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Bosnia_Herzegovina" class="cyc_term">Bosnia_Herzegovina</a>, and of the Moslem-Croat federation within it. CityOfSarajevoBosnia-Herzegovina The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorcities of Swaziland-1986 Mbabane, Swaziland CityOfMbabaneSwaziland Cairo, Egypt CityOfCairoEgypt The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Egypt-AtPresent CityOfAlmatyKazakhstan The city <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAlmatyKazakhstan" class="cyc_term">CityOfAlmatyKazakhstan</a> is unique from the region <a href="http://sw.opencyc.org/2009/04/07/concept/en/Almaty_StateKazakhstan" class="cyc_term">Almaty_StateKazakhstan</a> and is distinguished in <a href="http://sw.opencyc.org/2009/04/07/concept/en/EnglishMt" class="cyc_term">EnglishMt</a> by appending the word "Qalasy" to "Almaty". "Qalasy" means city. Almaty Qalasy The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorcities of Djibouti-1986 CityOfDjiboutiDjibouti Djibouti, Djibouti Yaren, Nauru The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Nauru-AtPresent. CityOfYarenNauru The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Uzbekistan" class="cyc_term">Uzbekistan</a>. Tashkent, Uzbekistan CityOfTashkentUzbekistan The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorcities of Ecuador-AtPresent. CityOfQuitoEcuador Quito, Ecuador CityOfKabulAfghanistan THe <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and majorCity of Afghanisthan-AtPresent. Kabul, Afghanistan The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/NewZealand" class="cyc_term">NewZealand</a>. CityOfWellingtonNewZealand Wellington, New Zealand CityOfCharlotteAmalieVirginIslands Charlotte Amalie Basseterre, St. Kitts and Nevis CityOfBasseterreSaintKitts-Nevis One of the majorCities of SaintChristopher&Nevis-AtPresent. CityOfMuscatOman Muscat Abidjan, Cote D'ivoire CityOfAbidjanIvoryCoast Nicosia, Cyprus CityOfNicosiaCyprus One of the majorCities of Cyprus-AtPresent. CityOfFunafutiTuvalu Funafuti, Tuvalu The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Tuvalu-AtPresent. CityOfSanJoseCostaRica San Jose, Costa Rica The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of CostaRica-AtPresent. The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorcities of Albania-In1988. CityOfTiranaAlbania Tirane CityOfRabatMorocco Rabat, Morocco One of the majorCities of CapeVerde-AtPresent. Praia, Cape Verde CityOfPraiaCapeVerde CityOfBamakoMali Bamako, Mali Nairobi, Kenya CityOfNairobiKenya The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Kenya" class="cyc_term">Kenya</a>. CityOfOsloNorway Oslo, Norway The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Norway-AtPresent. Ouagadougou, Burkina CityOfOuagadougouBurkinaFaso The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorcities of BurkinaFaso-1986 CityOfAddisAbabaEthiopia Addis CityOfBogotaColombia Bogota, Colombia The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Colombia-AtPresent. Dakar, Senegal CityOfDakarSenegal CityOfRiyadhSaudiArabia The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of SaudiArabia. Riyadh, Saudi Arabia CityOfAmsterdamNetherlands Amsterdam, the Netherlands The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Ukraine" class="cyc_term">Ukraine</a>. CityOfKievUkraine Kyiv CityOfJerusalemIsrael Jerusalem, Israel The <a href="http://sw.opencyc.org/2009/04/07/concept/en/City" class="cyc_term">City</a> named Jerusalem which is part of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Israel" class="cyc_term">Israel</a>. This does not include those portions of Jerusalem that are or were not part of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Israel" class="cyc_term">Israel</a> at any given time. In the 1980's <a href="http://sw.opencyc.org/2009/04/07/concept/en/Israel" class="cyc_term">Israel</a> declared the <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfJerusalemIsrael" class="cyc_term">CityOfJerusalemIsrael</a> to be its <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a>. Most nations do not recognize this (in 1998) because <a href="http://sw.opencyc.org/2009/04/07/concept/en/Israel" class="cyc_term">Israel</a> has annexed the rest of the <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfJerusalem" class="cyc_term">CityOfJerusalem</a> and incorporated it into the <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfJerusalemIsrael" class="cyc_term">CityOfJerusalemIsrael</a>. CityOfNoumeaNewCaledonia capital of NewCaledonia-Territory Noumea The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and majorCity of Namibia-ControlledLand-AtPresent. Windhoek, Namibia CityOfWindhoekNamibia Andorra la Vella, Andorra CityOfAndorraLaVellaAndorra The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of Andorra-AtPresent. CityOfRomeItaly The CapitalCity of Italy-AtPresent. Rome, Italy The capital city of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Kosovo_ProvinceSerbia" class="cyc_term">Kosovo_ProvinceSerbia</a> from shortly after #$WorldWarII until at least March 1999. CityOfPristinaSerbia Prishtina Montevideo, Uruguay CityOfMontevideoUruguay CityOfLaayouneSahrawi Rabat, Western Sahara CityOfLesCayesHaiti Les Cayes, Haiti One of the major ports of Haiti-1986 CityOfDushanbeTajikistan Stalinabad CityOfConakryGuinea Konakri CityOfBanguiCentralAfricanRepublic Bangui, Central African Republic One of the major ports of Jamaica-1986 Montego Bay, Jamaica CityOfMontegoBayJamaica Lisboa CityOfLisbonPortugal The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorCity and one of the <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of Portugal Honiara, the Solomon Islands CityOfHoniaraSolomonIslands The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of SolomonIslands-AtPresent. Victoria The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> of the former British crown colony of HongKong. CityOfVictoriaHongKong CityOfEdinburghScotland Edinburgh, Scotland The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and one of the majorCities of Scotland-1986. CityOfMalaboEquatorialGuinea Malabo, Equatorial Guinea Habana CityOfHavanaCuba The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and also one of the majorCities and <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of Cuba-AtPresent. Sao Tome, Sao Tome and Principe One of the majorCities of SaoTome&Principe-AtPresent. CityOfSaoTomeSaoTomeAndPrincipe San Juan One of the majorCities of PuertoRico-Island CityOfSanJuanPuertoRico Brazzaville, Congo CityOfBrazzavilleCongo CityOfFreetownSierraLeone Freetown, Sierra Leone CityOfSantiagoChile Santiago, Chile The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and the majorCity of Chile-AtPresent. CityOfHargeysaSomaliland The <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfHargeysaSomaliland" class="cyc_term">CityOfHargeysaSomaliland</a> is the capital city of <a href="http://sw.opencyc.org/2009/04/07/concept/en/Somaliland" class="cyc_term">Somaliland</a>, inland from the coast of the <a href="http://sw.opencyc.org/2009/04/07/concept/en/GulfOfAden" class="cyc_term">GulfOfAden</a>. Hargeysa St. George's CityOfSaintGeorgesGrenada One of the majorCities of Grenada-AtPresent. Athens, Greece The capital city and one of the major cities of Greece-AtPresent. CityOfAthensGreece CityOfLuxembourg the <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and a majorCity of Luxembourg-AtPresent. Luxembourg, Luxembourg Helsinki, Finland CityOfHelsinkiFinland The <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> as well as one of the majorCities and <a href="http://sw.opencyc.org/2009/04/07/concept/en/chiefPorts" class="cyc_term">chiefPorts</a> of Finland-AtPresent. CityOfOranjestadAruba Oranjestad Quoted Isa A binary <a href="http://sw.opencyc.org/2009/04/07/concept/en/MetaLanguagePredicate" class="cyc_term">MetaLanguagePredicate</a> (q.v.) that relates CycL expressions to the <a href="http://sw.opencyc.org/2009/04/07/concept/en/SubLExpressionType" class="cyc_term">SubLExpressionType</a>s (q.v.) of which they are instances. <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> is thus like a restricted version of <a href="http://sw.opencyc.org/2009/04/07/concept/en/isa" class="cyc_term">isa</a> (q.v.), but with one important difference: the first argument-place of <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> is "implicitly quoted" (see <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedArgument" class="cyc_term">quotedArgument</a>). So a ground atomic sentence of the form <code>(<a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> THING EXPR-TYPE)</code> does not mean that <code>THING</code> itself is an instance of <code>EXPR-TYPE</code>. Rather, such a sentence is partly self-referential, and means that the particular CycL expression appearing in the sentence's own first argument-position is an instance of <code>EXPR-TYPE</code>. Thus, <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> provides a convenient shorthand for stating certain things that would otherwise require explicit quotation (or some other device for naming expressions). This is better illustrated with a specific example. Suppose we wish to state that the CycL constant <code><a href="http://sw.opencyc.org/2009/04/07/concept/en/IndianOcean" class="cyc_term">IndianOcean</a></code> is an instance of the CycL expression type #$PublicConstant. We cannot express this with the straightforward <a href="http://sw.opencyc.org/2009/04/07/concept/en/isa" class="cyc_term">isa</a> sentence <code>(<a href="http://sw.opencyc.org/2009/04/07/concept/en/isa" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/2009/04/07/concept/en/IndianOcean" class="cyc_term">IndianOcean</a> #$PublicConstant)</code>, as that states the falsehood that the IndianOcean itself -- which is not a constant but a body of water -- is a public constant. But we can express precisely what we want like this: <pre> (<a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> <a href="http://sw.opencyc.org/2009/04/07/concept/en/IndianOcean" class="cyc_term">IndianOcean</a> #$PublicConstant) . </pre> Now <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> is a <a href="http://sw.opencyc.org/2009/04/07/concept/en/MacroRelation" class="cyc_term">MacroRelation</a> (q.v.), and by its <a href="http://sw.opencyc.org/2009/04/07/concept/en/expansion" class="cyc_term">expansion</a> any given <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> sentence is equivalent to some <a href="http://sw.opencyc.org/2009/04/07/concept/en/isa" class="cyc_term">isa</a> sentence with an explicitly quoted first argument. The sentence displayed above turns out to be equivalent to: <pre> (<a href="http://sw.opencyc.org/2009/04/07/concept/en/isa" class="cyc_term">isa</a> (<a href="http://sw.opencyc.org/2009/04/07/concept/en/Quote" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/2009/04/07/concept/en/IndianOcean" class="cyc_term">IndianOcean</a>) #$PublicConstant). </pre> But the <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> version has two related practical advantages over the <a href="http://sw.opencyc.org/2009/04/07/concept/en/isa" class="cyc_term">isa</a> version. First, the former is syntactically simpler than the latter. Second, the simpler syntax of the former makes it easier to browse in the Knowedge Base: while the <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> version is conveniently indexed under the KB Browser page for the constant <code><a href="http://sw.opencyc.org/2009/04/07/concept/en/IndianOcean" class="cyc_term">IndianOcean</a></code>, the <a href="http://sw.opencyc.org/2009/04/07/concept/en/isa" class="cyc_term">isa</a> version would apparently be indexed under a separate, brand new page for the term <code>(<a href="http://sw.opencyc.org/2009/04/07/concept/en/Quote" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/2009/04/07/concept/en/IndianOcean" class="cyc_term">IndianOcean</a>)</code>. Generalizing the point, <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a> lets us avoid having potentially to double the number of pages currently in the browser. For the semantically more complicated (but rarely encountered) case in which <a href="http://sw.opencyc.org/2009/04/07/concept/en/quotedIsa" class="cyc_term">quotedIsa</a>'s first argument-place is filled with an open expression, see the accompanying #$cyclistNotes. quotedIsa seeAlsoURI See Also URI <code>(<a href="http://sw.opencyc.org/2009/04/07/concept/en/seeAlsoURI" class="cyc_term">seeAlsoURI</a> THING URI)</code> means that a description of the resource identified by URI is likely to contain information pertinent to THING. This predicate is roughly equivalent to rdfs:seeAlso. unnatural thing NonNaturalThing The collection of non-natural individuals. This collection is hard to precisely define but, roughly, something is an instance of this collection just in case it is one of the following: 1) <a href="http://sw.opencyc.org/2009/04/07/concept/en/Individual" class="cyc_term">Individual</a> acts that are intentionally performed by <a href="http://sw.opencyc.org/2009/04/07/concept/en/IntelligentAgent" class="cyc_term">IntelligentAgent</a>s, or 2) <a href="http://sw.opencyc.org/2009/04/07/concept/en/Individual" class="cyc_term">Individual</a>s that in some significant sense "could only have been the result" of the intentional activities of <a href="http://sw.opencyc.org/2009/04/07/concept/en/IntelligentAgent" class="cyc_term">IntelligentAgent</a>s (or groups thereof). Positive examples in the first category include <a href="http://sw.opencyc.org/2009/04/07/concept/en/CesareanBirth" class="cyc_term">CesareanBirth</a>s, negative examples include eating. Positive examples in the second category include instances of industrial pollution and tire tracks. Negative examples include human vomit and human (bare) footprints. prettyString Pretty String (<a href="http://sw.opencyc.org/2009/04/07/concept/en/prettyString" 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/2009/04/07/concept/en/prettyString" 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. word net workflow constant not fully reviewed WordNetWorkflowConstant-NotFullyReviewed The collection of all <a href="http://sw.opencyc.org/2009/04/07/concept/en/CycLConstant" class="cyc_term">CycLConstant</a>s created from the import of concepts from <a href="http://sw.opencyc.org/2009/04/07/concept/en/WordNet_Version2_0" class="cyc_term">WordNet_Version2_0</a> that have not yet been fully reviewed by a <a href="http://sw.opencyc.org/2009/04/07/concept/en/HumanCyclist" class="cyc_term">HumanCyclist</a>. non-overlapping geopolitical entity A collection of collections. Instances of <a href="http://sw.opencyc.org/2009/04/07/concept/en/GeopoliticalEntityTypeByNonOverlappingJurisdiction" class="cyc_term">GeopoliticalEntityTypeByNonOverlappingJurisdiction</a> are subcollections of <a href="http://sw.opencyc.org/2009/04/07/concept/en/GeopoliticalEntity" class="cyc_term">GeopoliticalEntity</a> members of which have jurisdictions that do not overlap. GeopoliticalEntityTypeByNonOverlappingJurisdiction A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/City" class="cyc_term">City</a>. Each instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" 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/2009/04/07/concept/en/CityOfRomeItaly" class="cyc_term">CityOfRomeItaly</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfCardiffWales" class="cyc_term">CityOfCardiffWales</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAustinTX" class="cyc_term">CityOfAustinTX</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAbidjanIvoryCoast" class="cyc_term">CityOfAbidjanIvoryCoast</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfLhasaTibet" class="cyc_term">CityOfLhasaTibet</a>, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfColumbusOH" class="cyc_term">CityOfColumbusOH</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCityOfState" class="cyc_term">capitalCityOfState</a>. capital city CapitalCityOfRegion politics and government geography topic PoliticsAndGovernment-Geography-Topic A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/City" class="cyc_term">City</a>. Each instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" 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/2009/04/07/concept/en/CityOfRomeItaly" class="cyc_term">CityOfRomeItaly</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfCardiffWales" class="cyc_term">CityOfCardiffWales</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAustinTX" class="cyc_term">CityOfAustinTX</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAbidjanIvoryCoast" class="cyc_term">CityOfAbidjanIvoryCoast</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfLhasaTibet" class="cyc_term">CityOfLhasaTibet</a>, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfColumbusOH" class="cyc_term">CityOfColumbusOH</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCityOfState" class="cyc_term">capitalCityOfState</a>. capital city CapitalCityOfRegion A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/City" class="cyc_term">City</a>. Each instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" 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/2009/04/07/concept/en/CityOfRomeItaly" class="cyc_term">CityOfRomeItaly</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfCardiffWales" class="cyc_term">CityOfCardiffWales</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAustinTX" class="cyc_term">CityOfAustinTX</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAbidjanIvoryCoast" class="cyc_term">CityOfAbidjanIvoryCoast</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfLhasaTibet" class="cyc_term">CityOfLhasaTibet</a>, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfColumbusOH" class="cyc_term">CityOfColumbusOH</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCityOfState" class="cyc_term">capitalCityOfState</a>. capital city CapitalCityOfRegion City city <a href="http://sw.opencyc.org/2009/04/07/concept/en/City" class="cyc_term">City</a> is a specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/GeopoliticalEntity" class="cyc_term">GeopoliticalEntity</a> whose territory is an instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/UrbanArea" class="cyc_term">UrbanArea</a>. Each instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/City" class="cyc_term">City</a> is a local organization of a human settlement which has its own government. This includes cities, towns, suburbs, villages, hamlets, and townships, as long as they have their own governments. A city government is usually mostly autonomous from the governments of its surrounding regions, rather than being a sub-organization of them. A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/City" class="cyc_term">City</a>. Each instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/CapitalCityOfRegion" 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/2009/04/07/concept/en/CityOfRomeItaly" class="cyc_term">CityOfRomeItaly</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfCardiffWales" class="cyc_term">CityOfCardiffWales</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAustinTX" class="cyc_term">CityOfAustinTX</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfAbidjanIvoryCoast" class="cyc_term">CityOfAbidjanIvoryCoast</a>, <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfLhasaTibet" class="cyc_term">CityOfLhasaTibet</a>, and <a href="http://sw.opencyc.org/2009/04/07/concept/en/CityOfColumbusOH" class="cyc_term">CityOfColumbusOH</a>. See also <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCity" class="cyc_term">capitalCity</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/capitalCityOfState" class="cyc_term">capitalCityOfState</a>. capital city CapitalCityOfRegion