]> 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. 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 http://en.wikipedia.org/wiki/U.S._state U.S. states US state American state US states American states Nebraska Nebraska: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Nebraska-State Texas: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Texas Texas-State Wyoming Wyoming-State Wyoming: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Oregon-State Oregon Oregon: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. North Carolina: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. North Carolina NorthCarolina-State Pennsylvania: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Pennsylvania Pennsylvania-State Montana Montana-State Montana: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Washington Washington-State Washington: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Minnesota-State Minnesota Minnesota: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Louisiana: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Louisiana Louisiana-State WestVirginia-State West Virginia West Virginia: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Michigan Michigan: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Michigan-State NewMexico-State New Mexico: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. New Mexico South Dakota SouthDakota-State South Dakota: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Kansas: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Kansas-State Kansas Maryland Maryland: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Maryland-State Iowa-State Iowa Iowa: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Maine-State Maine: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Maine Wisconsin: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Wisconsin-State Wisconsin South Carolina: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. SouthCarolina-State South Carolina Mississippi: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Mississippi Mississippi-State Vermont-State Vermont Vermont: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Tennessee Tennessee: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Tennessee-State Alabama-State Alabama: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Alabama Alaska Alaska-State northernmost and external U.S. state Florida: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Florida Florida-State Utah-State Utah: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Utah Idaho-State Idaho: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Idaho Ohio: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Ohio Ohio-State Connecticut Connecticut-State Connecticut: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Indiana Indiana-State Indiana: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Virginia Virginia-State Virginia: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Massachusetts Massachusetts: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Massachusetts-State Arizona Arizona-State Arizona: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Georgia-State Georgia Georgia: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Nevada-State Nevada Nevada: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. New Jersey: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. NewJersey-State New Jersey Oklahoma Oklahoma: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Oklahoma-State Missouri Missouri-State Missouri: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Kentucky Kentucky-State Kentucky: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Delaware Delaware: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Delaware-State New York: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. New York NewYork-State Hawaii: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Hawaii-State Hawaii North Dakota: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. NorthDakota-State North Dakota New Hampshire: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. New Hampshire NewHampshire-State Colorado-State Colorado Colorado: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Rhode Island: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. RhodeIsland-State Rhode Island Arkansas-State Arkansas Arkansas: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTpvCZwpEbGdrcN5Y29ycA" class="cyc_term">LandlockedGeopoliticalEntity</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. Illinois-State Illinois Illinois: a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. California-State California The state of California, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfGaTZwpEbGdrcN5Y29ycA" class="cyc_term">geopoliticalSubdivision</a>s of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>. 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 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 USAdministrativeDivision <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqt0V_gNrEdqAAAACs6hO_g" class="cyc_term">USAdministrativeDivision</a> is the collection of all US states (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>), territories (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIUSv5wpEbGdrcN5Y29ycA" class="cyc_term">Territory_US</a>) plus the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpFXOpwpEbGdrcN5Y29ycA" class="cyc_term">DistrictOfColumbia</a>. U.S. administrative division 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 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 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 A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. UnitedStates-Geography-Topic united states geography topic A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMAYTJwpEbGdrcN5Y29ycA" class="cyc_term">CountrySubsidiary</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a> is a geopolitical entity whose government is at the very next administrative level down from the national level. In different countries, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a> may be called &quot;regions&quot;, &quot;states&quot;, &quot;provinces&quot;, &quot;prefectures&quot;, &quot;departments&quot;, &quot;parishes&quot;, or something else. In the U.S.A., instances are called &quot;states&quot; (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>). See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>. state State-Geopolitical non-overlapping geopolitical entity GeopoliticalEntityTypeByNonOverlappingJurisdiction A collection of collections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPJJhlM0SQdeDhsNnnhQekw" class="cyc_term">GeopoliticalEntityTypeByNonOverlappingJurisdiction</a> are subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> members of which have jurisdictions that do not overlap. Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString 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