]> 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. 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. geopolitical entities by non-overlapping jurisdiction non-overlapping geopolitical entities geopolitical entities with non-overlapping jurisdiction geopolitical entity type with non-overlapping jurisdiction geopolitical entity with non-overlapping jurisdiction geopolitical entity type by non-overlapping jurisdiction geopolitical entity types with non-overlapping jurisdiction geopolitical entity by non-overlapping jurisdiction geopolitical entity types by non-overlapping jurisdiction 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 CityTypeByCountry A collection of collections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rH7bwlpQYEdaAAAACs1uxFw" class="cyc_term">CityTypeByCountry</a> are collections of cities. Each such collection COL is associated with a particular instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a> IND, such that for all instances CITY of COL, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfCnDJwpEbGdrcN5Y29ycA" class="cyc_term">countryOfCity</a> IND COL) holds. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv3A7TpwpEbGdrcN5Y29ycA" class="cyc_term">CityInCountryFn</a>. type of city, organized by country UKGeopoliticalSubdivisionType British local government type A collection of collections. Each instance of this collection is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> members whose jurisdictions in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRhJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a> does not overlap with other instances of this collection. Notable instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxBgsyuC8QdiPS_9fsMn8Nw" class="cyc_term">UKUnitaryAuthority</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rLyc0LuC-QdiFwvAHrbT_QQ" class="cyc_term">EnglishAdministrativeCounty</a>. Canadian province The collection of all the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVimZ5wpEbGdrcN5Y29ycA" class="cyc_term">Canada</a>. CanadianProvince UK geopolitical subdivision A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMAYTJwpEbGdrcN5Y29ycA" class="cyc_term">CountrySubsidiary</a>. Each instance of this collection is a subdivision of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRhJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedKingdomOfGreatBritainAndNorthernIreland</a>. Important specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwhVE0OC8QdiSO83ATpq9MQ" class="cyc_term">EnglishNonUnitaryAuthority</a>, UKGeopoliticalSubdivision A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a> is one of the states of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkAzpwpEbGdrcN5Y29ycA" class="cyc_term">Alabama_State</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/Mx4rvViMapwpEbGdrcN5Y29ycA" class="cyc_term">Arizona_State</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijHZwpEbGdrcN5Y29ycA" class="cyc_term">Arkansas_State</a>. State-UnitedStates U.S. state Chinese province ChineseProvince The collection of all Chinese provinces. A type of <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/Mx4rvsEIeJwpEbGdrcN5Y29ycA" class="cyc_term">ChineseProvince</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPJJhlM0SQdeDhsNnnhQekw" class="cyc_term">GeopoliticalEntityTypeByNonOverlappingJurisdiction</a>. State-Australia A collection of geopolitical sub-regions. Each of the elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcdEgJwpEbGdrcN5Y29ycA" class="cyc_term">State_Australia</a> is a state in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViUs5wpEbGdrcN5Y29ycA" class="cyc_term">Australia</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvdNWaZwpEbGdrcN5Y29ycA" class="cyc_term">Victoria_StateAustralia</a>. Australian state CountryCapital 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/Mx4rtzhQ6sP0EdmAAAACs6hO_g" class="cyc_term">CountryCapital</a> just in case it is the capital city of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIeZwpEbGdrcN5Y29ycA" class="cyc_term">Country</a> (q.v.). national capital colony A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a>. Each instance is a body of people who settle far from home but maintain ties with their homeland; inhabitants remain nationals of their home state but are not literally under the home state's system of government. Colony-GeopoliticalEntity A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>. Each instance of this collection is a geopolitical region that is the highest level of local government in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWaZwpEbGdrcN5Y29ycA" class="cyc_term">England</a>. GovernmentOfficeRegion region of England historic British county County-Britain The collection of traditional Welsh counties. A kind of <font color="#ff0000">#$SystemOfGovernment</font>, and hence a specialization of <font color="#ff0000">#$AttributeValue</font>. Characteristic of certain kinds of Arab states and domestic political arrangements. emirate Emirate-Geopolitical Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrxtHZwpEbGdrcN5Y29ycA" class="cyc_term">FrenchDepartment</a> are the second important administrative subdivision of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6EJwpEbGdrcN5Y29ycA" class="cyc_term">France</a>, they usually are subsumed into a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvltmvJwpEbGdrcN5Y29ycA" class="cyc_term">FrenchRegion</a>. Created by the French Revolution, departements became autonoms in 1871. <font color="#ff0000">#$AroundTheYear2000</font>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6EJwpEbGdrcN5Y29ycA" class="cyc_term">France</a> as 100 departements, 4 of these oversea. FrenchDepartment French department Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvltmvJwpEbGdrcN5Y29ycA" class="cyc_term">FrenchRegion</a> are the immediate administrative subdivision of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6EJwpEbGdrcN5Y29ycA" class="cyc_term">France</a>. They've been created in 1986 by recent reforms. <font color="#ff0000">#$AroundTheYear2000</font>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6EJwpEbGdrcN5Y29ycA" class="cyc_term">France</a> has 26 regions, 4 of these oversea. french region FrenchRegion prefecture This is a collection of major geopolitical sub-regions analogous to a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a> in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>. Prefecture A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> whose instances have populations larger than those of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv33BppwpEbGdrcN5Y29ycA" class="cyc_term">Village</a>s (q.v.) but smaller than those typically referred to as &quot;cities&quot;. Town township historic Welsh county County-Wales 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>. The collection of traditional Scottish counties. historic Scottish county County-Scotland 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 Village A subcollection 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/Mx4rv33BppwpEbGdrcN5Y29ycA" class="cyc_term">Village</a> consists of a small cluster of buildings located in a rural area. Most of the buildings are typically residents' houses; others might include shops, schools, churches, and the like. Many residents of a village typically work in the surrounding coutryside (say as farmers). Since <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv33BppwpEbGdrcN5Y29ycA" class="cyc_term">Village</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> (q.v.), an instance must in some way be self-governed. village The collection of traditional counties in England. historic English county County-England Canton-Swiss Swiss canton <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfufeILgqEdmAAAACs0x8nw" class="cyc_term">Canton_Swiss</a> is one of the states of the Swiss confederation. US county The collection of all US counties. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rKGoMuqMOEdqAAAACs6hO_g" class="cyc_term">SecondOrderAdministrativeDivision</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkmJwpEbGdrcN5Y29ycA" class="cyc_term">County</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpa3gGANrEdqAAAACs6hO_g" class="cyc_term">USCityOrCounty</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmG5wpEbGdrcN5Y29ycA" class="cyc_term">USCounty</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPJJhlM0SQdeDhsNnnhQekw" class="cyc_term">GeopoliticalEntityTypeByNonOverlappingJurisdiction</a>. USCounty A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>. Each instance of this collection is a geographical subdivision of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWaZwpEbGdrcN5Y29ycA" class="cyc_term">England</a>. Most counties are further subdivided into districts, but there are counties consisting of a single district. The administrative council for a county is charged with services in education, transport, planning, and other duties. administrative county of England EnglishAdministrativeCounty UnionTerritory-India union territory india A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMAYTJwpEbGdrcN5Y29ycA" class="cyc_term">CountrySubsidiary</a>. This is the collection of all the union territories of the nation of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7XJwpEbGdrcN5Y29ycA" class="cyc_term">India</a>. A union territory is an administrative subdivision controlled directly by the national government, as opposed to states (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAhymEuoyQdierZIPEPQ94w" class="cyc_term">State_India</a>), which have their own local governments. Superpower The collection of the world's most dominant countries. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvaJ7ipwpEbGdrcN5Y29ycA" class="cyc_term">Superpower</a> is very powerful both politically and militarily around the world. Throughout history countries have tended to align themselves with a superpower. world power PortCity 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/Mx4rwPflcJwpEbGdrcN5Y29ycA" class="cyc_term">PortCity</a> is a city that borders on some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjNz5wpEbGdrcN5Y29ycA" class="cyc_term">Harbor</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPflcJwpEbGdrcN5Y29ycA" class="cyc_term">PortCity</a> will contain at least one instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV6S75wpEbGdrcN5Y29ycA" class="cyc_term">Seaport</a> (q.v.). port city The physical and functional sides of a Protectorate -- a geopolitical entity that is weakly controlled by a foreign power, and (typically) strongly defended by them in case of attack protectorate Protectorate state-india State-India The collection of all the states of the nation of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7XJwpEbGdrcN5Y29ycA" class="cyc_term">India</a>. city state CityState The collection of geopolitical entities that are cities and states. Currently a singleton in Cyc, its unique element being <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVign5wpEbGdrcN5Y29ycA" class="cyc_term">VaticanCity</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 Indian district District-India The collection of all the districts of the nation of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7XJwpEbGdrcN5Y29ycA" class="cyc_term">India</a>. Districts are the administrative subdivision between cities and states. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ru-8ymLHtEdmAAAACs6hO_g" class="cyc_term">ArtifactualFeatureType</a> is the collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6-wc8BKxEdeIXwCgydofLQ" class="cyc_term">CartographicFeatureType</a>s which are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkH_ZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact</a>s, as opposed to naturally occuring. Positive examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzt5wpEbGdrcN5Y29ycA" class="cyc_term">WaterReservoir</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzcZwpEbGdrcN5Y29ycA" class="cyc_term">Canal</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rT2uByCTVQdeVZZaE0030Zg" class="cyc_term">Airfield</a>. Negative examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjODZwpEbGdrcN5Y29ycA" class="cyc_term">Mountain</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjktpwpEbGdrcN5Y29ycA" class="cyc_term">Ocean</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD8VZwpEbGdrcN5Y29ycA" class="cyc_term">Mesa</a>. Also see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rummjkLHtEdmAAAACs6hO_g" class="cyc_term">NaturalFeatureType</a>, the corresponding collection for naturally occuring feature types. artifactual feature type ArtifactualFeatureType The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection A collection of collections, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk05wpEbGdrcN5Y29ycA" class="cyc_term">RegionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> is a collection of geographical regions, where each of the regions in the collection is spatially disjoint with the other regions in the collection. For example, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a>, since the territories of U.S. states do not overlap. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj3zpwpEbGdrcN5Y29ycA" class="cyc_term">CanadianProvince</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/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7UPPpMkuEdmAAAACs6hRjg" class="cyc_term">Colony_GeopoliticalEntity</a>. A non-example is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKJ5wpEbGdrcN5Y29ycA" class="cyc_term">EcologicalRegion</a>, since ecological regions can overlap. region type whose instances are non-overlapping region types SpatiallyDisjointRegionType 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 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. 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.