]> 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. country A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a> is a nation-state having its own territory, population, and government, whether or not it is fully independent. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIm5wpEbGdrcN5Y29ycA" class="cyc_term">Scotland</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>, even though it is a part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRhJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a>. See also the important specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>. Country http://en.wikipedia.org/wiki/Country nations countries nation Caspian country CaspianCountry The collection of nation-states bordering the Caspian Sea. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNJMLpwpEbGdrcN5Y29ycA" class="cyc_term">IndustrializedCountry</a> is a nation-state whose economy is characterized by large industries, at least some mechanization of production, and by a concentration of the work force in urban, rather than rural, areas. industrialized country IndustrializedCountry head sponsor of terrorism (SponsorFn-AgentType State-SponsoredTerroristAgent) MiddleEasternCountry Middle Eastern country The collection of countries in southwest Asia or, in the case of Egypt, northeast Africa, in the vicinity of the eastern Mediterranean or the Persian Gulf. Admittedly, a certain amount of arbitrariness is inevitable in specifying which countries are Middle Eastern; still, we've sought a serviceable delimitation based on geography and common usage. Specifically, the members of this collection are Bahrain, Cyprus, Egypt, Iran, Iraq, Israel, Jordan, Kuwait, Lebanon, Oman, Qatar, Saudi Arabia, Syria, the United Arab Emirates, and Yemen. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVvBTrJhkQdiCKs3GWTcWTg" class="cyc_term">CountryTypeByGeneralRegion</a>. This is the collection of all countries that are located in (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrZZJ5wpEbGdrcN5Y29ycA" class="cyc_term">SouthEasternRegionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqEpwpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfAsia</a>). Southeast Asian country SoutheastAsianCountry SouthAsianCountry South Asian country An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVvBTrJhkQdiCKs3GWTcWTg" class="cyc_term">CountryTypeByGeneralRegion</a>. This is the collection of all countries that are located in (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7tpwpEbGdrcN5Y29ycA" class="cyc_term">SouthernRegionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqEpwpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfAsia</a>). <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIFpwpEbGdrcN5Y29ycA" class="cyc_term">Afghanistan</a> is sometimes considered a south Asian country, but we do not include it. EastAsianCountry An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVvBTrJhkQdiCKs3GWTcWTg" class="cyc_term">CountryTypeByGeneralRegion</a>. This is the collection of all countries that are located in (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7LJwpEbGdrcN5Y29ycA" class="cyc_term">EasternRegionFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqEpwpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfAsia</a>). East Asian country independent country A collection of geopolitical entities and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a> is a distinct, independent geopolitical entity generally recognized by the international community. An independent country typically has a relatively stable government, enforced borders, its own currency, laws, and culture. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4PJwpEbGdrcN5Y29ycA" class="cyc_term">Germany</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViH_pwpEbGdrcN5Y29ycA" class="cyc_term">Liberia</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZUBd5wpEbGdrcN5Y29ycA" class="cyc_term">Mongolia</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7XJwpEbGdrcN5Y29ycA" class="cyc_term">India</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVigv5wpEbGdrcN5Y29ycA" class="cyc_term">Taiwan_RepublicOfChina</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViUSpwpEbGdrcN5Y29ycA" class="cyc_term">Honduras</a>. IndependentCountry NorthAmericanCountry North American country An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVvBTrJhkQdiCKs3GWTcWTg" class="cyc_term">CountryTypeByGeneralRegion</a>. This is the collection of all countries that are located on or near the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4gpwpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfNorthAmerica</a>. (CollectionSubsetFn Country (TheSetOf ?OBJ (thereExists ?ACTION (and (isa ?ACTION (MakingAvailableFn Border-StripNearTheBoundaryOfAnObject)) (objectActedOn ?ACTION Namibia) (performedBy ?ACTION ?OBJ))))) country in the set of ?OBJ such that ?OBJ bordered Namibia The collection of nation-states neighboring the Caucasus Mountains, including Azerbaijan, Armenia, Russia, Georgia, Turkey and Iran. Caucasus country CaucasusCountry An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQBu64G2gEdaAAACgyZzFrg" class="cyc_term">GeopoliticalEntityBySystemOfGovernment</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r9q9Azm2vEdaAAACgyZzFrg" class="cyc_term">Monarchy</a> is a country with a system of government in which an hereditary ruler figures prominently. Subsumes both absolute monarchy, where executive, legislative, and judicial functions of government are vested in the monarch, and constitutional monarchies, in which at least some aspects of the government derive from a written constitution and not from the monarch's whim. Monarchy monarchy An independent <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a> formed in 1998 on the tip of the horn of Africa in the territory of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViJzpwpEbGdrcN5Y29ycA" class="cyc_term">Somalia</a> after the government of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViJzpwpEbGdrcN5Y29ycA" class="cyc_term">Somalia</a> collapsed in the early 1990s. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZCR7xmLXEdaAAABQ2rksLw" class="cyc_term">Puntland</a> is not recognized as an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a> by the world community. Puntland Puntland Scotland The physical and political aspects of the geographycal area called Scotland. Scotland England England The country of England, both physical and political. The southern end of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0qZwpEbGdrcN5Y29ycA" class="cyc_term">GreatBritain_TheIsland</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTg5wpEbGdrcN5Y29ycA" class="cyc_term">Egypt</a> from the founding of the Old Kingdom (3110 BCE) to the end of the New Kingdom (conquest by Alexander in 332 BCE). AncientEgypt Ancient Egypt Bayern-StateGermany Bavaria The Independent Republic of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwD70KJwpEbGdrcN5Y29ycA" class="cyc_term">Somaliland</a> is a de facto independent country in the northwest part of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViJzpwpEbGdrcN5Y29ycA" class="cyc_term">Somalia</a> (the section which was formerly British Somaliland) on the south coast of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrW5wpEbGdrcN5Y29ycA" class="cyc_term">GulfOfAden</a>, immediately east of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGKZwpEbGdrcN5Y29ycA" class="cyc_term">Djibouti</a>. Its population is mostly of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViUHpwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfSomali</a>s. Since the breakdown of government in Somalia in 1991, major countries have refused to recognize the Independent Republic of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwD70KJwpEbGdrcN5Y29ycA" class="cyc_term">Somaliland</a> diplomatically, although the government has complete governing sovereignty over the territory, as of the year 2000. Somaliland Republic of Somaliland Serbia: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMAYTJwpEbGdrcN5Y29ycA" class="cyc_term">CountrySubsidiary</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>, and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rXJYT2DVpEduAAAACs6hRXg" class="cyc_term">BalkanCountry</a>. Serbia Serbia Provence Provence Brittany Brittany Wales The physical and political aspects of the geographical area called <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitvJwpEbGdrcN5Y29ycA" class="cyc_term">Wales</a>. Wales Catalonian France CatalonianFrance WesternSahara Western Sahara Western Sahara: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVih3JwpEbGdrcN5Y29ycA" class="cyc_term">Territory</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv54NFJwpEbGdrcN5Y29ycA" class="cyc_term">TransdniesterRepublic</a> is an effectively independent country which seceded from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgGi05wpEbGdrcN5Y29ycA" class="cyc_term">Moldova</a> between <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqORQJwpEbGdrcN5Y29ycA" class="cyc_term">Ukraine</a> and the rest of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgGi05wpEbGdrcN5Y29ycA" class="cyc_term">Moldova</a> northeast of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNX5wpEbGdrcN5Y29ycA" class="cyc_term">DnestrRiver</a>. It achieved de facto independence and sovereignty in 1991 and declared independence in 1995, but (in 2000) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgGi05wpEbGdrcN5Y29ycA" class="cyc_term">Moldova</a> does not recognize these claims. Its population is mostly of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkm3fpwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfMoldavians</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjCEpwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfRussians</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPA5wpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfUkrainians</a>. Major countries and the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkMNpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedNationsOrganization</a> have refused to recognize the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv54NFJwpEbGdrcN5Y29ycA" class="cyc_term">TransdniesterRepublic</a> diplomatically. Transdniester Republic TransdniesterRepublic government organizations organization topic GovernmentOrganizations-Organization-Topic A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a> is a nation-state having its own territory, population, and government, whether or not it is fully independent. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIm5wpEbGdrcN5Y29ycA" class="cyc_term">Scotland</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>, even though it is a part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRhJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a>. See also the important specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>. country Country A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a> is a nation-state having its own territory, population, and government, whether or not it is fully independent. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIm5wpEbGdrcN5Y29ycA" class="cyc_term">Scotland</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>, even though it is a part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRhJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a>. See also the important specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>. country Country type of geographical entity classified by hierarchy A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-FNbpwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntityTypeByBasicCategory</a> is a collection of geopolitical entities of the same basic type, e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkmJwpEbGdrcN5Y29ycA" class="cyc_term">County</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>. GeopoliticalEntityTypeByBasicCategory NonAbducibleCollection The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roVp5xVzKEdiLrQAH6RYvVA" class="cyc_term">NonAbducibleCollection</a> is a sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl_ZwpEbGdrcN5Y29ycA" class="cyc_term">SetOrCollection</a>. Abductive inferences sometimes involve hypothesizing the existence of entities as part of the explanation of some assertion or set of assertions. Cyc will not hypothesize the existence of instances of the collections that are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roVp5xVzKEdiLrQAH6RYvVA" class="cyc_term">NonAbducibleCollection</a>. Roughly, abductive inferences consume conceptual / theoretical knowledge rather than produce it. So, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roVp5xVzKEdiLrQAH6RYvVA" class="cyc_term">NonAbducibleCollection</a> because Cyc should be employing existing theoretical knowledge about instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> rather than hypothesizing new instances. non abducible collection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ret7qgOKgEdmAAAACs6hfSg" class="cyc_term">ConceptTypeByDomain</a>. Generally speaking, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r46fYpnaNEduAAAACs6hbjw" class="cyc_term">Analyst_PertinentConcept</a> are concepts and relations such as are used by intelligence analysts reasoning about threat situations. Specifically, all core concepts in this domain (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgycE6OKgEdmAAAACs6hfSg" class="cyc_term">coreConceptOfDomain</a>) are either 1) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBApwpEbGdrcN5Y29ycA" class="cyc_term">BinaryPredicate</a>s referenced in AKB Fact Entry Templates, 2) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, 3:)<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuItPZwpEbGdrcN5Y29ycA" class="cyc_term">argIsa</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBApwpEbGdrcN5Y29ycA" class="cyc_term">BinaryPredicate</a>s referenced in AKB Fact Entry Templates, 4) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuItPZwpEbGdrcN5Y29ycA" class="cyc_term">argIsa</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, 5) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyTLHJwpEbGdrcN5Y29ycA" class="cyc_term">argGenl</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, or 6) concepts or relations that are instances of instances of <font color="#ff0000">#$TKBInterfaceCollection</font>. Analyst-PertinentConcept the intelligence analyst reasoning domain 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 A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a> and of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinsZwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgent</a> and of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTccApwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalAgent</a>; instances of this collection control <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>s. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> includes a governing body, but is more than just that governing body. <p/> Important subcollections include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkEpwpEbGdrcN5Y29ycA" class="cyc_term">CityOfTokyoJapan</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP3jsZwpEbGdrcN5Y29ycA" class="cyc_term">BronxNY_Borough</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMJZwpEbGdrcN5Y29ycA" class="cyc_term">Alaska_State</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViJR5wpEbGdrcN5Y29ycA" class="cyc_term">Rwanda</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjunpwpEbGdrcN5Y29ycA" class="cyc_term">Singapore</a>, <font color="#ff0000">#$InnerMongolia</font>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2K8eJwpEbGdrcN5Y29ycA" class="cyc_term">Somerset_CountyEngland</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVigv5wpEbGdrcN5Y29ycA" class="cyc_term">Taiwan_RepublicOfChina</a>. <p/> A central feature of this collection is that geopolitical-entities (indeed, all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTccApwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalAgent</a>s) are viewed in two significantly different ways with respect to two different types of geography-related microtheories. In a &quot;physical&quot; geography microtheory (i.e. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvydXJJwpEbGdrcN5Y29ycA" class="cyc_term">PhysicalGeographyMt</a> and its submicrotheories), geopolitical-entities are clearly distinguished from the regions they control. (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYkdfpwpEbGdrcN5Y29ycA" class="cyc_term">TerritoryFn</a> <b>GEO-POL</b>) is used in these contexts to denote the land mass (a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviE6a5wpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalRegion</a>) of a given geopolitical-entity <b>GEO-POL</b>. In a &quot;dualist&quot; geography microtheory (i.e. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnCA15wpEbGdrcN5Y29ycA" class="cyc_term">DualistGeopoliticalMt</a> and its submicrotheories), on the other hand, geopolitical-entities are viewed as being <i>both</i> agents <i>and</i> land masses (i.e. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>s). Thus, there is little need for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYkdfpwpEbGdrcN5Y29ycA" class="cyc_term">TerritoryFn</a> in the latter sort of context. (Despite their somewhat paradoxical flavor, dualist microtheories arguably allow Cyc to mimic commonsense reasoning about geopolitical entities and regions more closely than do the stricter physicalist microtheories.) There are also some &quot;generic&quot; geography microtheories (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6rAIJwpEbGdrcN5Y29ycA" class="cyc_term">WorldGeographyMt</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvr3x_5wpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesGeographyMt</a>) which are neutral with respect to the physical and dualist views. <p/> Also see the shared-note for this constant. GeopoliticalEntity political entity A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a> is a nation-state having its own territory, population, and government, whether or not it is fully independent. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIm5wpEbGdrcN5Y29ycA" class="cyc_term">Scotland</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>, even though it is a part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRhJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a>. See also the important specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>. country Country the union of { organisation that is not a political entity, countries } (CollectionUnionFn (TheSet Organization-NonGeopoliticalEntity Country)) A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a> is a nation-state having its own territory, population, and government, whether or not it is fully independent. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIm5wpEbGdrcN5Y29ycA" class="cyc_term">Scotland</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a>, even though it is a part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRhJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a>. See also the important specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>. country Country