]> 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. One of the majorCities and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of the CanaryIslands Santa Cruz CityOfSantaCruzDeTenerifeCanaryIslands http://en.wikipedia.org/wiki/Santa_Cruz_de_Tenerife Santa Cruz de Tenerife Spain Spain Spain, a medium-sized <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjk55wpEbGdrcN5Y29ycA" class="cyc_term">IndependentCountry</a> in the southwest of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjddJwpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfEurope</a>. As with all instances of IndependentCountry, this is Spain as a country qua political and historical entity (and also qua geographical entity in "dualist" microtheories). <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 One of the majorCities and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of the CanaryIslands Santa Cruz CityOfSantaCruzDeTenerifeCanaryIslands One of the majorCities and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of the CanaryIslands Santa Cruz CityOfSantaCruzDeTenerifeCanaryIslands 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 One of the majorCities and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of the CanaryIslands Santa Cruz CityOfSantaCruzDeTenerifeCanaryIslands 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 CanaryIslands as it exists now and throughout history the Canary Islands CanaryIslands-Polity