gf-3.1.6: examples/SUMO/TPTP/EconomyPredAx.p
fof(axEconomyPred0, axiom,
f_economyType(inst_Andorra,inst_DevelopedCountry)).
fof(axEconomyPred1, axiom,
f_economyType(inst_Australia,inst_DevelopedCountry)).
fof(axEconomyPred2, axiom,
f_economyType(inst_Austria,inst_DevelopedCountry)).
fof(axEconomyPred3, axiom,
f_economyType(inst_Belgium,inst_DevelopedCountry)).
fof(axEconomyPred4, axiom,
f_economyType(inst_Bermuda,inst_DevelopedCountry)).
fof(axEconomyPred5, axiom,
f_economyType(inst_Canada,inst_DevelopedCountry)).
fof(axEconomyPred6, axiom,
f_economyType(inst_Denmark,inst_DevelopedCountry)).
fof(axEconomyPred7, axiom,
f_economyType(inst_FaroeIslands,inst_DevelopedCountry)).
fof(axEconomyPred8, axiom,
f_economyType(inst_Finland,inst_DevelopedCountry)).
fof(axEconomyPred9, axiom,
f_economyType(inst_France,inst_DevelopedCountry)).
fof(axEconomyPred10, axiom,
f_economyType(inst_Germany,inst_DevelopedCountry)).
fof(axEconomyPred11, axiom,
f_economyType(inst_Greece,inst_DevelopedCountry)).
fof(axEconomyPred12, axiom,
f_economyType(inst_HolySee,inst_DevelopedCountry)).
fof(axEconomyPred13, axiom,
f_economyType(inst_Iceland,inst_DevelopedCountry)).
fof(axEconomyPred14, axiom,
f_economyType(inst_Ireland,inst_DevelopedCountry)).
fof(axEconomyPred15, axiom,
f_economyType(inst_Israel,inst_DevelopedCountry)).
fof(axEconomyPred16, axiom,
f_economyType(inst_Italy,inst_DevelopedCountry)).
fof(axEconomyPred17, axiom,
f_economyType(inst_Japan,inst_DevelopedCountry)).
fof(axEconomyPred18, axiom,
f_economyType(inst_Liechtenstein,inst_DevelopedCountry)).
fof(axEconomyPred19, axiom,
f_economyType(inst_Luxembourg,inst_DevelopedCountry)).
fof(axEconomyPred20, axiom,
f_economyType(inst_Malta,inst_DevelopedCountry)).
fof(axEconomyPred21, axiom,
f_economyType(inst_Mexico,inst_DevelopedCountry)).
fof(axEconomyPred22, axiom,
f_economyType(inst_Monaco,inst_DevelopedCountry)).
fof(axEconomyPred23, axiom,
f_economyType(inst_Netherlands,inst_DevelopedCountry)).
fof(axEconomyPred24, axiom,
f_economyType(inst_NewZealand,inst_DevelopedCountry)).
fof(axEconomyPred25, axiom,
f_economyType(inst_Norway,inst_DevelopedCountry)).
fof(axEconomyPred26, axiom,
f_economyType(inst_Portugal,inst_DevelopedCountry)).
fof(axEconomyPred27, axiom,
f_economyType(inst_SanMarino,inst_DevelopedCountry)).
fof(axEconomyPred28, axiom,
f_economyType(inst_SouthAfrica,inst_DevelopedCountry)).
fof(axEconomyPred29, axiom,
f_economyType(inst_Spain,inst_DevelopedCountry)).
fof(axEconomyPred30, axiom,
f_economyType(inst_Sweden,inst_DevelopedCountry)).
fof(axEconomyPred31, axiom,
f_economyType(inst_Switzerland,inst_DevelopedCountry)).
fof(axEconomyPred32, axiom,
f_economyType(inst_Turkey,inst_DevelopedCountry)).
fof(axEconomyPred33, axiom,
f_economyType(inst_UnitedKingdom,inst_DevelopedCountry)).
fof(axEconomyPred34, axiom,
f_economyType(inst_UnitedStates,inst_DevelopedCountry)).
fof(axEconomyPred35, axiom,
f_economyType(inst_Afghanistan,inst_LessDevelopedCountry)).
fof(axEconomyPred36, axiom,
f_economyType(inst_Algeria,inst_LessDevelopedCountry)).
fof(axEconomyPred37, axiom,
f_economyType(inst_Angola,inst_LessDevelopedCountry)).
fof(axEconomyPred38, axiom,
f_economyType(inst_AntiguaAndBarbuda,inst_LessDevelopedCountry)).
fof(axEconomyPred39, axiom,
f_economyType(inst_Argentina,inst_LessDevelopedCountry)).
fof(axEconomyPred40, axiom,
f_economyType(inst_Aruba,inst_LessDevelopedCountry)).
fof(axEconomyPred41, axiom,
f_economyType(inst_TheBahamas,inst_LessDevelopedCountry)).
fof(axEconomyPred42, axiom,
f_economyType(inst_Bahrain,inst_LessDevelopedCountry)).
fof(axEconomyPred43, axiom,
f_economyType(inst_Bangladesh,inst_LessDevelopedCountry)).
fof(axEconomyPred44, axiom,
f_economyType(inst_Barbados,inst_LessDevelopedCountry)).
fof(axEconomyPred45, axiom,
f_economyType(inst_Belize,inst_LessDevelopedCountry)).
fof(axEconomyPred46, axiom,
f_economyType(inst_Burundi,inst_LessDevelopedCountry)).
fof(axEconomyPred47, axiom,
f_economyType(inst_Cambodia,inst_LessDevelopedCountry)).
fof(axEconomyPred48, axiom,
f_economyType(inst_Cameroon,inst_LessDevelopedCountry)).
fof(axEconomyPred49, axiom,
f_economyType(inst_CapeVerde,inst_LessDevelopedCountry)).
fof(axEconomyPred50, axiom,
f_economyType(inst_CentralAfricanRepublic,inst_LessDevelopedCountry)).
fof(axEconomyPred51, axiom,
f_economyType(inst_Chad,inst_LessDevelopedCountry)).
fof(axEconomyPred52, axiom,
f_economyType(inst_Chile,inst_LessDevelopedCountry)).
fof(axEconomyPred53, axiom,
f_economyType(inst_China,inst_LessDevelopedCountry)).
fof(axEconomyPred54, axiom,
f_economyType(inst_Colombia,inst_LessDevelopedCountry)).
fof(axEconomyPred55, axiom,
f_economyType(inst_Comoros,inst_LessDevelopedCountry)).
fof(axEconomyPred56, axiom,
f_economyType(inst_DemocraticRepublicOfTheCongo,inst_LessDevelopedCountry)).
fof(axEconomyPred57, axiom,
f_economyType(inst_CostaRica,inst_LessDevelopedCountry)).
fof(axEconomyPred58, axiom,
f_economyType(inst_CoteDIvoire,inst_LessDevelopedCountry)).
fof(axEconomyPred59, axiom,
f_economyType(inst_Cyprus,inst_LessDevelopedCountry)).
fof(axEconomyPred60, axiom,
f_economyType(inst_Djibouti,inst_LessDevelopedCountry)).
fof(axEconomyPred61, axiom,
f_economyType(inst_Dominica,inst_LessDevelopedCountry)).
fof(axEconomyPred62, axiom,
f_economyType(inst_DominicanRepublic,inst_LessDevelopedCountry)).
fof(axEconomyPred63, axiom,
f_economyType(inst_Ecuador,inst_LessDevelopedCountry)).
fof(axEconomyPred64, axiom,
f_economyType(inst_Egypt,inst_LessDevelopedCountry)).
fof(axEconomyPred65, axiom,
f_economyType(inst_ElSalvador,inst_LessDevelopedCountry)).
fof(axEconomyPred66, axiom,
f_economyType(inst_EquatorialGuinea,inst_LessDevelopedCountry)).
fof(axEconomyPred67, axiom,
f_economyType(inst_Ethiopia,inst_LessDevelopedCountry)).
fof(axEconomyPred68, axiom,
f_economyType(inst_Fiji,inst_LessDevelopedCountry)).
fof(axEconomyPred69, axiom,
f_economyType(inst_Gabon,inst_LessDevelopedCountry)).
fof(axEconomyPred70, axiom,
f_economyType(inst_Gambia,inst_LessDevelopedCountry)).
fof(axEconomyPred71, axiom,
f_economyType(inst_Ghana,inst_LessDevelopedCountry)).
fof(axEconomyPred72, axiom,
f_economyType(inst_Grenada,inst_LessDevelopedCountry)).
fof(axEconomyPred73, axiom,
f_economyType(inst_Guatemala,inst_LessDevelopedCountry)).
fof(axEconomyPred74, axiom,
f_economyType(inst_Guinea,inst_LessDevelopedCountry)).
fof(axEconomyPred75, axiom,
f_economyType(inst_GuineaBissau,inst_LessDevelopedCountry)).
fof(axEconomyPred76, axiom,
f_economyType(inst_Guyana,inst_LessDevelopedCountry)).
fof(axEconomyPred77, axiom,
f_economyType(inst_Haiti,inst_LessDevelopedCountry)).
fof(axEconomyPred78, axiom,
f_economyType(inst_Honduras,inst_LessDevelopedCountry)).
fof(axEconomyPred79, axiom,
f_economyType(inst_India,inst_LessDevelopedCountry)).
fof(axEconomyPred80, axiom,
f_economyType(inst_Indonesia,inst_LessDevelopedCountry)).
fof(axEconomyPred81, axiom,
f_economyType(inst_Iran,inst_LessDevelopedCountry)).
fof(axEconomyPred82, axiom,
f_economyType(inst_Iraq,inst_LessDevelopedCountry)).
fof(axEconomyPred83, axiom,
f_economyType(inst_Jamaica,inst_LessDevelopedCountry)).
fof(axEconomyPred84, axiom,
f_economyType(inst_Jordan,inst_LessDevelopedCountry)).
fof(axEconomyPred85, axiom,
f_economyType(inst_Kenya,inst_LessDevelopedCountry)).
fof(axEconomyPred86, axiom,
f_economyType(inst_Kiribati,inst_LessDevelopedCountry)).
fof(axEconomyPred87, axiom,
f_economyType(inst_Kuwait,inst_LessDevelopedCountry)).
fof(axEconomyPred88, axiom,
f_economyType(inst_Laos,inst_LessDevelopedCountry)).
fof(axEconomyPred89, axiom,
f_economyType(inst_Lebanon,inst_LessDevelopedCountry)).
fof(axEconomyPred90, axiom,
f_economyType(inst_Lesotho,inst_LessDevelopedCountry)).
fof(axEconomyPred91, axiom,
f_economyType(inst_Liberia,inst_LessDevelopedCountry)).
fof(axEconomyPred92, axiom,
f_economyType(inst_Libya,inst_LessDevelopedCountry)).
fof(axEconomyPred93, axiom,
f_economyType(inst_Madagascar,inst_LessDevelopedCountry)).
fof(axEconomyPred94, axiom,
f_economyType(inst_Malawi,inst_LessDevelopedCountry)).
fof(axEconomyPred95, axiom,
f_economyType(inst_Malaysia,inst_LessDevelopedCountry)).
fof(axEconomyPred96, axiom,
f_economyType(inst_Maldives,inst_LessDevelopedCountry)).
fof(axEconomyPred97, axiom,
f_economyType(inst_Mali,inst_LessDevelopedCountry)).
fof(axEconomyPred98, axiom,
f_economyType(inst_Malta,inst_LessDevelopedCountry)).
fof(axEconomyPred99, axiom,
f_economyType(inst_MarshallIslands,inst_LessDevelopedCountry)).
fof(axEconomyPred100, axiom,
f_economyType(inst_Mauritania,inst_LessDevelopedCountry)).
fof(axEconomyPred101, axiom,
f_economyType(inst_Mauritius,inst_LessDevelopedCountry)).
fof(axEconomyPred102, axiom,
f_economyType(inst_Mexico,inst_LessDevelopedCountry)).
fof(axEconomyPred103, axiom,
f_economyType(inst_Micronesia,inst_LessDevelopedCountry)).
fof(axEconomyPred104, axiom,
f_economyType(inst_Morocco,inst_LessDevelopedCountry)).
fof(axEconomyPred105, axiom,
f_economyType(inst_Mozambique,inst_LessDevelopedCountry)).
fof(axEconomyPred106, axiom,
f_economyType(inst_Namibia,inst_LessDevelopedCountry)).
fof(axEconomyPred107, axiom,
f_economyType(inst_Nepal,inst_LessDevelopedCountry)).
fof(axEconomyPred108, axiom,
f_economyType(inst_NetherlandsAntilles,inst_LessDevelopedCountry)).
fof(axEconomyPred109, axiom,
f_economyType(inst_Nicaragua,inst_LessDevelopedCountry)).
fof(axEconomyPred110, axiom,
f_economyType(inst_Niger,inst_LessDevelopedCountry)).
fof(axEconomyPred111, axiom,
f_economyType(inst_Nigeria,inst_LessDevelopedCountry)).
fof(axEconomyPred112, axiom,
f_economyType(inst_Oman,inst_LessDevelopedCountry)).
fof(axEconomyPred113, axiom,
f_economyType(inst_Pakistan,inst_LessDevelopedCountry)).
fof(axEconomyPred114, axiom,
f_economyType(inst_Panama,inst_LessDevelopedCountry)).
fof(axEconomyPred115, axiom,
f_economyType(inst_PapuaNewGuinea,inst_LessDevelopedCountry)).
fof(axEconomyPred116, axiom,
f_economyType(inst_Paraguay,inst_LessDevelopedCountry)).
fof(axEconomyPred117, axiom,
f_economyType(inst_Peru,inst_LessDevelopedCountry)).
fof(axEconomyPred118, axiom,
f_economyType(inst_Philippines,inst_LessDevelopedCountry)).
fof(axEconomyPred119, axiom,
f_economyType(inst_Qatar,inst_LessDevelopedCountry)).
fof(axEconomyPred120, axiom,
f_economyType(inst_Rwanda,inst_LessDevelopedCountry)).
fof(axEconomyPred121, axiom,
f_economyType(inst_SaintKittsAndNevis,inst_LessDevelopedCountry)).
fof(axEconomyPred122, axiom,
f_economyType(inst_SaintLucia,inst_LessDevelopedCountry)).
fof(axEconomyPred123, axiom,
f_economyType(inst_SaintVincentAndTheGrenadines,inst_LessDevelopedCountry)).
fof(axEconomyPred124, axiom,
f_economyType(inst_Samoa,inst_LessDevelopedCountry)).
fof(axEconomyPred125, axiom,
f_economyType(inst_SaoTomeAndPrincipe,inst_LessDevelopedCountry)).
fof(axEconomyPred126, axiom,
f_economyType(inst_SaudiArabia,inst_LessDevelopedCountry)).
fof(axEconomyPred127, axiom,
f_economyType(inst_Senegal,inst_LessDevelopedCountry)).
fof(axEconomyPred128, axiom,
f_economyType(inst_Seychelles,inst_LessDevelopedCountry)).
fof(axEconomyPred129, axiom,
f_economyType(inst_SierraLeone,inst_LessDevelopedCountry)).
fof(axEconomyPred130, axiom,
f_economyType(inst_SolomonIslands,inst_LessDevelopedCountry)).
fof(axEconomyPred131, axiom,
f_economyType(inst_Somalia,inst_LessDevelopedCountry)).
fof(axEconomyPred132, axiom,
f_economyType(inst_SouthAfrica,inst_LessDevelopedCountry)).
fof(axEconomyPred133, axiom,
f_economyType(inst_SriLanka,inst_LessDevelopedCountry)).
fof(axEconomyPred134, axiom,
f_economyType(inst_Sudan,inst_LessDevelopedCountry)).
fof(axEconomyPred135, axiom,
f_economyType(inst_Suriname,inst_LessDevelopedCountry)).
fof(axEconomyPred136, axiom,
f_economyType(inst_Swaziland,inst_LessDevelopedCountry)).
fof(axEconomyPred137, axiom,
f_economyType(inst_Syria,inst_LessDevelopedCountry)).
fof(axEconomyPred138, axiom,
f_economyType(inst_Tanzania,inst_LessDevelopedCountry)).
fof(axEconomyPred139, axiom,
f_economyType(inst_Thailand,inst_LessDevelopedCountry)).
fof(axEconomyPred140, axiom,
f_economyType(inst_Togo,inst_LessDevelopedCountry)).
fof(axEconomyPred141, axiom,
f_economyType(inst_TrinidadAndTobago,inst_LessDevelopedCountry)).
fof(axEconomyPred142, axiom,
f_economyType(inst_Tunisia,inst_LessDevelopedCountry)).
fof(axEconomyPred143, axiom,
f_economyType(inst_Turkey,inst_LessDevelopedCountry)).
fof(axEconomyPred144, axiom,
f_economyType(inst_UnitedArabEmirates,inst_LessDevelopedCountry)).
fof(axEconomyPred145, axiom,
f_economyType(inst_Uganda,inst_LessDevelopedCountry)).
fof(axEconomyPred146, axiom,
f_economyType(inst_Uruguay,inst_LessDevelopedCountry)).
fof(axEconomyPred147, axiom,
f_economyType(inst_Vanuatu,inst_LessDevelopedCountry)).
fof(axEconomyPred148, axiom,
f_economyType(inst_Venezuela,inst_LessDevelopedCountry)).
fof(axEconomyPred149, axiom,
f_economyType(inst_Vietnam,inst_LessDevelopedCountry)).
fof(axEconomyPred150, axiom,
f_economyType(inst_Yemen,inst_LessDevelopedCountry)).
fof(axEconomyPred151, axiom,
f_economyType(inst_Zambia,inst_LessDevelopedCountry)).
fof(axEconomyPred152, axiom,
f_economyType(inst_Zimbabwe,inst_LessDevelopedCountry)).
fof(axEconomyPred153, axiom,
f_economyType(inst_HongKong,inst_FourDragonsEconomy)).
fof(axEconomyPred154, axiom,
f_economyType(inst_Singapore,inst_FourDragonsEconomy)).
fof(axEconomyPred155, axiom,
f_economyType(inst_SouthKorea,inst_FourDragonsEconomy)).
fof(axEconomyPred156, axiom,
f_economyType(inst_Taiwan,inst_FourDragonsEconomy)).
fof(axEconomyPred157, axiom,
f_economyType(inst_Australia,inst_AdvancedEconomy)).
fof(axEconomyPred158, axiom,
f_economyType(inst_Austria,inst_AdvancedEconomy)).
fof(axEconomyPred159, axiom,
f_economyType(inst_Belgium,inst_AdvancedEconomy)).
fof(axEconomyPred160, axiom,
f_economyType(inst_Canada,inst_AdvancedEconomy)).
fof(axEconomyPred161, axiom,
f_economyType(inst_Denmark,inst_AdvancedEconomy)).
fof(axEconomyPred162, axiom,
f_economyType(inst_Finland,inst_AdvancedEconomy)).
fof(axEconomyPred163, axiom,
f_economyType(inst_France,inst_AdvancedEconomy)).
fof(axEconomyPred164, axiom,
f_economyType(inst_Germany,inst_AdvancedEconomy)).
fof(axEconomyPred165, axiom,
f_economyType(inst_Greece,inst_AdvancedEconomy)).
fof(axEconomyPred166, axiom,
f_economyType(inst_HongKong,inst_AdvancedEconomy)).
fof(axEconomyPred167, axiom,
f_economyType(inst_Iceland,inst_AdvancedEconomy)).
fof(axEconomyPred168, axiom,
f_economyType(inst_Ireland,inst_AdvancedEconomy)).
fof(axEconomyPred169, axiom,
f_economyType(inst_Israel,inst_AdvancedEconomy)).
fof(axEconomyPred170, axiom,
f_economyType(inst_Italy,inst_AdvancedEconomy)).
fof(axEconomyPred171, axiom,
f_economyType(inst_Japan,inst_AdvancedEconomy)).
fof(axEconomyPred172, axiom,
f_economyType(inst_SouthKorea,inst_AdvancedEconomy)).
fof(axEconomyPred173, axiom,
f_economyType(inst_Luxembourg,inst_AdvancedEconomy)).
fof(axEconomyPred174, axiom,
f_economyType(inst_Netherlands,inst_AdvancedEconomy)).
fof(axEconomyPred175, axiom,
f_economyType(inst_NewZealand,inst_AdvancedEconomy)).
fof(axEconomyPred176, axiom,
f_economyType(inst_Norway,inst_AdvancedEconomy)).
fof(axEconomyPred177, axiom,
f_economyType(inst_Portugal,inst_AdvancedEconomy)).
fof(axEconomyPred178, axiom,
f_economyType(inst_Singapore,inst_AdvancedEconomy)).
fof(axEconomyPred179, axiom,
f_economyType(inst_Spain,inst_AdvancedEconomy)).
fof(axEconomyPred180, axiom,
f_economyType(inst_Sweden,inst_AdvancedEconomy)).
fof(axEconomyPred181, axiom,
f_economyType(inst_Switzerland,inst_AdvancedEconomy)).
fof(axEconomyPred182, axiom,
f_economyType(inst_Taiwan,inst_AdvancedEconomy)).
fof(axEconomyPred183, axiom,
f_economyType(inst_UnitedKingdom,inst_AdvancedEconomy)).
fof(axEconomyPred184, axiom,
f_economyType(inst_UnitedStates,inst_AdvancedEconomy)).
fof(axEconomyPred185, axiom,
f_economyType(inst_Albania,inst_CountryInTransition)).
fof(axEconomyPred186, axiom,
f_economyType(inst_Armenia,inst_CountryInTransition)).
fof(axEconomyPred187, axiom,
f_economyType(inst_Azerbaijan,inst_CountryInTransition)).
fof(axEconomyPred188, axiom,
f_economyType(inst_Belarus,inst_CountryInTransition)).
fof(axEconomyPred189, axiom,
f_economyType(inst_BosniaAndHerzegovina,inst_CountryInTransition)).
fof(axEconomyPred190, axiom,
f_economyType(inst_Bulgaria,inst_CountryInTransition)).
fof(axEconomyPred191, axiom,
f_economyType(inst_Croatia,inst_CountryInTransition)).
fof(axEconomyPred192, axiom,
f_economyType(inst_CzechRepublic,inst_CountryInTransition)).
fof(axEconomyPred193, axiom,
f_economyType(inst_Estonia,inst_CountryInTransition)).
fof(axEconomyPred194, axiom,
f_economyType(inst_RepublicOfGeorgia,inst_CountryInTransition)).
fof(axEconomyPred195, axiom,
f_economyType(inst_Hungary,inst_CountryInTransition)).
fof(axEconomyPred196, axiom,
f_economyType(inst_Kazakhstan,inst_CountryInTransition)).
fof(axEconomyPred197, axiom,
f_economyType(inst_Kyrgyzstan,inst_CountryInTransition)).
fof(axEconomyPred198, axiom,
f_economyType(inst_Latvia,inst_CountryInTransition)).
fof(axEconomyPred199, axiom,
f_economyType(inst_Lithuania,inst_CountryInTransition)).
fof(axEconomyPred200, axiom,
f_economyType(inst_Macedonia,inst_CountryInTransition)).
fof(axEconomyPred201, axiom,
f_economyType(inst_Moldova,inst_CountryInTransition)).
fof(axEconomyPred202, axiom,
f_economyType(inst_Mongolia,inst_CountryInTransition)).
fof(axEconomyPred203, axiom,
f_economyType(inst_Poland,inst_CountryInTransition)).
fof(axEconomyPred204, axiom,
f_economyType(inst_Romania,inst_CountryInTransition)).
fof(axEconomyPred205, axiom,
f_economyType(inst_Russia,inst_CountryInTransition)).
fof(axEconomyPred206, axiom,
f_economyType(inst_Slovakia,inst_CountryInTransition)).
fof(axEconomyPred207, axiom,
f_economyType(inst_Slovenia,inst_CountryInTransition)).
fof(axEconomyPred208, axiom,
f_economyType(inst_Tajikistan,inst_CountryInTransition)).
fof(axEconomyPred209, axiom,
f_economyType(inst_Turkmenistan,inst_CountryInTransition)).
fof(axEconomyPred210, axiom,
f_economyType(inst_Ukraine,inst_CountryInTransition)).
fof(axEconomyPred211, axiom,
f_economyType(inst_Uzbekistan,inst_CountryInTransition)).
fof(axEconomyPred212, axiom,
f_economyType(inst_Yugoslavia,inst_CountryInTransition)).
fof(axEconomyPred213, axiom,
f_economyType(inst_Afghanistan,inst_DevelopingCountry)).
fof(axEconomyPred214, axiom,
f_economyType(inst_Algeria,inst_DevelopingCountry)).
fof(axEconomyPred215, axiom,
f_economyType(inst_Angola,inst_DevelopingCountry)).
fof(axEconomyPred216, axiom,
f_economyType(inst_AntiguaAndBarbuda,inst_DevelopingCountry)).
fof(axEconomyPred217, axiom,
f_economyType(inst_Argentina,inst_DevelopingCountry)).
fof(axEconomyPred218, axiom,
f_economyType(inst_Aruba,inst_DevelopingCountry)).
fof(axEconomyPred219, axiom,
f_economyType(inst_TheBahamas,inst_DevelopingCountry)).
fof(axEconomyPred220, axiom,
f_economyType(inst_Bahrain,inst_DevelopingCountry)).
fof(axEconomyPred221, axiom,
f_economyType(inst_Bangladesh,inst_DevelopingCountry)).
fof(axEconomyPred222, axiom,
f_economyType(inst_Barbados,inst_DevelopingCountry)).
fof(axEconomyPred223, axiom,
f_economyType(inst_Belize,inst_DevelopingCountry)).
fof(axEconomyPred224, axiom,
f_economyType(inst_Burundi,inst_DevelopingCountry)).
fof(axEconomyPred225, axiom,
f_economyType(inst_Cambodia,inst_DevelopingCountry)).
fof(axEconomyPred226, axiom,
f_economyType(inst_Cameroon,inst_DevelopingCountry)).
fof(axEconomyPred227, axiom,
f_economyType(inst_CapeVerde,inst_DevelopingCountry)).
fof(axEconomyPred228, axiom,
f_economyType(inst_CentralAfricanRepublic,inst_DevelopingCountry)).
fof(axEconomyPred229, axiom,
f_economyType(inst_Chad,inst_DevelopingCountry)).
fof(axEconomyPred230, axiom,
f_economyType(inst_Chile,inst_DevelopingCountry)).
fof(axEconomyPred231, axiom,
f_economyType(inst_China,inst_DevelopingCountry)).
fof(axEconomyPred232, axiom,
f_economyType(inst_Colombia,inst_DevelopingCountry)).
fof(axEconomyPred233, axiom,
f_economyType(inst_Comoros,inst_DevelopingCountry)).
fof(axEconomyPred234, axiom,
f_economyType(inst_DemocraticRepublicOfTheCongo,inst_DevelopingCountry)).
fof(axEconomyPred235, axiom,
f_economyType(inst_CostaRica,inst_DevelopingCountry)).
fof(axEconomyPred236, axiom,
f_economyType(inst_CoteDIvoire,inst_DevelopingCountry)).
fof(axEconomyPred237, axiom,
f_economyType(inst_Cyprus,inst_DevelopingCountry)).
fof(axEconomyPred238, axiom,
f_economyType(inst_Djibouti,inst_DevelopingCountry)).
fof(axEconomyPred239, axiom,
f_economyType(inst_Dominica,inst_DevelopingCountry)).
fof(axEconomyPred240, axiom,
f_economyType(inst_DominicanRepublic,inst_DevelopingCountry)).
fof(axEconomyPred241, axiom,
f_economyType(inst_Ecuador,inst_DevelopingCountry)).
fof(axEconomyPred242, axiom,
f_economyType(inst_Egypt,inst_DevelopingCountry)).
fof(axEconomyPred243, axiom,
f_economyType(inst_ElSalvador,inst_DevelopingCountry)).
fof(axEconomyPred244, axiom,
f_economyType(inst_EquatorialGuinea,inst_DevelopingCountry)).
fof(axEconomyPred245, axiom,
f_economyType(inst_Ethiopia,inst_DevelopingCountry)).
fof(axEconomyPred246, axiom,
f_economyType(inst_Fiji,inst_DevelopingCountry)).
fof(axEconomyPred247, axiom,
f_economyType(inst_Gabon,inst_DevelopingCountry)).
fof(axEconomyPred248, axiom,
f_economyType(inst_Gambia,inst_DevelopingCountry)).
fof(axEconomyPred249, axiom,
f_economyType(inst_Ghana,inst_DevelopingCountry)).
fof(axEconomyPred250, axiom,
f_economyType(inst_Grenada,inst_DevelopingCountry)).
fof(axEconomyPred251, axiom,
f_economyType(inst_Guatemala,inst_DevelopingCountry)).
fof(axEconomyPred252, axiom,
f_economyType(inst_Guinea,inst_DevelopingCountry)).
fof(axEconomyPred253, axiom,
f_economyType(inst_GuineaBissau,inst_DevelopingCountry)).
fof(axEconomyPred254, axiom,
f_economyType(inst_Guyana,inst_DevelopingCountry)).
fof(axEconomyPred255, axiom,
f_economyType(inst_Haiti,inst_DevelopingCountry)).
fof(axEconomyPred256, axiom,
f_economyType(inst_Honduras,inst_DevelopingCountry)).
fof(axEconomyPred257, axiom,
f_economyType(inst_India,inst_DevelopingCountry)).
fof(axEconomyPred258, axiom,
f_economyType(inst_Indonesia,inst_DevelopingCountry)).
fof(axEconomyPred259, axiom,
f_economyType(inst_Iran,inst_DevelopingCountry)).
fof(axEconomyPred260, axiom,
f_economyType(inst_Iraq,inst_DevelopingCountry)).
fof(axEconomyPred261, axiom,
f_economyType(inst_Jamaica,inst_DevelopingCountry)).
fof(axEconomyPred262, axiom,
f_economyType(inst_Jordan,inst_DevelopingCountry)).
fof(axEconomyPred263, axiom,
f_economyType(inst_Kenya,inst_DevelopingCountry)).
fof(axEconomyPred264, axiom,
f_economyType(inst_Kiribati,inst_DevelopingCountry)).
fof(axEconomyPred265, axiom,
f_economyType(inst_Kuwait,inst_DevelopingCountry)).
fof(axEconomyPred266, axiom,
f_economyType(inst_Laos,inst_DevelopingCountry)).
fof(axEconomyPred267, axiom,
f_economyType(inst_Lebanon,inst_DevelopingCountry)).
fof(axEconomyPred268, axiom,
f_economyType(inst_Lesotho,inst_DevelopingCountry)).
fof(axEconomyPred269, axiom,
f_economyType(inst_Liberia,inst_DevelopingCountry)).
fof(axEconomyPred270, axiom,
f_economyType(inst_Libya,inst_DevelopingCountry)).
fof(axEconomyPred271, axiom,
f_economyType(inst_Madagascar,inst_DevelopingCountry)).
fof(axEconomyPred272, axiom,
f_economyType(inst_Malawi,inst_DevelopingCountry)).
fof(axEconomyPred273, axiom,
f_economyType(inst_Malaysia,inst_DevelopingCountry)).
fof(axEconomyPred274, axiom,
f_economyType(inst_Maldives,inst_DevelopingCountry)).
fof(axEconomyPred275, axiom,
f_economyType(inst_Mali,inst_DevelopingCountry)).
fof(axEconomyPred276, axiom,
f_economyType(inst_Malta,inst_DevelopingCountry)).
fof(axEconomyPred277, axiom,
f_economyType(inst_MarshallIslands,inst_DevelopingCountry)).
fof(axEconomyPred278, axiom,
f_economyType(inst_Mauritania,inst_DevelopingCountry)).
fof(axEconomyPred279, axiom,
f_economyType(inst_Mauritius,inst_DevelopingCountry)).
fof(axEconomyPred280, axiom,
f_economyType(inst_Mexico,inst_DevelopingCountry)).
fof(axEconomyPred281, axiom,
f_economyType(inst_Micronesia,inst_DevelopingCountry)).
fof(axEconomyPred282, axiom,
f_economyType(inst_Morocco,inst_DevelopingCountry)).
fof(axEconomyPred283, axiom,
f_economyType(inst_Mozambique,inst_DevelopingCountry)).
fof(axEconomyPred284, axiom,
f_economyType(inst_Namibia,inst_DevelopingCountry)).
fof(axEconomyPred285, axiom,
f_economyType(inst_Nepal,inst_DevelopingCountry)).
fof(axEconomyPred286, axiom,
f_economyType(inst_NetherlandsAntilles,inst_DevelopingCountry)).
fof(axEconomyPred287, axiom,
f_economyType(inst_Nicaragua,inst_DevelopingCountry)).
fof(axEconomyPred288, axiom,
f_economyType(inst_Niger,inst_DevelopingCountry)).
fof(axEconomyPred289, axiom,
f_economyType(inst_Nigeria,inst_DevelopingCountry)).
fof(axEconomyPred290, axiom,
f_economyType(inst_Oman,inst_DevelopingCountry)).
fof(axEconomyPred291, axiom,
f_economyType(inst_Pakistan,inst_DevelopingCountry)).
fof(axEconomyPred292, axiom,
f_economyType(inst_Panama,inst_DevelopingCountry)).
fof(axEconomyPred293, axiom,
f_economyType(inst_PapuaNewGuinea,inst_DevelopingCountry)).
fof(axEconomyPred294, axiom,
f_economyType(inst_Paraguay,inst_DevelopingCountry)).
fof(axEconomyPred295, axiom,
f_economyType(inst_Peru,inst_DevelopingCountry)).
fof(axEconomyPred296, axiom,
f_economyType(inst_Philippines,inst_DevelopingCountry)).
fof(axEconomyPred297, axiom,
f_economyType(inst_Qatar,inst_DevelopingCountry)).
fof(axEconomyPred298, axiom,
f_economyType(inst_Rwanda,inst_DevelopingCountry)).
fof(axEconomyPred299, axiom,
f_economyType(inst_SaintKittsAndNevis,inst_DevelopingCountry)).
fof(axEconomyPred300, axiom,
f_economyType(inst_SaintLucia,inst_DevelopingCountry)).
fof(axEconomyPred301, axiom,
f_economyType(inst_SaintVincentAndTheGrenadines,inst_DevelopingCountry)).
fof(axEconomyPred302, axiom,
f_economyType(inst_Samoa,inst_DevelopingCountry)).
fof(axEconomyPred303, axiom,
f_economyType(inst_SaoTomeAndPrincipe,inst_DevelopingCountry)).
fof(axEconomyPred304, axiom,
f_economyType(inst_SaudiArabia,inst_DevelopingCountry)).
fof(axEconomyPred305, axiom,
f_economyType(inst_Senegal,inst_DevelopingCountry)).
fof(axEconomyPred306, axiom,
f_economyType(inst_Seychelles,inst_DevelopingCountry)).
fof(axEconomyPred307, axiom,
f_economyType(inst_SierraLeone,inst_DevelopingCountry)).
fof(axEconomyPred308, axiom,
f_economyType(inst_SolomonIslands,inst_DevelopingCountry)).
fof(axEconomyPred309, axiom,
f_economyType(inst_Somalia,inst_DevelopingCountry)).
fof(axEconomyPred310, axiom,
f_economyType(inst_SouthAfrica,inst_DevelopingCountry)).
fof(axEconomyPred311, axiom,
f_economyType(inst_SriLanka,inst_DevelopingCountry)).
fof(axEconomyPred312, axiom,
f_economyType(inst_Sudan,inst_DevelopingCountry)).
fof(axEconomyPred313, axiom,
f_economyType(inst_Suriname,inst_DevelopingCountry)).
fof(axEconomyPred314, axiom,
f_economyType(inst_Swaziland,inst_DevelopingCountry)).
fof(axEconomyPred315, axiom,
f_economyType(inst_Syria,inst_DevelopingCountry)).
fof(axEconomyPred316, axiom,
f_economyType(inst_Tanzania,inst_DevelopingCountry)).
fof(axEconomyPred317, axiom,
f_economyType(inst_Thailand,inst_DevelopingCountry)).
fof(axEconomyPred318, axiom,
f_economyType(inst_Togo,inst_DevelopingCountry)).
fof(axEconomyPred319, axiom,
f_economyType(inst_TrinidadAndTobago,inst_DevelopingCountry)).
fof(axEconomyPred320, axiom,
f_economyType(inst_Tunisia,inst_DevelopingCountry)).
fof(axEconomyPred321, axiom,
f_economyType(inst_Turkey,inst_DevelopingCountry)).
fof(axEconomyPred322, axiom,
f_economyType(inst_UnitedArabEmirates,inst_DevelopingCountry)).
fof(axEconomyPred323, axiom,
f_economyType(inst_Uganda,inst_DevelopingCountry)).
fof(axEconomyPred324, axiom,
f_economyType(inst_Uruguay,inst_DevelopingCountry)).
fof(axEconomyPred325, axiom,
f_economyType(inst_Vanuatu,inst_DevelopingCountry)).
fof(axEconomyPred326, axiom,
f_economyType(inst_Venezuela,inst_DevelopingCountry)).
fof(axEconomyPred327, axiom,
f_economyType(inst_Vietnam,inst_DevelopingCountry)).
fof(axEconomyPred328, axiom,
f_economyType(inst_Yemen,inst_DevelopingCountry)).
fof(axEconomyPred329, axiom,
f_economyType(inst_Zambia,inst_DevelopingCountry)).
fof(axEconomyPred330, axiom,
f_economyType(inst_Zimbabwe,inst_DevelopingCountry)).
fof(axEconomyPred331, axiom,
f_industryProductType(inst_CoalMining,type_Coal)).
fof(axEconomyPred332, axiom,
f_industryProductType(inst_ConsumerGoodsIndustry,type_ConsumerGood)).
fof(axEconomyPred333, axiom,
f_industryProductType(inst_CopperOreMining,type_CopperOre)).
fof(axEconomyPred334, axiom,
f_industryProductType(inst_FertilizerMineralMining,type_Fertilizer)).
fof(axEconomyPred335, axiom,
f_industryProductType(inst_FurnitureManufacturing,type_Furniture)).
fof(axEconomyPred336, axiom,
f_industryProductType(inst_HandwovenCarpetManufacturing,type_HandwovenCarpet)).
fof(axEconomyPred337, axiom,
f_industryProductType(inst_LeadOreMining,type_LeadOre)).
fof(axEconomyPred338, axiom,
f_industryProductType(inst_LeadManufacturing,type_LeadProduct)).
fof(axEconomyPred339, axiom,
f_industryProductType(inst_ForestryAndLogging,type_Timber)).
fof(axEconomyPred340, axiom,
f_industryProductType(inst_WoodProductManufacturing,type_WoodProduct)).
fof(axEconomyPred341, axiom,
f_industryProductType(inst_Millwork,type_WoodProduct)).
fof(axEconomyPred342, axiom,
f_industryProductType(inst_MetallurgyIndustry,type_Metal)).
fof(axEconomyPred343, axiom,
f_industryProductType(inst_MotorVehicleManufacturing,type_RoadVehicle)).
fof(axEconomyPred344, axiom,
f_industryProductType(inst_NaturalGasIndustry,type_NaturalGas)).
fof(axEconomyPred345, axiom,
f_industryProductType(inst_CrudePetroleumExtraction,type_Petroleum)).
fof(axEconomyPred346, axiom,
f_industryProductType(inst_PetroleumRefineries,type_RefinedPetroleumProduct)).
fof(axEconomyPred347, axiom,
f_industryProductType(inst_AsphaltPavingRoofingAndSaturatedMaterialsManufacturing,type_Asphalt)).
fof(axEconomyPred348, axiom,
f_industryProductType(inst_SteelMills,type_Steel)).
fof(axEconomyPred349, axiom,
f_industryProductType(inst_TextileIndustry,type_TextileProduct)).
fof(axEconomyPred350, axiom,
f_industryProductType(inst_ZincOreMining,type_ZincOre)).
fof(axEconomyPred351, axiom,
f_industryProductType(inst_ZincManufacturing,type_ZincProduct)).
fof(axEconomyPred352, axiom,
f_MeasureFn(1,inst_KilowattHour) = f_MeasureFn(3.6,f_MegaFn(inst_Joule))).
fof(axEconomyPred353, axiom,
f_MeasureFn(1,inst_KilowattHour) = f_MeasureFn(3600000,inst_Joule)).
fof(axEconomyPred354, axiom,
f_currencyType(inst_Afghanistan,inst_AfghanAfghani)).
fof(axEconomyPred355, axiom,
f_currencyType(inst_UnitedKingdom,inst_BritishPound)).
fof(axEconomyPred356, axiom,
f_currencyType(inst_Canada,inst_CanadianDollar)).
fof(axEconomyPred357, axiom,
f_currencyType(inst_France,inst_FrenchFranc)).
fof(axEconomyPred358, axiom,
f_currencyType(inst_Germany,inst_GermanMark)).
fof(axEconomyPred359, axiom,
f_currencyType(inst_Italy,inst_ItalianLire)).
fof(axEconomyPred360, axiom,
f_currencyType(inst_Japan,inst_JapaneseYen)).
fof(axEconomyPred361, axiom,
f_currencyType(inst_Tajikistan,inst_TajikSomoni)).
fof(axEconomyPred362, axiom,
f_currencyValue(type_AfghanAfghaniCoin,inst_AfghanAfghani)).
fof(axEconomyPred363, axiom,
f_currencyValue(type_BritishPoundCoin,inst_BritishPound)).
fof(axEconomyPred364, axiom,
f_currencyValue(type_CanadianDollarCoin,inst_CanadianDollar)).
fof(axEconomyPred365, axiom,
f_currencyValue(type_EuroCentCoin,inst_EuroCent)).
fof(axEconomyPred366, axiom,
f_currencyValue(type_EuroDollarCoin,inst_EuroDollar)).
fof(axEconomyPred367, axiom,
f_currencyValue(type_FrenchFrancCoin,inst_FrenchFranc)).
fof(axEconomyPred368, axiom,
f_currencyValue(type_GermanMarkCoin,inst_GermanMark)).
fof(axEconomyPred369, axiom,
f_currencyValue(type_ItalianLireCoin,inst_ItalianLire)).
fof(axEconomyPred370, axiom,
f_currencyValue(type_JapaneseYenCoin,inst_JapaneseYen)).
fof(axEconomyPred371, axiom,
f_currencyValue(type_TajikSomoniCoin,inst_TajikSomoni)).
fof(axEconomyPred372, axiom,
f_currencyValue(type_UnitedStatesCentCoin,inst_UnitedStatesCent)).
fof(axEconomyPred373, axiom,
f_currencyValue(type_UnitedStatesFiveCentCoin,f_MeasureFn(5,inst_UnitedStatesCent))).
fof(axEconomyPred374, axiom,
f_currencyValue(type_UnitedStatesCentCoin,f_MeasureFn(10,inst_UnitedStatesCent))).
fof(axEconomyPred375, axiom,
f_currencyValue(type_UnitedStatesQuarterCoin,f_MeasureFn(25,inst_UnitedStatesCent))).
fof(axEconomyPred376, axiom,
f_currencyValue(type_UnitedStatesDollarBill,inst_UnitedStatesDollar)).
fof(axEconomyPred377, axiom,
f_currencyType(inst_Albania,inst_AlbanianLek)).
fof(axEconomyPred378, axiom,
f_currencyType(inst_Algeria,inst_AlgerianDinar)).
fof(axEconomyPred379, axiom,
f_currencyType(inst_Angola,inst_AngolanKwanza)).
fof(axEconomyPred380, axiom,
f_currencyType(inst_Argentina,inst_ArgentineAustral)).
fof(axEconomyPred381, axiom,
f_currencyType(inst_Armenia,inst_ArmenianDram)).
fof(axEconomyPred382, axiom,
f_currencyType(inst_Australia,inst_AustralianDollar)).
fof(axEconomyPred383, axiom,
f_currencyType(inst_Austria,inst_AustrianSchilling)).
fof(axEconomyPred384, axiom,
f_currencyType(inst_Azerbaijan,inst_AzerbaijaniManat)).
fof(axEconomyPred385, axiom,
f_currencyType(inst_Bahrain,inst_BahrainianDinar)).
fof(axEconomyPred386, axiom,
f_currencyType(inst_Bangladesh,inst_BangladeshiTaka)).
fof(axEconomyPred387, axiom,
f_currencyType(inst_Barbados,inst_BarbadosDollar)).
fof(axEconomyPred388, axiom,
f_currencyType(inst_Belarus,inst_BelarusianRubel)).
fof(axEconomyPred389, axiom,
f_currencyType(inst_Belgium,inst_BelgianFranc)).
fof(axEconomyPred390, axiom,
f_currencyType(inst_Belize,inst_BelizeDollar)).
fof(axEconomyPred391, axiom,
f_currencyType(inst_Benin,inst_BeninFranc)).
fof(axEconomyPred392, axiom,
f_currencyType(inst_Bermuda,inst_BermudaDollar)).
fof(axEconomyPred393, axiom,
f_currencyType(inst_Bhutan,inst_BhutaneseNgultrum)).
fof(axEconomyPred394, axiom,
f_currencyType(inst_Bolivia,inst_BolivianBoliviano)).
fof(axEconomyPred395, axiom,
f_currencyType(inst_Botswana,inst_BotswanaPula)).
fof(axEconomyPred396, axiom,
f_currencyType(inst_Brazil,inst_BrazilianReal)).
fof(axEconomyPred397, axiom,
f_currencyType(inst_Brunei,inst_BruneiDollar)).
fof(axEconomyPred398, axiom,
f_currencyType(inst_Bulgaria,inst_BulgarianLev)).
fof(axEconomyPred399, axiom,
f_currencyType(inst_BurkinaFaso,inst_BurkinaFasoFranc)).
fof(axEconomyPred400, axiom,
f_currencyType(inst_Burundi,inst_BurundiFranc)).
fof(axEconomyPred401, axiom,
f_currencyType(inst_Cambodia,inst_CambodianRiel)).
fof(axEconomyPred402, axiom,
f_currencyType(inst_Cameroon,inst_CameroonFranc)).
fof(axEconomyPred403, axiom,
f_currencyType(inst_CapeVerde,inst_CapeVerdeEscudo)).
fof(axEconomyPred404, axiom,
f_currencyType(inst_CaymanIslands,inst_CaymanIslandsDollar)).
fof(axEconomyPred405, axiom,
f_currencyType(inst_CentralAfricanRepublic,inst_CentralAfricanRepublicFranc)).
fof(axEconomyPred406, axiom,
f_currencyType(inst_Chad,inst_ChadianFranc)).
fof(axEconomyPred407, axiom,
f_currencyType(inst_Chile,inst_ChileanPeso)).
fof(axEconomyPred408, axiom,
f_currencyType(inst_China,inst_ChineseYuan)).
fof(axEconomyPred409, axiom,
f_currencyType(inst_Colombia,inst_ColombianPeso)).
fof(axEconomyPred410, axiom,
f_currencyType(inst_Congo,inst_CongoFranc)).
fof(axEconomyPred411, axiom,
f_currencyType(inst_CostaRica,inst_CostaRicanColon)).
fof(axEconomyPred412, axiom,
f_currencyType(inst_Cuba,inst_CubanPeso)).
fof(axEconomyPred413, axiom,
f_currencyType(inst_Cyprus,inst_CypriotPound)).
fof(axEconomyPred414, axiom,
f_currencyType(inst_CzechRepublic,inst_CzechKoruna)).
fof(axEconomyPred415, axiom,
f_currencyType(inst_Djibouti,inst_DjiboutiFranc)).
fof(axEconomyPred416, axiom,
f_currencyType(inst_Dominica,inst_DominicanDollar)).
fof(axEconomyPred417, axiom,
f_currencyType(inst_Dominica,inst_DominicanPeso)).
fof(axEconomyPred418, axiom,
f_currencyType(inst_Netherlands,inst_DutchGuilder)).
fof(axEconomyPred419, axiom,
f_currencyType(inst_Ecuador,inst_EcuadoranSucre)).
fof(axEconomyPred420, axiom,
f_currencyType(inst_Egypt,inst_EgyptianPound)).
fof(axEconomyPred421, axiom,
f_currencyType(inst_ElSalvador,inst_ElSalvadoranColon)).
fof(axEconomyPred422, axiom,
f_currencyType(inst_Estonia,inst_EstonianKroon)).
fof(axEconomyPred423, axiom,
f_currencyType(inst_Ethiopia,inst_EthiopianBirr)).
fof(axEconomyPred424, axiom,
f_currencyType(inst_Fiji,inst_FijiDollar)).
fof(axEconomyPred425, axiom,
f_currencyType(inst_Finland,inst_FinnishMarkka)).
fof(axEconomyPred426, axiom,
f_currencyType(inst_Gabon,inst_GabonFranc)).
fof(axEconomyPred427, axiom,
f_currencyType(inst_Gambia,inst_GambianDalasi)).
fof(axEconomyPred428, axiom,
f_currencyType(inst_RepublicOfGeorgia,inst_GeorgianLari)).
fof(axEconomyPred429, axiom,
f_currencyType(inst_Ghana,inst_GhanianCedi)).
fof(axEconomyPred430, axiom,
f_currencyType(inst_Greece,inst_GreekDrachma)).
fof(axEconomyPred431, axiom,
f_currencyType(inst_Grenada,inst_GrenadaDollar)).
fof(axEconomyPred432, axiom,
f_currencyType(inst_Guatemala,inst_GuatemalanQuetzal)).
fof(axEconomyPred433, axiom,
f_currencyType(inst_GuineaBissau,inst_GuineaBissauPeso)).
fof(axEconomyPred434, axiom,
f_currencyType(inst_Guinea,inst_GuineanFranc)).
fof(axEconomyPred435, axiom,
f_currencyType(inst_Guyana,inst_GuyanaDollar)).
fof(axEconomyPred436, axiom,
f_currencyType(inst_Haiti,inst_HaitianGourde)).
fof(axEconomyPred437, axiom,
f_currencyType(inst_Honduras,inst_HonduranLempira)).
fof(axEconomyPred438, axiom,
f_currencyType(inst_HongKong,inst_HongKongDollar)).
fof(axEconomyPred439, axiom,
f_currencyType(inst_Hungary,inst_HungarianForint)).
fof(axEconomyPred440, axiom,
f_currencyType(inst_Iceland,inst_IcelandicKrona)).
fof(axEconomyPred441, axiom,
f_currencyType(inst_India,inst_IndianRupee)).
fof(axEconomyPred442, axiom,
f_currencyType(inst_Indonesia,inst_IndonesianRupiah)).
fof(axEconomyPred443, axiom,
f_currencyType(inst_Iran,inst_IranianRial)).
fof(axEconomyPred444, axiom,
f_currencyType(inst_Iraq,inst_IraqiDinar)).
fof(axEconomyPred445, axiom,
f_currencyType(inst_Ireland,inst_IrishPound)).
fof(axEconomyPred446, axiom,
f_currencyType(inst_Israel,inst_IsraeliShekel)).
fof(axEconomyPred447, axiom,
f_currencyType(inst_Jamaica,inst_JamaicanDollar)).
fof(axEconomyPred448, axiom,
f_currencyType(inst_Jordan,inst_JordanianDinar)).
fof(axEconomyPred449, axiom,
f_currencyType(inst_Kazakhstan,inst_KazakhstaniTenge)).
fof(axEconomyPred450, axiom,
f_currencyType(inst_Kenya,inst_KenyanShilling)).
fof(axEconomyPred451, axiom,
f_currencyType(inst_Kiribati,inst_KiribatiDollar)).
fof(axEconomyPred452, axiom,
f_currencyType(inst_Kuwait,inst_KuwaitiDinar)).
fof(axEconomyPred453, axiom,
f_currencyType(inst_Kyrgyzstan,inst_KyrgyzstaniSom)).
fof(axEconomyPred454, axiom,
f_currencyType(inst_Laos,inst_LaotianKip)).
fof(axEconomyPred455, axiom,
f_currencyType(inst_Latvia,inst_LatvianLats)).
fof(axEconomyPred456, axiom,
f_currencyType(inst_Lebanon,inst_LebanesePound)).
fof(axEconomyPred457, axiom,
f_currencyType(inst_Lesotho,inst_LesothoLoti)).
fof(axEconomyPred458, axiom,
f_currencyType(inst_Liberia,inst_LiberianDollar)).
fof(axEconomyPred459, axiom,
f_currencyType(inst_Libya,inst_LibyanDinar)).
fof(axEconomyPred460, axiom,
f_currencyType(inst_Lithuania,inst_LithuanianLitas)).
fof(axEconomyPred461, axiom,
f_currencyType(inst_Luxembourg,inst_LuxembourgFranc)).
fof(axEconomyPred462, axiom,
f_currencyType(inst_Madagascar,inst_MadagascarFranc)).
fof(axEconomyPred463, axiom,
f_currencyType(inst_Malawi,inst_MalawianKwacha)).
fof(axEconomyPred464, axiom,
f_currencyType(inst_Malaysia,inst_MalaysianRinggit)).
fof(axEconomyPred465, axiom,
f_currencyType(inst_Mali,inst_MaliFranc)).
fof(axEconomyPred466, axiom,
f_currencyType(inst_Malta,inst_MalteseLira)).
fof(axEconomyPred467, axiom,
f_currencyType(inst_Mauritius,inst_MauritanianOuguiya)).
fof(axEconomyPred468, axiom,
f_currencyType(inst_Mauritius,inst_MauritianRupee)).
fof(axEconomyPred469, axiom,
f_currencyType(inst_Mexico,inst_MexicanPeso)).
fof(axEconomyPred470, axiom,
f_currencyType(inst_Moldova,inst_MoldovanLeu)).
fof(axEconomyPred471, axiom,
f_currencyType(inst_Mongolia,inst_MongolianTugrik)).
fof(axEconomyPred472, axiom,
f_currencyType(inst_Mozambique,inst_MozambiqueMetical)).
fof(axEconomyPred473, axiom,
f_currencyType(inst_Myanmar,inst_MyanmarKyat)).
fof(axEconomyPred474, axiom,
f_currencyType(inst_Nepal,inst_NepaleseRupee)).
fof(axEconomyPred475, axiom,
f_currencyType(inst_NewZealand,inst_NewZealandDollar)).
fof(axEconomyPred476, axiom,
f_currencyType(inst_Nicaragua,inst_NicaraguanCordoba)).
fof(axEconomyPred477, axiom,
f_currencyType(inst_Niger,inst_NigerFranc)).
fof(axEconomyPred478, axiom,
f_currencyType(inst_Nigeria,inst_NigerianNaira)).
fof(axEconomyPred479, axiom,
f_currencyType(inst_NorthKorea,inst_NorthKoreanWon)).
fof(axEconomyPred480, axiom,
f_currencyType(inst_Norway,inst_NorwegianKrone)).
fof(axEconomyPred481, axiom,
f_currencyType(inst_Oman,inst_OmaniRiyal)).
fof(axEconomyPred482, axiom,
f_currencyType(inst_Pakistan,inst_PakistaniRupee)).
fof(axEconomyPred483, axiom,
f_currencyType(inst_Panama,inst_PanamanianBalboa)).
fof(axEconomyPred484, axiom,
f_currencyType(inst_Paraguay,inst_ParaguayanGuarani)).
fof(axEconomyPred485, axiom,
f_currencyType(inst_Peru,inst_PeruvianInti)).
fof(axEconomyPred486, axiom,
f_currencyType(inst_Philippines,inst_PhilippinePeso)).
fof(axEconomyPred487, axiom,
f_currencyType(inst_Poland,inst_PolishZloty)).
fof(axEconomyPred488, axiom,
f_currencyType(inst_Portugal,inst_PortugueseEscudo)).
fof(axEconomyPred489, axiom,
f_currencyType(inst_Qatar,inst_QatariRiyal)).
fof(axEconomyPred490, axiom,
f_currencyType(inst_Romania,inst_RomanianLeu)).
fof(axEconomyPred491, axiom,
f_currencyType(inst_Russia,inst_RussianRuble)).
fof(axEconomyPred492, axiom,
f_currencyType(inst_Rwanda,inst_RwandaFranc)).
fof(axEconomyPred493, axiom,
f_currencyType(inst_SaudiArabia,inst_SaudiArabianRiyal)).
fof(axEconomyPred494, axiom,
f_currencyType(inst_Senegal,inst_SenegaleseFranc)).
fof(axEconomyPred495, axiom,
f_currencyType(inst_Seychelles,inst_SeychellesRupee)).
fof(axEconomyPred496, axiom,
f_currencyType(inst_SierraLeone,inst_SierraLeoneLeone)).
fof(axEconomyPred497, axiom,
f_currencyType(inst_Singapore,inst_SingaporeDollar)).
fof(axEconomyPred498, axiom,
f_currencyType(inst_Slovakia,inst_SlovakianKoruna)).
fof(axEconomyPred499, axiom,
f_currencyType(inst_Somalia,inst_SomalianShilling)).
fof(axEconomyPred500, axiom,
f_currencyType(inst_SouthAfrica,inst_SouthAfricanRand)).
fof(axEconomyPred501, axiom,
f_currencyType(inst_SouthKorea,inst_SouthKoreanWon)).
fof(axEconomyPred502, axiom,
f_currencyType(inst_Spain,inst_SpanishPeseta)).
fof(axEconomyPred503, axiom,
f_currencyType(inst_SriLanka,inst_SriLankanRupee)).
fof(axEconomyPred504, axiom,
f_currencyType(inst_Sudan,inst_SudanesePound)).
fof(axEconomyPred505, axiom,
f_currencyType(inst_Suriname,inst_SurinameseGuilder)).
fof(axEconomyPred506, axiom,
f_currencyType(inst_Swaziland,inst_SwazilandLilangeni)).
fof(axEconomyPred507, axiom,
f_currencyType(inst_Sweden,inst_SwedishKrona)).
fof(axEconomyPred508, axiom,
f_currencyType(inst_Switzerland,inst_SwissFranc)).
fof(axEconomyPred509, axiom,
f_currencyType(inst_Syria,inst_SyrianPound)).
fof(axEconomyPred510, axiom,
f_currencyType(inst_Taiwan,inst_TaiwanDollar)).
fof(axEconomyPred511, axiom,
f_currencyType(inst_Tajikistan,inst_TajikistaniRuble)).
fof(axEconomyPred512, axiom,
f_currencyType(inst_Tanzania,inst_TanzanianShilling)).
fof(axEconomyPred513, axiom,
f_currencyType(inst_Thailand,inst_ThaiBaht)).
fof(axEconomyPred514, axiom,
f_currencyType(inst_Togo,inst_TogoFranc)).
fof(axEconomyPred515, axiom,
f_currencyType(inst_Tonga,inst_TonganPaanga)).
fof(axEconomyPred516, axiom,
f_currencyType(inst_TrinidadAndTobago,inst_TrinidadAndTobagoDollar)).
fof(axEconomyPred517, axiom,
f_currencyType(inst_Tunisia,inst_TunisianDinar)).
fof(axEconomyPred518, axiom,
f_currencyType(inst_Turkey,inst_TurkishLira)).
fof(axEconomyPred519, axiom,
f_currencyType(inst_Turkmenistan,inst_TurkmenManat)).
fof(axEconomyPred520, axiom,
f_currencyType(inst_Tuvalu,inst_TuvaluDollar)).
fof(axEconomyPred521, axiom,
f_currencyType(inst_Uganda,inst_UgandanShilling)).
fof(axEconomyPred522, axiom,
f_currencyType(inst_Ukraine,inst_UkranianHryvnia)).
fof(axEconomyPred523, axiom,
f_currencyType(inst_UnitedArabEmirates,inst_UnitedArabEmirateDirham)).
fof(axEconomyPred524, axiom,
f_currencyType(inst_Uruguay,inst_UruguayanPeso)).
fof(axEconomyPred525, axiom,
f_currencyType(inst_Uzbekistan,inst_UzbekistaniSom)).
fof(axEconomyPred526, axiom,
f_currencyType(inst_Venezuela,inst_VenezuelanBolivar)).
fof(axEconomyPred527, axiom,
f_currencyType(inst_Vietnam,inst_VietnameseDong)).
fof(axEconomyPred528, axiom,
f_currencyType(inst_WesternSamoa,inst_WesternSamoaNtala)).
fof(axEconomyPred529, axiom,
f_currencyType(inst_Yemen,inst_YemeniRial)).
fof(axEconomyPred530, axiom,
f_currencyType(inst_Yugoslavia,inst_YugoslavianDinar)).
fof(axEconomyPred531, axiom,
f_currencyType(inst_Zaire,inst_ZaireSezaire)).
fof(axEconomyPred532, axiom,
f_currencyType(inst_Zambia,inst_ZambianKwacha)).
fof(axEconomyPred533, axiom,
f_currencyType(inst_Zimbabwe,inst_ZimbabweanDollar)).
fof(axEconomyPred534, axiom,
f_industryProductType(inst_TextileMills,type_TextileProduct)).
fof(axEconomyPred535, axiom,
f_industryProductType(inst_TextileProductMills,type_TextileProduct)).
fof(axEconomyPred536, axiom,
f_industryProductType(inst_CerealGrainFarming,type_CerealGrain)).
fof(axEconomyPred537, axiom,
f_industryProductType(inst_CornFarming,type_MaizeGrain)).
fof(axEconomyPred538, axiom,
f_industryProductType(inst_WheatFarming,type_WheatGrain)).
fof(axEconomyPred539, axiom,
f_industryProductType(inst_RiceFarming,type_RiceGrain)).
fof(axEconomyPred540, axiom,
f_industryProductType(inst_OatFarming,type_OatGrain)).
fof(axEconomyPred541, axiom,
f_industryProductType(inst_BarleyFarming,type_BarleyGrain)).
fof(axEconomyPred542, axiom,
f_industryProductType(inst_RyeFarming,type_RyeGrain)).
fof(axEconomyPred543, axiom,
f_industryProductType(inst_SorghumFarming,type_SorghumGrain)).
fof(axEconomyPred544, axiom,
f_industryProductType(inst_MilletFarming,type_MilletGrain)).
fof(axEconomyPred545, axiom,
f_industryProductType(inst_FruitFarming,type_Fruit)).
fof(axEconomyPred546, axiom,
f_industryProductType(inst_VegetableFarming,type_Vegetable)).
fof(axEconomyPred547, axiom,
f_industryProductType(inst_ForestryAndLogging,type_ForestProduct)).