]> 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. Bahaman city (CityInCountryFn Bahamas) city in Bahamas, the Bahamian city Bahamian cities Bahaman cities city in BHS city in the Bahamas (CityNamedFn "Inagua" Bahamas) Inagua Dead Man's Cay (CityNamedFn "Dead Man's Cay" Bahamas) Stella Maris (CityNamedFn "Stella Maris" Bahamas) Andros Town (CityNamedFn "Andros Town" Bahamas) Chub Cay (CityNamedFn "Chub Cay" Bahamas) Bimini (CityNamedFn "Bimini" Bahamas) CityOfNewProvidenceBahamas One of the majorCities of Bahamas-AtPresent. New Providence, Bahamas, the Crooked Island (CityNamedFn "Crooked Island" Bahamas) (CityNamedFn "Bimini North Seaport" Bahamas) Bimini North Seaport (CityNamedFn "Athur's Town" Bahamas) Athur's Town Mangrove Cay (CityNamedFn "Mangrove Cay" Bahamas) (CityNamedFn "San Andros" Bahamas) San Andros One of the majorCities of Bahamas-AtPresent. CityOfNassauBahamas Nassau, Bahamas, the (CityNamedFn "Treasure Cay" Bahamas) Treasure Cay Governor's Harbor (CityNamedFn "Governor's Harbor" Bahamas) (CityNamedFn "Rock Sound" Bahamas) Rock Sound Spring Point (CityNamedFn "Spring Point" Bahamas) Grand Harbor Cay (CityNamedFn "Grand Harbor Cay" Bahamas) Marsh Harbor (CityNamedFn "Marsh Harbor" Bahamas) CityOfFreeportBahamas Freeport, Bahamas, the One of the majorCities of Bahamas-AtPresent. (CityNamedFn "Walkers Cay" Bahamas) Walkers Cay Mayaguana (CityNamedFn "Mayaguana" Bahamas) South Andros (CityNamedFn "South Andros" Bahamas) (CityNamedFn "North Eleuthera" Bahamas) North Eleuthera 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 Bahaman city (CityInCountryFn Bahamas) City city <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> whose territory is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjK7JwpEbGdrcN5Y29ycA" class="cyc_term">UrbanArea</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> is a local organization of a human settlement which has its own government. This includes cities, towns, suburbs, villages, hamlets, and townships, as long as they have their own governments. A city government is usually mostly autonomous from the governments of its surrounding regions, rather than being a sub-organization of them. Bahaman city (CityInCountryFn Bahamas) 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