]> 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. CityOfSaltLakeCityUT Salt Lake City http://en.wikipedia.org/wiki/Salt_Lake_City%2C_Utah Salt Lake City, Utah Salt Lake City, United States Salt Lake City, UT Salt Lake City, the United States of America UnitedStatesOfAmerica The United States of America, a large <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a> located mostly in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4gpwpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfNorthAmerica</a> south and west of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVimZ5wpEbGdrcN5Y29ycA" class="cyc_term">Canada</a> and north of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkAiZwpEbGdrcN5Y29ycA" class="cyc_term">Mexico</a> (but also having a state on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEFGhpwpEbGdrcN5Y29ycA" class="cyc_term">HawaiianIslands</a>). It was founded in 1776 by emigrants from Europe and their descendants. As with all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a>, this is the USA as a country qua political and historical entity (and also qua geographical entity in "dualist" microtheories). the United States 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 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 <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> means that <code>TERM2</code> is broader than <code>TERM1</code>, in an extremely general sense of "broader". For example, <code>TERM2</code> is, in the relevant sense, broader than <code>TERM1</code> if any of the following hold: <code>TERM2</code> is a collection that subsumes <code>TERM1</code>; <code>TERM2</code> is a collection that has <code>TERM1</code> as an instance; <code>TERM2</code> is a collection, instances of which have instances of the collection <code>TERM1</code> as parts; <code>TERM2</code> has <code>TERM1</code> as a part; This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> relation actually is. BT broaderTerm USCity American city A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> each instance of which is a city, town, or village in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViEwJwpEbGdrcN5Y29ycA" class="cyc_term">USCity</a> include <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/Mx4rvVi4AJwpEbGdrcN5Y29ycA" class="cyc_term">CityOfGainesvilleFL</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVilKJwpEbGdrcN5Y29ycA" class="cyc_term">CityOfLongBeachCA</a>. CityOfSaltLakeCityUT Salt Lake City CityOfSaltLakeCityUT Salt Lake City CityOfSaltLakeCityUT Salt Lake City CityOfSaltLakeCityUT Salt Lake City Salt Lake City (TerritoryFn CityOfSaltLakeCityUT) 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