]> 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 <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 both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjknpwpEbGdrcN5Y29ycA" class="cyc_term">President_HeadOfGovernmentOrHeadOfState</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBS0ZwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPresident</a> is a person who holds the office of President of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>. United States president UnitedStatesPresident

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

A collection of government organizations. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBa15wpEbGdrcN5Y29ycA" class="cyc_term">USFederalGovernmentOrganization</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKppwpEbGdrcN5Y29ycA" class="cyc_term">LegalGovernmentOrganization</a> which is part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBeUJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesFederalGovernment</a>. This collection includes the US military, Federal courts, US Congress, US territorial governments, Federal departments and independent agencies, and the city of Washington DC. It does _not_ include US states, interstate compacts, and cities (other than Washington DC). USFederalGovernmentOrganization US federal government organization

UnitedStatesPerson An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWHZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByNationality</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> is a person who is currently among that country's citizens (see the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACJwpEbGdrcN5Y29ycA" class="cyc_term">citizens</a>), or is a participant in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4VbZRgIxQdeJv7K4QRyNQg" class="cyc_term">NationalCulture</a> of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjD0_5wpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesCulture</a>). American

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>.

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 href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5B5wpEbGdrcN5Y29ycA" class="cyc_term">cityInState</a> CITY STATE) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> CITY is located in the geopolitical sub-region STATE. Note that STATE may be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnqJwpEbGdrcN5Y29ycA" class="cyc_term">State_Geopolitical</a>, or it may be an instance of some other specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMAYTJwpEbGdrcN5Y29ycA" class="cyc_term">CountrySubsidiary</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVih3JwpEbGdrcN5Y29ycA" class="cyc_term">Territory</a>. For example, the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwqkZwpEbGdrcN5Y29ycA" class="cyc_term">CityOfDurhamNC</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5B5wpEbGdrcN5Y29ycA" class="cyc_term">cityInState</a> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViyspwpEbGdrcN5Y29ycA" class="cyc_term">NorthCarolina_State</a>; Xiamen (Amoy) is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5B5wpEbGdrcN5Y29ycA" class="cyc_term">cityInState</a> of Fujian. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4n5sZwpEbGdrcN5Y29ycA" class="cyc_term">majorCityInState</a>. City In State cityInState

CityOfWashingtonDC Washington, DC The capital city (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjylZwpEbGdrcN5Y29ycA" class="cyc_term">CapitalCityOfRegion</a>) of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>, seat of its Federal government, which is located in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpFXOpwpEbGdrcN5Y29ycA" 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/2008/06/10/concept/Mx4rvVkLPJwpEbGdrcN5Y29ycA" class="cyc_term">CityOfWashingtonDC</a> and the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpFXOpwpEbGdrcN5Y29ycA" class="cyc_term">DistrictOfColumbia</a> are coextensive.

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

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 <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/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> (q.v.). This is the collection of all and only those collections <code>COL</code> such that any thing's being an instance of <code>COL</code> depends on the current state of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqoZwpEbGdrcN5Y29ycA" class="cyc_term">CycKB</a>. Such a <code>COL</code> corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that "exists out there" in the KB-independent world. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV281JwpEbGdrcN5Y29ycA" class="cyc_term">CycLAssertion</a> is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAoJwpEbGdrcN5Y29ycA" class="cyc_term">CycLSentence</a> is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu6KTZwpEbGdrcN5Y29ycA" class="cyc_term">CycLReifiedDenotationalTerm</a>s (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5ddsJwpEbGdrcN5Y29ycA" class="cyc_term">Sentence</a> is not a KB-dependent collection. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvip9N5wpEbGdrcN5Y29ycA" class="cyc_term">KBDependentRelation</a>. KB dependent collection KBDependentCollection 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 geography-topic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQuFAV2xEdif1wACs2IMlQ" class="cyc_term">Geography_Topic</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a> which (in some significant sense) has to do with the topic of geography. Geography-Topic CycVocabularyTopic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s falling under a topic for which some Cyc Vocabulary exists. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a> is neither a strict [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>] nor a covering [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>] faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>: many <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s may be instances of no <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>, or of multiple <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>s. cyc vocabulary topic