From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/SUMO/TPTP/EconomyPredAx.p | 1644 ------------------------------------ 1 file changed, 1644 deletions(-) delete mode 100644 examples/SUMO/TPTP/EconomyPredAx.p (limited to 'examples/SUMO/TPTP/EconomyPredAx.p') diff --git a/examples/SUMO/TPTP/EconomyPredAx.p b/examples/SUMO/TPTP/EconomyPredAx.p deleted file mode 100644 index b02a21199..000000000 --- a/examples/SUMO/TPTP/EconomyPredAx.p +++ /dev/null @@ -1,1644 +0,0 @@ -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)). - -- cgit v1.2.3