country(id,name,car_code,capital,continent,datacode,area,total_area,population,population_growth,infant_mortality,gdp_agri,gdp_ind,gdp_serv,gdp_total,infaltion,indep_date,government) :- Country(X1),City(X2),Continent(X3), Population(X4),hasCapital(X1,X2),belongTo(X1,X3), hasPopulation(X1,X4),gdp_total(X1,gdp_total),id(X1,id), id(X2,capital),id(X3,continent),gdp_serv(X1,gdp_serv), populationa_growth(X1,population_growth),inflation(X1,infaltion),area(X1,area), total_area(X1,total_area),gdp_ind(X1,gdp_ind),infant_mortality(X1,infant_mortality), car_code(X1,car_code),government(X1,government),gdb_agri(X1,gdp_agri), id(X4,population),datacode(X1,datacode),name(X1,name), indep_date(X1,indep_date)::identifier(X1,id), identifier(X2,capital),identifier(X3,continent),identifier(X4,population). encompass(name,percentage,country,continent) :- Encompass(X1),Country(X2),Continent(X3), forCountry(X1,X2),onContinent(X1,X3),persentage(X1,percentage), name(X1,name),id(X2,country),id(X3,continent)::identifier(X1,name), identifier(X2,country),identifier(X3,continent). province(id,name,country,capital,population,area) :- Province(X1),Country(X2),Population(X3), City(X4),inCountry(X1,X2),hasPopulation(X1,X3), hasCapital(X1,X4),id(X1,id),area(X1,area), name(X1,name),id(X2,country),id(X3,population), id(X4,capital)::identifier(X1,name),identifier(X2,country), identifier(X3,population),identifier(X4,capital). ethnigroup(name,percentage,country) :- Ethnicgroup(X1),Country(X2),forCountry(X1,X2), persentage(X1,percentage),id(X2,country),name(X1,name) ::identifier(X1,name),identifier(X2,country). religion(name,percentage,country) :- Religion(X1),Country(X2),forCountry(X1,X2), id(X2,country),persentage(X1,percentage),name(X1,name) ::identifier(X1,name),identifier(X2,country). language(name,percentage,country) :- Language(X1),Country(X2),forCountry(X1,X2), name(X1,name),persentage(X1,percentage),id(X2,country) ::identifier(X1,name),identifier(X2,country). border(name,length,justice,forCountry,borderingCountry) :- Border(X1),Country(X2),Country(X3), forCountry(X1,X2),withCountry(X1,X3),id(X2,forCountry), length(X1,length),name(X1,name),justice(X1,justice), id(X3,borderingCountry)::identifier(X1,name),identifier(X2,forCountry), identifier(X3,borderingCountry). city(id,name,is_countryCap,is_stateCap,country,province) :- City(X1),Province(X2),Country(X3), inProvince(X1,X2),inCountry(X1,X3),name(X1,name), id(X3,country),id(X2,province),id(X1,id), isStateCap(X1,is_stateCap),isCountryCap(X1,is_countryCap):: identifier(X1,name),identifier(X2,province),identifier(X3,country). cityPopu(city,population) :- City(X1),Population(X2),yearPopulation(X1,X2), id(X1,city),id(X2,population)::identifier(X1,city), identifier(X2,population). population(id,year,number) :- Population(X1),year(X1,year),id(X1,id), number(X1,number)::identifier(X1,id). continent(id,name,area) :- Continent(X1),name(X1,name),area(X1,area), id(X1,id)::identifier(X1,id). organization(id,name,abbrev,seat) :- Organization(X1),abbrev(X1,abbrev),id(X1,id), seat(X1,seat),name(X1,name)::identifier(X1,id). mountain(id,name,height,longitude,latitude) :- Mountain(X1),name(X1,name),longitude(X1,longitude), id(X1,id),latitude(X1,latitude),height(X1,height):: identifier(X1,id). sea(id,name,depth,bordering) :- Sea(X1),bordering(X1,bordering),name(X1,name), id(X1,id),depth(X1,depth)::identifier(X1,id). river(id,name,length) :- River(X1),length(X1,length),id(X1,id), name(X1,name)::identifier(X1,id). lake(id,name,area) :- Lake(X1),area(X1,area),id(X1,id), name(X1,name)::identifier(X1,id). desert(id,name,area) :- Desert(X1),area(X1,area),name(X1,name), id(X1,id)::identifier(X1,id). island(id,name,area,longitude,latitude) :- Island(X1),name(X1,name),latitude(X1,latitude), longitude(X1,longitude),id(X1,id),area(X1,area):: identifier(X1,id). city_located(id,waterType,city,sea,lake,river) :- City_Located(X1),Lake(X2),City(X3), Sea(X4),River(X5),lake(X1,X2), forCity(X1,X3),sea(X1,X4),river(X1,X5), id(X2,lake),id(X3,city),id(X1,id), waterType(X1,waterType),id(X4,sea),id(X5,river):: identifier(X1,id),identifier(X2,lake), identifier(X3,city),identifier(X4,sea),identifier(X5,river). mountain_located(id,mountain,country,province) :- Mountain_Located(X1),Province(X2),Country(X3), Mountain(X4),province(X1,X2),country(X1,X3), forMountain(X1,X4),name(X2,province),id(X3,country), id(X1,id),id(X4,mountain)::identifier(X1,id), identifier(X2,province),identifier(X3,country),identifier(X4,mountain). sea_located(id,sea,country,province) :- Sea_Located(X1),Country(X2),Province(X3), Sea(X4),country(X1,X2),province(X1,X3), forSea(X1,X4),id(X2,country),id(X1,id), id(X4,sea),id(X3,province)::identifier(X1,id), identifier(X2,country),identifier(X3,province),identifier(X4,sea). lake_located(id,lake,country,province) :- Lake_Located(X1),Country(X2),Lake(X3), Province(X4),country(X1,X2),forLake(X1,X3), province(X1,X4),id(X2,country),id(X3,lake), id(X4,province),id(X1,id)::identifier(X1,id), identifier(X2,country),identifier(X3,lake),identifier(X4,province). river_located(id,river,country,province) :- River_Located(X1),Province(X2),River(X3), Country(X4),province(X1,X2),forRiver(X1,X3), country(X1,X4),id(X2,province),id(X1,id), id(X3,river),id(X4,country)::identifier(X1,id), identifier(X2,province),identifier(X3,river),identifier(X4,country). desert_located(id,desert,country,province) :- Desert_Located(X1),Province(X2),Country(X3), Desert(X4),province(X1,X2),country(X1,X3), forDesert(X1,X4),id(X2,province),id(X3,country), id(X4,desert),id(X1,id)::identifier(X1,id),identifier(X2,province), identifier(X3,country),identifier(X4,desert). member(id,org,country,type) :- Member(X1),Country(X2),Organization(X3), hasCountry(X1,X2),forOrg(X1,X3),id(X2,country), id(X3,org),type(X1,type),id(X1,id)::identifier(X1,id), identifier(X2,country),identifier(X3,org). island_located(id,island,country,province) :- Island_Located(X1),Island(X2),Country(X3), Province(X4),forIsland(X1,X2),country(X1,X3), province(X1,X4),id(X2,island),id(X3,country), id(X1,id),id(X4,province)::identifier(X1,id), identifier(X2,island),identifier(X3,country).identifier(X4,province).