]> 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. (CityInCountryFn France) French city city in FRA French cities city in the French Republic city in France French commune Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRXPZZwpEbGdrcN5Y29ycA" class="cyc_term">FrenchCommune</a> are the smallest administartive subdivision of contemporary <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6EJwpEbGdrcN5Y29ycA" class="cyc_term">France</a>, they usually are subsumed into a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrxtHZwpEbGdrcN5Y29ycA" class="cyc_term">FrenchDepartment</a>. Created by the French Revolution, communes succeeded to parishes and medieval cities. <font color="#ff0000">#$AroundTheYear2000</font>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6EJwpEbGdrcN5Y29ycA" class="cyc_term">France</a> as several thousands of communes. FrenchCommune Piedecorte di Gaggio (CityNamedFn "Piedecorte di Gaggio" France) CityOfPapeeteFrenchPolynesia capital of FrenchPolynesia Papeete CityOfCherbourgFrance Cherbourg, France (CityNamedFn "Tasso" France) Tasso (CityNamedFn "Rodez" France) Rodez (CityNamedFn "Cannes" France) Cannes Roanne (CityNamedFn "Roanne" France) One of the majorCities of France-AtPresent. Nantes, France CityOfNantesFrance One of the majorCities of France-AtPresent. CityOfBordeauxFrance Bordeaux, France Courchevel (CityNamedFn "Courchevel" France) CityOfLyonFrance Lyons One of the majorCities of France-AtPresent. Oran (CityNamedFn "Oran" France) (CityNamedFn "Bastia" France) Bastia Beauvais (CityNamedFn "Beauvais" France) Montpellier (CityNamedFn "Montpellier" France) (CityNamedFn "Avignon" France) Avignon CityOfIvry-sur-SeineFrance Ivry-sur-Seine, France (CityNamedFn "Brive-la-gaillarde" France) Brive-la-gaillarde (CityNamedFn "Deauville" France) Deauville Perpignan (CityNamedFn "Perpignan" France) One of the majorCities of France-AtPresent. Nice, France CityOfNiceFrance (CityNamedFn "Agence" France) Agence Albertville (CityNamedFn "Albertville" France) (CityNamedFn "Ghisonaccio" France) Ghisonaccio (CityNamedFn "Poitiers" France) Poitiers The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvl_soZwpEbGdrcN5Y29ycA" class="cyc_term">CityOfDijonFrance</a>, in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv18QRpwpEbGdrcN5Y29ycA" class="cyc_term">Bourgogne_RegionFrance</a> (Burgundy), famous for the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi075wpEbGdrcN5Y29ycA" class="cyc_term">Mustard_ThePreparation</a> produced there. CityOfDijonFrance City Of Dijon France Sophia Antipolis (CityNamedFn "Sophia Antipolis" France) CityOfToulouseFrance One of the majorCities of France-AtPresent. Toulouse, France Rennes (CityNamedFn "Rennes" France) capital of NewCaledonia-Territory CityOfNoumeaNewCaledonia Noumea (CityNamedFn "Strassbourg" France) Strassbourg (CityNamedFn "Corte" France) Corte Aix-en-Provence (CityNamedFn "Aix-en-Provence" France) Le Havre, France CityOfLeHavreFrance One of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of France-AtPresent. (CityNamedFn "Clermont Ferrand" France) Clermont Ferrand Strasbourg, France One of the majorCities of France-AtPresent. CityOfStrasbourgFrance Paimpol (CityNamedFn "Paimpol" France) (CityNamedFn "Callac" France) Callac (CityNamedFn "Dinard" France) Dinard Guethary (CityNamedFn "Guethary" France) (CityNamedFn "Carcassonne" France) Carcassonne Guichen (CityNamedFn "Guichen" France) CityOfPoroNewCaledonia Poro Pau (CityNamedFn "Pau" France) La Rochelle (CityNamedFn "La Rochelle" France) (CityNamedFn "UhartCize" France) UhartCize Morlaix (CityNamedFn "Morlaix" France) Quimper (CityNamedFn "Quimper" France) CityOfFort-de-FranceMartinique capital of Martinique Fort de France Toulon, France CityOfToulonFrance Neuily (CityNamedFn "Neuily" France) (CityNamedFn "Belfort" France) Belfort (CityNamedFn "Annecy" France) Annecy Yvelines (CityNamedFn "Yvelines" France) Sari - Solenzara (CityNamedFn "Sari - Solenzara" France) Nimes (CityNamedFn "Nimes" France) Mamoutzou CityOfMamoutzouMayotte CityOfBrestFrance Brest, France Aurillac (CityNamedFn "Aurillac" France) (CityNamedFn "Grenoble" France) Grenoble Ajaccio CityOfAjaccioCorsica capital of Corsica Bergerac (CityNamedFn "Bergerac" France) Folelli (CityNamedFn "Folelli" Corsica) Saint Josse (CityNamedFn "Saint Josse" France) (CityNamedFn "Mulhouse" France) Mulhouse (CityNamedFn "Lille" France) Lille (CityNamedFn "Nanterre" France) Nanterre Porto-Vecchio (CityNamedFn "Porto-Vecchio" France) (CityNamedFn "PointaPitre" Guadeloupe-TheDependency) PointaPitre Albi (CityNamedFn "Albi" France) Caen (CityNamedFn "Caen" France) (CityNamedFn "Casabianda" France) Casabianda (CityNamedFn "Lourdes" France) Lourdes (CityNamedFn "Ascain" France) Ascain CityOfKremlin-BicetreFrance Kremlin-Bicetre, France (CityNamedFn "Perigueux" France) Perigueux CityOfDunkerqueFrance Dunkerque, France St. Etienne (CityNamedFn "St. Etienne" France) Borgo (CityNamedFn "Borgo" France) (CityNamedFn "Pontoise" France) Pontoise (CityNamedFn "Bayonne" France) Bayonne Rouen, France One of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of France-AtPresent. CityOfRouenFrance Roubaix (CityNamedFn "Roubaix" France) (CityNamedFn "SantJeandeLuz" France) SantJeandeLuz capital of Reunion, CityOfSaint-DenisReunion Saint-Denis Valence (CityNamedFn "Valence" France) Calvi (CityNamedFn "Calvi" France) (CityNamedFn "Evian" France) Evian CityOfFosSurerFrance Fos Surer, France (CityNamedFn "Reims" France) Reims CityOfVillejuifFrance Villejuif, France (CityNamedFn "Aubagne" France) Aubagne Le Puy (CityNamedFn "Le Puy" France) Bora Bora CityOfBoraBoraFrenchPolynesia (CityNamedFn "Epinal" France) Epinal (CityNamedFn "Montlucon" France) Montlucon (CityNamedFn "Chateauroux" France) Chateauroux Marsaille (CityNamedFn "Marsaille" France) One of the major cities and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1MZwpEbGdrcN5Y29ycA" class="cyc_term">Mayotte</a>. CityOfDzaoudziMayotte Dzaoudzi Angouleme (CityNamedFn "Angouleme" France) Lorient (CityNamedFn "Lorient" France) Bonifacio (CityNamedFn "Bonifacio" France) (CityNamedFn "Colmar" France) Colmar Metz (CityNamedFn "Metz" France) (CityNamedFn "Agen" France) Agen Pointe des Galets CityOfPointeDesGaletsReunion CityOfSeteFrance Sete, France St. Pierre capital of SaintPierreAndMiquelon CityOfSaintPierreSaintPierreAndMiquelon (CityNamedFn "St. Rieuc" France) St. Rieuc (CityNamedFn "Chamonix" France) Chamonix Tours (CityNamedFn "Tours" France) (CityNamedFn "Biarritz-bayonne" France) Biarritz-bayonne Saint-Pe-Sur-Nivelle (CityNamedFn "Saint-Pe-Sur-Nivelle" France) Marseilles One of the majorCities of France-AtPresent. CityOfMarseilleFrance CityOfThioNewCaledonia Thio (CityNamedFn "Mayenne" France) Mayenne Dijon (CityNamedFn "Dijon" France) Chambery (CityNamedFn "Chambery" France) CityOfNepouiNewCaledonia Nepoui (CityNamedFn "Sergy" France) Sergy CityOfBoulogneFrance Boulogne, France Barr (CityNamedFn "Barr" France) (CityNamedFn "Saint-Jean-de-Luz" France) Saint-Jean-de-Luz (CityNamedFn "Quevert" France) Quevert St. Jean de Luz (CityNamedFn "St. Jean de Luz" France) (CityNamedFn "Le Tourquet" France) Le Tourquet (CityNamedFn "Fronte di Liberazione Naziunale di a" Corsica) Fronte di Liberazione Naziunale di a (CityNamedFn "Sartene" France) Sartene Cayenne The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkLX5wpEbGdrcN5Y29ycA" class="cyc_term">capitalCity</a> and majorCity of FrenchGuiana-AtPresent. CityOfCayenneFrenchGuiana (CityNamedFn "Beziers" France) Beziers Lannion (CityNamedFn "Lannion" France) 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 (CityInCountryFn France) French city (CityInCountryFn France) French city 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. 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