rename BucharestIndia to BucharestRomania. Agreed with Adam Pease

This commit is contained in:
krasimir
2010-09-21 18:42:39 +00:00
parent ef1a4ebc6e
commit fb15e95a07
2 changed files with 3 additions and 3 deletions

View File

@@ -741,8 +741,8 @@ abstract CountriesAndRegions = MidLevelOntology, Geography, Government ** {
-- The City of Bucaramanga in Colombia.
fun BucaramangaColombia : Ind City ;
-- The City of Bucharest in India.
fun BucharestIndia : Ind City ;
-- The City of Bucharest in Romania.
fun BucharestRomania : Ind City ;
-- The City of BuenosAires in Argentina.
fun BuenosAiresArgentina : Ind City ;