]> 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 England) city in England Darlington CityOfDarlingtonEngland (CityNamedFn "Ascott" Warwickshire-CountyEngland) Ascott Yeovil (CityNamedFn "Yeovil" Somerset-CountyEngland) CityOfDerbyEngland Derby (CityNamedFn "East Grinstead" WestSussex-CountyEngland) East Grinstead (CityNamedFn "Chesterton" Cambridgeshire-CountyEngland) Chesterton (CityNamedFn "Isle of Man" England) Isle of Man (CityNamedFn "Norwich" Norfolk-CountyEngland) Norwich (CityNamedFn "Preston" Rutland-CountyEngland) Preston Chesterton (CityNamedFn "Chesterton" Warwickshire-CountyEngland) Blackbushe (CityNamedFn "Blackbushe" England) (CityNamedFn "Preston Deanery" Northampton-CountyEngland) Preston Deanery Preston Bissett (CityNamedFn "Preston Bissett" Buckinghamshire-CountyEngland) (CityNamedFn "Sandyford" Staffordshire-CountyEngland) Sandyford (CityNamedFn "Salisbury" Wiltshire-CountyEngland) Salisbury Woodstock CityOfWoodstockUK Yorkley (CityNamedFn "Yorkley" Gloucestershire-CountyEngland) CityOfCranfieldEngland Cranfield Sunderland Point (CityNamedFn "Sunderland Point" Lancashire-CountyEngland) CityOfNewcastleUponTyneEngland Newcastle upon Tyne (CityNamedFn "Preston Cross" Herefordshire-CountyEngland) Preston Cross Chester Le Street (CityNamedFn "Chester Le Street" Durham-CountyEngland) Chesterton (CityNamedFn "Chesterton" Staffordshire-CountyEngland) Exeter (CityNamedFn "Exeter" England) (CityNamedFn "Bathealton" Somerset-CountyEngland) Bathealton Bradford One of the majorCities of the country of England. CityOfBradfordEngland Harlington CityOfHarlingtonEngland (CityNamedFn "Sandy Cross" EastSussex-CountyEngland) Sandy Cross CityOfHartlepoolEngland Hartlepool CityOfDoverEngland Dover, England (CityNamedFn "Harlington" SouthYorkshire-CountyEngland) Harlington (CityNamedFn "Bathley" Nottinghamshire-CountyEngland) Bathley Bedford CityOfBedfordEngland (CityNamedFn "Chesterwood" Northumberland-CountyEngland) Chesterwood (CityNamedFn "Humberside" England) Humberside CityOfBarnsleyEngland Barnsley Islay (CityNamedFn "Islay" England) (CityNamedFn "East Midlands" England) East Midlands (CityNamedFn "Wilmslow" Cheshire-CountyEngland) Wilmslow Leighton Buzzard CityOfLeightonBuzzardEngland Brighton (CityNamedFn "Brighton" England) (CityNamedFn "Jersey" England) Jersey (CityNamedFn "Preston" Lancashire-CountyEngland) Preston (CityNamedFn "Preston" Shropshire-CountyEngland) Preston (CityNamedFn "Newquay" Cornwall-CountyEngland) Newquay Sheffield CityOfSheffieldEngland One of the majorCities of the country of England. Bracknell CityOfBracknellEngland (CityNamedFn "Preston On Wye" Herefordshire-CountyEngland) Preston On Wye Sunderland (CityNamedFn "Sunderland" Cumbria-CountyEngland) Bristol CityOfBristolEngland One of the majorCities of the country of England. Shapwick (CityNamedFn "Shapwick" Somerset-CountyEngland) Yeovilton (CityNamedFn "Yeovilton" Somerset-CountyEngland) Dovercourt (CityNamedFn "Dovercourt" Essex-CountyEngland) Kempston CityOfKempstonEngland (CityNamedFn "Preston" EastSussex-CountyEngland) Preston Doncaster CityOfDoncasterEngland (CityNamedFn "Inverness" England) Inverness Yeovil Marsh (CityNamedFn "Yeovil Marsh" Somerset-CountyEngland) (CityNamedFn "Penrith" Cumbria-CountyEngland) Penrith Preston Montford (CityNamedFn "Preston Montford" Shropshire-CountyEngland) Preston Under Scar (CityNamedFn "Preston Under Scar" NorthYorkshire-CountyEngland) (CityNamedFn "Yorkletts" Kent-CountyEngland) Yorkletts CityOfWakefieldEngland Wakefield (CityNamedFn "Preston Candover" Hampshire-CountyEngland) Preston Candover (CityNamedFn "Kirkwall" England) Kirkwall Newcastle (CityNamedFn "Newcastle" Shropshire-CountyEngland) Cambridge, England CityOfCambridgeEngland Southampton CityOfSouthamptonEngland One of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvJwpEbGdrcN5Y29ycA" class="cyc_term">chiefPorts</a> of the country of England. CityOfAscotEngland Ascot Keswick (CityNamedFn "Keswick" Norfolk-CountyEngland) (CityNamedFn "Keswick" Cumbria-CountyEngland) Keswick (CityNamedFn "Newcastle" Staffordshire-CountyEngland) Newcastle CityOfLutonEngland Luton Sunderland (CityNamedFn "Sunderland" TyneAndWear-CountyEngland) Preston Wynne (CityNamedFn "Preston Wynne" Herefordshire-CountyEngland) Newport (CityNamedFn "Newport" Gloucestershire-CountyEngland) Carlisle (CityNamedFn "Carlisle" Cumbria-CountyEngland) Dartford (CityNamedFn "Dartford" Kent-CountyEngland) Warrington (CityNamedFn "Warrington" Cheshire-CountyEngland) (CityNamedFn "Hull" England) Hull Poole CityOfPooleEngland CityOfBournemouthEngland Bournemouth CityOfLeicesterEngland Leicester (CityNamedFn "Brize Norton" England) Brize Norton Ipswich (CityNamedFn "Ipswich" Suffolk-CountyEngland) Whitehaven (CityNamedFn "Whitehaven" Cumbria-CountyEngland) One of the majorCities of the country of England. CityOfManchesterEngland Manchester, England (CityNamedFn "Chelmsford" Essex-CountyEngland) Chelmsford (CityNamedFn "Bathpool" Somerset-CountyEngland) Bathpool (CityNamedFn "Morpeth" Northumberland-CountyEngland) Morpeth CityOfMiddlesbroughEngland Middlesbrough (CityNamedFn "Sandy Hill" Shropshire-CountyEngland) Sandy Hill (CityNamedFn "Preston" Kent-CountyEngland) Preston Sandy Lane (CityNamedFn "Sandy Lane" Wiltshire-CountyEngland) (CityNamedFn "Preston Patrick" Cumbria-CountyEngland) Preston Patrick CityOfFlitwickEngland Flitwick Hullavington (CityNamedFn "Hullavington" Wiltshire-CountyEngland) (CityNamedFn "Leedstown" Cornwall-CountyEngland) Leedstown Tees, England CityOfTeesEngland (CityNamedFn "Sheffield Park" EastSussex-CountyEngland) Sheffield Park Chester Business Park (CityNamedFn "Chester Business Park" Cheshire-CountyEngland) CityOfKingstonUponHullEngland Kingston upon Hull (CityNamedFn "Shapwick" Dorset-CountyEngland) Shapwick CityOfFelixstoweEngland Felixstowe, England (CityNamedFn "Hullbridge" Essex-CountyEngland) Hullbridge BrightonHove-RegionEngland Brighton/Hove Preston (CityNamedFn "Preston" Northumberland-CountyEngland) Swindon (CityNamedFn "Swindon" Wiltshire-CountyEngland) Birmingham CityOfBirminghamEngland One of the majorCities of the country of England. Preston (CityNamedFn "Preston" Gloucestershire-CountyEngland) Chesterblade (CityNamedFn "Chesterblade" Somerset-CountyEngland) Chesterton (CityNamedFn "Chesterton" Shropshire-CountyEngland) Reading (CityNamedFn "Reading" CountyOfBerkshire-England) CityOfMiltonKeynesEngland Milton Keynes Batherton (CityNamedFn "Batherton" Cheshire-CountyEngland) Brighton Marina Village (CityNamedFn "Brighton Marina Village" EastSussex-CountyEngland) (CityNamedFn "Warrington" Buckinghamshire-CountyEngland) Warrington Stoke-on-Trent CityOfStokeOnTrentEngland CityOfPortsmouthEngland Portsmouth (CityNamedFn "Doverdale" Worcestershire-CountyEngland) Doverdale CityOfSheffordEngland Shefford Doveridge (CityNamedFn "Doveridge" Derby-CountyEngland) Preston On Stour (CityNamedFn "Preston On Stour" Warwickshire-CountyEngland) (CityNamedFn "Preston Brook" Cheshire-CountyEngland) Preston Brook (CityNamedFn "Sandy Bay" Devon-CountyEngland) Sandy Bay One of the majorCities of the country of England. Liverpool CityOfLiverpoolEngland Rotherham CityOfRotherhamEngland (CityNamedFn "Basingstoke" Hampshire-CountyEngland) Basingstoke CityOfBlackpoolEngland Blackpool (CityNamedFn "Sandyway" Devon-CountyEngland) Sandyway CityOfStocktonOnTeesEngland Stockton-on-Trees Preston Gubbals (CityNamedFn "Preston Gubbals" Shropshire-CountyEngland) Preston (CityNamedFn "Preston" Hertford-CountyEngland) (CityNamedFn "York" NorthYorkshire-CountyEngland) York Preston (CityNamedFn "Preston" Dorset-CountyEngland) CityOfPeterboroughEngland Peterborough (CityNamedFn "Kempston Hardwick" BedfordshireCounty-England) Kempston Hardwick (CityNamedFn "Chesterfield" Derby-CountyEngland) Chesterfield Plymouth CityOfPlymouthEngland (CityNamedFn "Sandyford" Shropshire-CountyEngland) Sandyford Preston St Mary (CityNamedFn "Preston St Mary" Suffolk-CountyEngland) (CityNamedFn "Alderney" England) Alderney (CityNamedFn "Newport" Essex-CountyEngland) Newport One of the majorCities of the country of England. CityOfLeedsEngland Leeds, England Southend-on-Sea CityOfSouthendOnSeaEngland Devon CityOfDevonEngland Hulland Ward (CityNamedFn "Hulland Ward" Derby-CountyEngland) CityOfSandyEngland Sandy (CityNamedFn "Newquai" England) Newquai Benbecula (CityNamedFn "Benbecula" England) (CityNamedFn "Shoreham by Sea" England) Shoreham by Sea Preston (CityNamedFn "Preston" Devon-CountyEngland) (CityNamedFn "Coventry" England) Coventry (CityNamedFn "Sandygate" Devon-CountyEngland) Sandygate Swindon (CityNamedFn "Swindon" Gloucestershire-CountyEngland) Preston Brockhurst (CityNamedFn "Preston Brockhurst" Shropshire-CountyEngland) Greenford, England CityOfGreenfordEngland Shefford Woodlands (CityNamedFn "Shefford Woodlands" CountyOfBerkshire-England) Ampthill CityOfAmpthillEngland Penzance (CityNamedFn "Penzance" England) Gateshead CityOfGatesheadEngland CityOfEatonBrayEngland Eaton Bray (CityNamedFn "Wolverhampton" WestMidlands-CountyEngland) Wolverhampton Bathpool (CityNamedFn "Bathpool" Cornwall-CountyEngland) Eastbourne CityOfEastbourneEngland An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a>. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOIschLv2QdiawqOvh3GXaQ" class="cyc_term">CityOfEastbourneEngland</a> is located in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTddnpwpEbGdrcN5Y29ycA" class="cyc_term">EastSussex_CountyEngland</a>. Westminster CityOfWestminsterEngland CityOfMauldenEngland Maulden (CityNamedFn "Newport" Shropshire-CountyEngland) Newport (CityNamedFn "Bathingbourne" IsleofWight-CountyEngland) Bathingbourne St. Mary's (CityNamedFn "St. Mary's" England) CityOfDunstableEngland Dunstable Warrington Batch (CityNamedFn "Warrington Batch" Somerset-CountyEngland) Southend (CityNamedFn "Southend" England) Preston (CityNamedFn "Preston" Wiltshire-CountyEngland) Taunton (CityNamedFn "Taunton" Somerset-CountyEngland) (CityNamedFn "Chester" Cheshire-CountyEngland) Chester (CityNamedFn "Cambridge" Gloucestershire-CountyEngland) Cambridge Oxford, England CityOfOxfordEngland (CityNamedFn "Watford" Northampton-CountyEngland) Watford (CityNamedFn "Watford" Hertford-CountyEngland) Watford Newport Pagnell (CityNamedFn "Newport Pagnell" Buckinghamshire-CountyEngland) Preston On The Hill (CityNamedFn "Preston On The Hill" Cheshire-CountyEngland) Shap (CityNamedFn "Shap" Cumbria-CountyEngland) Barra (CityNamedFn "Barra" England) (CityNamedFn "Northampton" Northampton-CountyEngland) Northampton (CityNamedFn "Teesside" England) Teesside CityOfNottinghamEngland Nottingham (CityNamedFn "Swindon" WestMidlands-CountyEngland) Swindon Yately (CityNamedFn "Yately" Hampshire-CountyEngland) 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 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. (CityInCountryFn England) city in England (CityInCountryFn England) city in England (CollectionUnionFn (TheSet County-England (CityInCountryFn England))) the union of { historic English counties, cities in England }