path: root/examples/SUMO/TPTP/GovernmentPredAx.p

fof(axGovPred0, axiom, 
 f_leaderPosition(inst_UnitedKingdom,inst_PrimeMinister)).

fof(axGovPred1, axiom, 
 f_leaderPosition(inst_Canada,inst_PrimeMinister)).

fof(axGovPred2, axiom, 
 f_leaderPosition(inst_Iran,inst_President)).

fof(axGovPred3, axiom, 
 f_subOrganization(inst_USStateDepartment,f_GovernmentFn(inst_UnitedStates))).

fof(axGovPred4, axiom, 
 f_subsumesContentInstance(inst_ImmigrationAndNationalityAct_US,inst_ImmigrationAndNationalityAct_Section219_US)).

fof(axGovPred5, axiom, 
 f_dateEstablished(inst_AfricanCaribbeanAndPacificGroupOfStates,f_DayFn(6,f_MonthFn(type_June,f_YearFn(1975))))).

fof(axGovPred6, axiom, 
 f_organizationalObjective(inst_AfricanCaribbeanAndPacificGroupOfStates,inst_EconomicCooperation)).

fof(axGovPred7, axiom, 
 f_dateEstablished(inst_AfricanDevelopmentBank,f_DayFn(4,f_MonthFn(type_August,f_YearFn(1963))))).

fof(axGovPred8, axiom, 
 f_organizationalObjective(inst_AfricanDevelopmentBank,inst_EconomicDevelopment)).

fof(axGovPred9, axiom, 
 f_organizationalObjective(inst_AfricanDevelopmentBank,inst_SocialDevelopment)).

fof(axGovPred10, axiom, 
 f_dateEstablished(inst_AgencyForTheFrenchSpeakingCommunity,f_DayFn(20,f_MonthFn(type_March,f_YearFn(1970))))).

fof(axGovPred11, axiom, 
 f_dateEstablished(inst_AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean,f_DayFn(14,f_MonthFn(type_February,f_YearFn(1967))))).

fof(axGovPred12, axiom, 
 f_organizationalObjective(inst_AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean,inst_NuclearNonproliferation)).

fof(axGovPred13, axiom, 
 f_organizationalObjective(inst_AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean,inst_PeacefulUseOfAtomicPower)).

fof(axGovPred14, axiom, 
 f_dateEstablished(inst_AndeanCommunityOfNations,f_DayFn(26,f_MonthFn(type_May,f_YearFn(1969))))).

fof(axGovPred15, axiom, 
 f_organizationalObjective(inst_AndeanCommunityOfNations,inst_EconomicIntegration)).

fof(axGovPred16, axiom, 
 f_dateEstablished(inst_AntarcticTreatyCouncil,f_DayFn(23,f_MonthFn(type_June,f_YearFn(1961))))).

fof(axGovPred17, axiom, 
 f_organizationalObjective(inst_AntarcticTreatyCouncil,inst_AdministrationAndManagement)).

fof(axGovPred18, axiom, 
 f_organizationalObjective(inst_AntarcticTreatyCouncil,inst_PromoteRegionalStability)).

fof(axGovPred19, axiom, 
 f_dateEstablished(inst_ArabBankForEconomicDevelopmentInAfrica,f_DayFn(18,f_MonthFn(type_February,f_YearFn(1974))))).

fof(axGovPred20, axiom, 
 f_organizationalObjective(inst_ArabBankForEconomicDevelopmentInAfrica,inst_EconomicDevelopment)).

fof(axGovPred21, axiom, 
 f_dateEstablished(inst_ArabCooperationCouncil,f_DayFn(16,f_MonthFn(type_February,f_YearFn(1989))))).

fof(axGovPred22, axiom, 
 f_organizationalObjective(inst_ArabCooperationCouncil,inst_EconomicIntegration)).

fof(axGovPred23, axiom, 
 f_dateEstablished(inst_ArabFundForEconomicAndSocialDevelopment,f_DayFn(16,f_MonthFn(type_May,f_YearFn(1968))))).

fof(axGovPred24, axiom, 
 f_organizationalObjective(inst_ArabFundForEconomicAndSocialDevelopment,inst_EconomicDevelopment)).

fof(axGovPred25, axiom, 
 f_organizationalObjective(inst_ArabFundForEconomicAndSocialDevelopment,inst_SocialDevelopment)).

fof(axGovPred26, axiom, 
 f_dateEstablished(inst_ArabLeague,f_DayFn(22,f_MonthFn(type_March,f_YearFn(1945))))).

fof(axGovPred27, axiom, 
 f_organizationalObjective(inst_ArabLeague,inst_EconomicCooperation)).

fof(axGovPred28, axiom, 
 f_organizationalObjective(inst_ArabLeague,inst_SocialCooperation)).

fof(axGovPred29, axiom, 
 f_organizationalObjective(inst_ArabLeague,inst_PoliticalCooperation)).

fof(axGovPred30, axiom, 
 f_organizationalObjective(inst_ArabLeague,inst_MilitaryCooperation)).

fof(axGovPred31, axiom, 
 f_dateEstablished(inst_ArabMaghrebUnion,f_DayFn(17,f_MonthFn(type_February,f_YearFn(1989))))).

fof(axGovPred32, axiom, 
 f_organizationalObjective(inst_ArabMaghrebUnion,inst_EconomicIntegration)).

fof(axGovPred33, axiom, 
 f_organizationalObjective(inst_ArabMaghrebUnion,inst_CulturalCooperation)).

fof(axGovPred34, axiom, 
 f_organizationalObjective(inst_ArabMaghrebUnion,inst_PoliticalCooperation)).

fof(axGovPred35, axiom, 
 f_organizationalObjective(inst_ArabMaghrebUnion,inst_MilitaryCooperation)).

fof(axGovPred36, axiom, 
 f_dateEstablished(inst_ArabMonetaryFund,f_DayFn(27,f_MonthFn(type_April,f_YearFn(1976))))).

fof(axGovPred37, axiom, 
 f_organizationalObjective(inst_ArabMonetaryFund,inst_EconomicCooperation)).

fof(axGovPred38, axiom, 
 f_dateEstablished(inst_AsiaPacificEconomicCooperation,f_DayFn(7,f_MonthFn(type_November,f_YearFn(1989))))).

fof(axGovPred39, axiom, 
 f_organizationalObjective(inst_AsiaPacificEconomicCooperation,inst_PromotionOfTradeAndInvestment)).

fof(axGovPred40, axiom, 
 f_dateEstablished(inst_AsianDevelopmentBank,f_DayFn(19,f_MonthFn(type_December,f_YearFn(1966))))).

fof(axGovPred41, axiom, 
 f_organizationalObjective(inst_AsianDevelopmentBank,inst_EconomicCooperation)).

fof(axGovPred42, axiom, 
 f_dateEstablished(inst_AssociationOfSoutheastAsianNations,f_DayFn(8,f_MonthFn(type_August,f_YearFn(1967))))).

fof(axGovPred43, axiom, 
 f_organizationalObjective(inst_AssociationOfSoutheastAsianNations,inst_EconomicCooperation)).

fof(axGovPred44, axiom, 
 f_organizationalObjective(inst_AssociationOfSoutheastAsianNations,inst_SocialCooperation)).

fof(axGovPred45, axiom, 
 f_organizationalObjective(inst_AssociationOfSoutheastAsianNations,inst_CulturalCooperation)).

fof(axGovPred46, axiom, 
 f_dateEstablished(inst_ASEANRegionalForum,f_YearFn(1994))).

fof(axGovPred47, axiom, 
 f_organizationalObjective(inst_ASEANRegionalForum,inst_RegionalSecurity)).

fof(axGovPred48, axiom, 
 f_dateEstablished(inst_AustraliaGroup,f_YearFn(1984))).

fof(axGovPred49, axiom, 
 f_organizationalObjective(inst_AustraliaGroup,inst_CBWExportControls)).

fof(axGovPred50, axiom, 
 f_dateEstablished(inst_AustraliaNewZealandUnitedStatesSecurityTreaty,f_DayFn(1,f_MonthFn(type_September,f_YearFn(1951))))).

fof(axGovPred51, axiom, 
 f_organizationalObjective(inst_AustraliaNewZealandUnitedStatesSecurityTreaty,inst_MutualDefensePact)).

fof(axGovPred52, axiom, 
 f_dateEstablished(inst_BankForInternationalSettlements,f_DayFn(20,f_MonthFn(type_January,f_YearFn(1930))))).

fof(axGovPred53, axiom, 
 f_organizationalObjective(inst_BankForInternationalSettlements,inst_FinancialCooperation)).

fof(axGovPred54, axiom, 
 f_dateEstablished(inst_BeneluxEconomicUnion,f_DayFn(3,f_MonthFn(type_February,f_YearFn(1958))))).

fof(axGovPred55, axiom, 
 f_organizationalObjective(inst_BeneluxEconomicUnion,inst_EconomicIntegration)).

fof(axGovPred56, axiom, 
 f_member(inst_Belgium,inst_BeneluxEconomicUnion)).

fof(axGovPred57, axiom, 
 f_member(inst_Netherlands,inst_BeneluxEconomicUnion)).

fof(axGovPred58, axiom, 
 f_member(inst_Luxembourg,inst_BeneluxEconomicUnion)).

fof(axGovPred59, axiom, 
 f_dateEstablished(inst_BigSeven,f_YearFn(1975))).

fof(axGovPred60, axiom, 
 f_organizationalObjective(inst_BigSeven,inst_EconomicPolicyCoordination)).

fof(axGovPred61, axiom, 
 f_dateEstablished(inst_BigSix,f_YearFn(1967))).

fof(axGovPred62, axiom, 
 f_organizationalObjective(inst_BigSix,inst_EconomicCooperation)).

fof(axGovPred63, axiom, 
 f_dateEstablished(inst_BlackSeaEconomicCooperationZone,f_DayFn(25,f_MonthFn(type_June,f_YearFn(1992))))).

fof(axGovPred64, axiom, 
 f_organizationalObjective(inst_BlackSeaEconomicCooperationZone,inst_PromoteRegionalStability)).

fof(axGovPred65, axiom, 
 f_organizationalObjective(inst_BlackSeaEconomicCooperationZone,inst_EconomicCooperation)).

fof(axGovPred66, axiom, 
 f_dateEstablished(inst_CaribbeanCommunityAndCommonMarket,f_DayFn(4,f_MonthFn(type_July,f_YearFn(1973))))).

fof(axGovPred67, axiom, 
 f_organizationalObjective(inst_CaribbeanCommunityAndCommonMarket,inst_EconomicIntegration)).

fof(axGovPred68, axiom, 
 f_organizationalObjective(inst_CaribbeanCommunityAndCommonMarket,inst_EconomicDevelopment)).

fof(axGovPred69, axiom, 
 f_dateEstablished(inst_CaribbeanDevelopmentBank,f_DayFn(18,f_MonthFn(type_October,f_YearFn(1969))))).

fof(axGovPred70, axiom, 
 f_organizationalObjective(inst_CaribbeanDevelopmentBank,inst_EconomicDevelopment)).

fof(axGovPred71, axiom, 
 f_organizationalObjective(inst_CaribbeanDevelopmentBank,inst_EconomicCooperation)).

fof(axGovPred72, axiom, 
 f_dateEstablished(inst_CentralAfricanStatesDevelopmentBank,f_DayFn(3,f_MonthFn(type_December,f_YearFn(1975))))).

fof(axGovPred73, axiom, 
 f_organizationalObjective(inst_CentralAfricanStatesDevelopmentBank,inst_EconomicDevelopment)).

fof(axGovPred74, axiom, 
 f_dateEstablished(inst_CentralAmericanBankForEconomicIntegration,f_DayFn(13,f_MonthFn(type_December,f_YearFn(1960))))).

fof(axGovPred75, axiom, 
 f_organizationalObjective(inst_CentralAmericanBankForEconomicIntegration,inst_EconomicIntegration)).

fof(axGovPred76, axiom, 
 f_organizationalObjective(inst_CentralAmericanBankForEconomicIntegration,inst_EconomicDevelopment)).

fof(axGovPred77, axiom, 
 f_dateEstablished(inst_CentralAmericanCommonMarket,f_DayFn(13,f_MonthFn(type_December,f_YearFn(1960))))).

fof(axGovPred78, axiom, 
 f_organizationalObjective(inst_CentralAmericanCommonMarket,inst_EconomicIntegration)).

fof(axGovPred79, axiom, 
 f_dateEstablished(inst_CentralEuropeanInitiative,f_DayFn(11,f_MonthFn(type_November,f_YearFn(1989))))).

fof(axGovPred80, axiom, 
 f_organizationalObjective(inst_CentralEuropeanInitiative,inst_EconomicCooperation)).

fof(axGovPred81, axiom, 
 f_organizationalObjective(inst_CentralEuropeanInitiative,inst_PoliticalCooperation)).

fof(axGovPred82, axiom, 
 f_dateEstablished(inst_ColomboPlan,f_MonthFn(type_May,f_YearFn(1950)))).

fof(axGovPred83, axiom, 
 f_organizationalObjective(inst_ColomboPlan,inst_EconomicDevelopment)).

fof(axGovPred84, axiom, 
 f_organizationalObjective(inst_ColomboPlan,inst_SocialDevelopment)).

fof(axGovPred85, axiom, 
 f_dateEstablished(inst_CommonwealthOfNations,f_DayFn(31,f_MonthFn(type_December,f_YearFn(1931))))).

fof(axGovPred86, axiom, 
 f_organizationalObjective(inst_CommonwealthOfNations,inst_PoliticalCooperation)).

fof(axGovPred87, axiom, 
 f_organizationalObjective(inst_CommonwealthOfNations,inst_EconomicCooperation)).

fof(axGovPred88, axiom, 
 f_dateEstablished(inst_CommonwealthOfIndependentStates,f_DayFn(8,f_MonthFn(type_December,f_YearFn(1991))))).

fof(axGovPred89, axiom, 
 f_organizationalObjective(inst_CommonwealthOfIndependentStates,inst_PoliticalCooperation)).

fof(axGovPred90, axiom, 
 f_dateEstablished(inst_CoordinatingCommitteeOnExportControls,f_YearFn(1949))).

fof(axGovPred91, axiom, 
 f_dateDissolved(inst_CoordinatingCommitteeOnExportControls,f_DayFn(31,f_MonthFn(type_March,f_YearFn(1994))))).

fof(axGovPred92, axiom, 
 f_successorOrganization(inst_CoordinatingCommitteeOnExportControls,inst_WassenaarArrangement)).

fof(axGovPred93, axiom, 
 f_dateEstablished(inst_CouncilForMutualEconomicAssistance,f_DayFn(25,f_MonthFn(type_January,f_YearFn(1949))))).

fof(axGovPred94, axiom, 
 f_dateDissolved(inst_CouncilForMutualEconomicAssistance,f_DayFn(1,f_MonthFn(type_January,f_YearFn(1991))))).

fof(axGovPred95, axiom, 
 f_dateEstablished(inst_CouncilOfArabEconomicUnity,f_DayFn(3,f_MonthFn(type_June,f_YearFn(1957))))).

fof(axGovPred96, axiom, 
 f_organizationalObjective(inst_CouncilOfArabEconomicUnity,inst_EconomicIntegration)).

fof(axGovPred97, axiom, 
 f_dateEstablished(inst_CouncilOfEurope,f_DayFn(5,f_MonthFn(type_May,f_YearFn(1949))))).

fof(axGovPred98, axiom, 
 f_organizationalObjective(inst_CouncilOfEurope,inst_PoliticalCooperation)).

fof(axGovPred99, axiom, 
 f_organizationalObjective(inst_CouncilOfEurope,inst_SocialDevelopment)).

fof(axGovPred100, axiom, 
 f_organizationalObjective(inst_CouncilOfEurope,inst_CulturalCooperation)).

fof(axGovPred101, axiom, 
 f_organizationalObjective(inst_CouncilOfEurope,inst_PromoteRegionalStability)).

fof(axGovPred102, axiom, 
 f_organizationalObjective(inst_CouncilOfEurope,inst_HumanRightsIssues)).

fof(axGovPred103, axiom, 
 f_dateEstablished(inst_CouncilOfTheBalticSeaStates,f_DayFn(6,f_MonthFn(type_March,f_YearFn(1992))))).

fof(axGovPred104, axiom, 
 f_organizationalObjective(inst_CouncilOfTheBalticSeaStates,inst_EconomicDevelopment)).

fof(axGovPred105, axiom, 
 f_organizationalObjective(inst_CouncilOfTheBalticSeaStates,inst_HumanitarianAid)).

fof(axGovPred106, axiom, 
 f_organizationalObjective(inst_CouncilOfTheBalticSeaStates,inst_EnergyAndTheEnvironment)).

fof(axGovPred107, axiom, 
 f_organizationalObjective(inst_CouncilOfTheBalticSeaStates,inst_PoliticalDevelopment)).

fof(axGovPred108, axiom, 
 f_organizationalObjective(inst_CouncilOfTheBalticSeaStates,inst_CulturalCooperation)).

fof(axGovPred109, axiom, 
 f_dateEstablished(inst_CouncilOfTheEntente,f_DayFn(29,f_MonthFn(type_May,f_YearFn(1959))))).

fof(axGovPred110, axiom, 
 f_organizationalObjective(inst_CouncilOfTheEntente,inst_EconomicCooperation)).

fof(axGovPred111, axiom, 
 f_organizationalObjective(inst_CouncilOfTheEntente,inst_PoliticalCooperation)).

fof(axGovPred112, axiom, 
 f_organizationalObjective(inst_CouncilOfTheEntente,inst_SocialCooperation)).

fof(axGovPred113, axiom, 
 f_dateEstablished(inst_WorldCustomsOrganization,f_DayFn(15,f_MonthFn(type_December,f_YearFn(1950))))).

fof(axGovPred114, axiom, 
 f_dateEstablished(inst_EastAfricanDevelopmentBank,f_DayFn(6,f_MonthFn(type_June,f_YearFn(1967))))).

fof(axGovPred115, axiom, 
 f_organizationalObjective(inst_EastAfricanDevelopmentBank,inst_EconomicDevelopment)).

fof(axGovPred116, axiom, 
 f_dateEstablished(inst_EconomicAndSocialCouncil,f_DayFn(26,f_MonthFn(type_June,f_YearFn(1945))))).

fof(axGovPred117, axiom, 
 f_organizationalObjective(inst_EconomicAndSocialCouncil,inst_EconomicDevelopment)).

fof(axGovPred118, axiom, 
 f_organizationalObjective(inst_EconomicAndSocialCouncil,inst_SocialDevelopment)).

fof(axGovPred119, axiom, 
 f_subOrganization(inst_EconomicAndSocialCouncil,inst_UnitedNations)).

fof(axGovPred120, axiom, 
 f_subOrganization(inst_CommissionForSocialDevelopment,inst_EconomicAndSocialCouncil)).

fof(axGovPred121, axiom, 
 f_subOrganization(inst_CommissionOnCrimePreventionAndCriminalJustice,inst_EconomicAndSocialCouncil)).

fof(axGovPred122, axiom, 
 f_subOrganization(inst_CommissionOnHumanRights,inst_EconomicAndSocialCouncil)).

fof(axGovPred123, axiom, 
 f_subOrganization(inst_CommissionOnNarcoticsDrugs,inst_EconomicAndSocialCouncil)).

fof(axGovPred124, axiom, 
 f_subOrganization(inst_CommissionOnPopulationAndDevelopment,inst_EconomicAndSocialCouncil)).

fof(axGovPred125, axiom, 
 f_subOrganization(inst_CommissionOnScienceAndTechnologyForDevelopment,inst_EconomicAndSocialCouncil)).

fof(axGovPred126, axiom, 
 f_subOrganization(inst_CommissionOnSustainableDevelopment,inst_EconomicAndSocialCouncil)).

fof(axGovPred127, axiom, 
 f_subOrganization(inst_CommissionOnTheStatusOfWomen,inst_EconomicAndSocialCouncil)).

fof(axGovPred128, axiom, 
 f_subOrganization(inst_EconomicAndSocialCommissionForAsiaAndThePacific,inst_EconomicAndSocialCouncil)).

fof(axGovPred129, axiom, 
 f_subOrganization(inst_EconomicAndSocialCommissionForWesternAsia,inst_EconomicAndSocialCouncil)).

fof(axGovPred130, axiom, 
 f_subOrganization(inst_EconomicCommissionForAfrica,inst_EconomicAndSocialCouncil)).

fof(axGovPred131, axiom, 
 f_subOrganization(inst_EconomicCommissionForEurope,inst_EconomicAndSocialCouncil)).

fof(axGovPred132, axiom, 
 f_subOrganization(inst_EconomicCommissionForLatinAmericaAndTheCaribbean,inst_EconomicAndSocialCouncil)).

fof(axGovPred133, axiom, 
 f_subOrganization(inst_FoodAndAgricultureOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred134, axiom, 
 f_subOrganization(inst_InternationalAtomicEnergyAgency,inst_EconomicAndSocialCouncil)).

fof(axGovPred135, axiom, 
 f_subOrganization(inst_InternationalBankForReconstructionAndDevelopment,inst_EconomicAndSocialCouncil)).

fof(axGovPred136, axiom, 
 f_subOrganization(inst_InternationalCenterForSecretariatOfInvestmentDisputes,inst_EconomicAndSocialCouncil)).

fof(axGovPred137, axiom, 
 f_subOrganization(inst_InternationalCivilAviationOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred138, axiom, 
 f_subOrganization(inst_InternationalDevelopmentAssociation,inst_EconomicAndSocialCouncil)).

fof(axGovPred139, axiom, 
 f_subOrganization(inst_InternationalFinanceCorporation,inst_EconomicAndSocialCouncil)).

fof(axGovPred140, axiom, 
 f_subOrganization(inst_InternationalFundForAgriculturalDevelopment,inst_EconomicAndSocialCouncil)).

fof(axGovPred141, axiom, 
 f_subOrganization(inst_InternationalLaborOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred142, axiom, 
 f_subOrganization(inst_InternationalMaritimeOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred143, axiom, 
 f_subOrganization(inst_InternationalMonetaryFund,inst_EconomicAndSocialCouncil)).

fof(axGovPred144, axiom, 
 f_subOrganization(inst_InternationalTelecommunicationUnion,inst_EconomicAndSocialCouncil)).

fof(axGovPred145, axiom, 
 f_subOrganization(inst_MulitlateralInvestmentGeographicAgency,inst_EconomicAndSocialCouncil)).

fof(axGovPred146, axiom, 
 f_subOrganization(inst_StatisticalCommission,inst_EconomicAndSocialCouncil)).

fof(axGovPred147, axiom, 
 f_subOrganization(inst_UnitedNationsEducationalScientificAndCulturalOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred148, axiom, 
 f_subOrganization(inst_UnitedNationsIndustrialDevelopmentOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred149, axiom, 
 f_subOrganization(inst_UniversalPostalUnion,inst_EconomicAndSocialCouncil)).

fof(axGovPred150, axiom, 
 f_subOrganization(inst_WorldHealthOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred151, axiom, 
 f_subOrganization(inst_WorldIntellectualPropertyOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred152, axiom, 
 f_subOrganization(inst_WorldMeteorologicalOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred153, axiom, 
 f_subOrganization(inst_WorldTourismOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred154, axiom, 
 f_subOrganization(inst_WorldTradeOrganization,inst_EconomicAndSocialCouncil)).

fof(axGovPred155, axiom, 
 f_subOrganization(inst_WorldFoodProgram,inst_EconomicAndSocialCouncil)).

fof(axGovPred156, axiom, 
 f_dateEstablished(inst_EconomicCommunityOfTheGreatLakesCountries,f_DayFn(20,f_MonthFn(type_September,f_YearFn(1976))))).

fof(axGovPred157, axiom, 
 f_organizationalObjective(inst_EconomicCommunityOfTheGreatLakesCountries,inst_EconomicIntegration)).

fof(axGovPred158, axiom, 
 f_dateEstablished(inst_EconomicCommunityOfWestAfricanStates,f_DayFn(28,f_MonthFn(type_May,f_YearFn(1975))))).

fof(axGovPred159, axiom, 
 f_organizationalObjective(inst_EconomicCommunityOfWestAfricanStates,inst_EconomicCooperation)).

fof(axGovPred160, axiom, 
 f_dateEstablished(inst_EconomicCooperationOrganization,f_MonthFn(type_January,f_YearFn(1985)))).

fof(axGovPred161, axiom, 
 f_organizationalObjective(inst_EconomicCooperationOrganization,inst_EconomicCooperation)).

fof(axGovPred162, axiom, 
 f_organizationalObjective(inst_EconomicCooperationOrganization,inst_EconomicDevelopment)).

fof(axGovPred163, axiom, 
 f_organizationalObjective(inst_EconomicCooperationOrganization,inst_CulturalCooperation)).

fof(axGovPred164, axiom, 
 f_organizationalObjective(inst_EconomicCooperationOrganization,inst_TransportationCoordination)).

fof(axGovPred165, axiom, 
 f_organizationalObjective(inst_EconomicCooperationOrganization,inst_CommunicationsCoordination)).

fof(axGovPred166, axiom, 
 f_dateEstablished(inst_EuroAtlanticPartnershipCouncil,f_DayFn(8,f_MonthFn(type_November,f_YearFn(1991))))).

fof(axGovPred167, axiom, 
 f_organizationalObjective(inst_EuroAtlanticPartnershipCouncil,inst_PoliticalCooperation)).

fof(axGovPred168, axiom, 
 f_organizationalObjective(inst_EuroAtlanticPartnershipCouncil,inst_MilitaryCooperation)).

fof(axGovPred169, axiom, 
 f_organizationalObjective(inst_EuroAtlanticPartnershipCouncil,inst_ConventionalArmsControl)).

fof(axGovPred170, axiom, 
 f_dateEstablished(inst_EuropeanBankForReconstructionAndDevelopment,f_DayFn(15,f_MonthFn(type_April,f_YearFn(1991))))).

fof(axGovPred171, axiom, 
 f_organizationalObjective(inst_EuropeanBankForReconstructionAndDevelopment,inst_EconomicDevelopment)).

fof(axGovPred172, axiom, 
 f_dateEstablished(inst_EuropeanCommunity,f_DayFn(8,f_MonthFn(type_April,f_YearFn(1965))))).

fof(axGovPred173, axiom, 
 f_organizationalObjective(inst_EuropeanCommunity,inst_EconomicIntegration)).

fof(axGovPred174, axiom, 
 f_organizationalObjective(inst_EuropeanCommunity,inst_PoliticalCooperation)).

fof(axGovPred175, axiom, 
 f_dateEstablished(inst_EuropeanFreeTradeAssociation,f_DayFn(4,f_MonthFn(type_January,f_YearFn(1960))))).

fof(axGovPred176, axiom, 
 f_organizationalObjective(inst_EuropeanFreeTradeAssociation,inst_PromotionOfFreeTrade)).

fof(axGovPred177, axiom, 
 f_dateEstablished(inst_EuropeanInvestmentBank,f_DayFn(25,f_MonthFn(type_March,f_YearFn(1957))))).

fof(axGovPred178, axiom, 
 f_organizationalObjective(inst_EuropeanInvestmentBank,inst_EconomicDevelopment)).

fof(axGovPred179, axiom, 
 f_dateEstablished(inst_EuropeanMonetaryUnion,f_DayFn(7,f_MonthFn(type_February,f_YearFn(1992))))).

fof(axGovPred180, axiom, 
 f_organizationalObjective(inst_EuropeanMonetaryUnion,inst_MonetaryUnion)).

fof(axGovPred181, axiom, 
 f_member(inst_Austria,inst_EuropeanMonetaryUnion)).

fof(axGovPred182, axiom, 
 f_member(inst_Belgium,inst_EuropeanMonetaryUnion)).

fof(axGovPred183, axiom, 
 f_member(inst_Finland,inst_EuropeanMonetaryUnion)).

fof(axGovPred184, axiom, 
 f_member(inst_France,inst_EuropeanMonetaryUnion)).

fof(axGovPred185, axiom, 
 f_member(inst_Germany,inst_EuropeanMonetaryUnion)).

fof(axGovPred186, axiom, 
 f_member(inst_Greece,inst_EuropeanMonetaryUnion)).

fof(axGovPred187, axiom, 
 f_member(inst_Ireland,inst_EuropeanMonetaryUnion)).

fof(axGovPred188, axiom, 
 f_member(inst_Italy,inst_EuropeanMonetaryUnion)).

fof(axGovPred189, axiom, 
 f_member(inst_Luxembourg,inst_EuropeanMonetaryUnion)).

fof(axGovPred190, axiom, 
 f_member(inst_Netherlands,inst_EuropeanMonetaryUnion)).

fof(axGovPred191, axiom, 
 f_member(inst_Portugal,inst_EuropeanMonetaryUnion)).

fof(axGovPred192, axiom, 
 f_member(inst_Spain,inst_EuropeanMonetaryUnion)).

fof(axGovPred193, axiom, 
 f_dateEstablished(inst_EuropeanOrganizationForNuclearResearch,f_DayFn(1,f_MonthFn(type_July,f_YearFn(1953))))).

fof(axGovPred194, axiom, 
 f_organizationalObjective(inst_EuropeanOrganizationForNuclearResearch,inst_PeacefulUseOfAtomicPower)).

fof(axGovPred195, axiom, 
 f_organizationalObjective(inst_EuropeanOrganizationForNuclearResearch,inst_TechnologyCooperation)).

fof(axGovPred196, axiom, 
 f_organizationalObjective(inst_EuropeanOrganizationForNuclearResearch,inst_ScientificCooperation)).

fof(axGovPred197, axiom, 
 f_dateEstablished(inst_EuropeanSpaceAgency,f_DayFn(31,f_MonthFn(type_May,f_YearFn(1975))))).

fof(axGovPred198, axiom, 
 f_organizationalObjective(inst_EuropeanSpaceAgency,inst_SpaceResearchAndTechnology)).

fof(axGovPred199, axiom, 
 f_organizationalObjective(inst_EuropeanSpaceAgency,inst_TechnologyCooperation)).

fof(axGovPred200, axiom, 
 f_dateEstablished(inst_EuropeanUnion,f_DayFn(7,f_MonthFn(type_February,f_YearFn(1992))))).

fof(axGovPred201, axiom, 
 f_organizationalObjective(inst_EuropeanUnion,inst_EconomicIntegration)).

fof(axGovPred202, axiom, 
 f_organizationalObjective(inst_EuropeanUnion,inst_MonetaryUnion)).

fof(axGovPred203, axiom, 
 f_organizationalObjective(inst_EuropeanUnion,inst_PoliticalCooperation)).

fof(axGovPred204, axiom, 
 f_organizationalObjective(inst_EuropeanUnion,inst_SocialCooperation)).

fof(axGovPred205, axiom, 
 f_organizationalObjective(inst_EuropeanUnion,inst_MilitaryCooperation)).

fof(axGovPred206, axiom, 
 f_successorOrganization(inst_EuropeanCommunity,inst_EuropeanUnion)).

fof(axGovPred207, axiom, 
 f_dateEstablished(inst_FoodAndAgricultureOrganization,f_DayFn(16,f_MonthFn(type_October,f_YearFn(1945))))).

fof(axGovPred208, axiom, 
 f_organizationalObjective(inst_FoodAndAgricultureOrganization,inst_AgriculturalDevelopment)).

fof(axGovPred209, axiom, 
 f_dateEstablished(inst_FrancZone,f_YearFn(1964))).

fof(axGovPred210, axiom, 
 f_organizationalObjective(inst_FrancZone,inst_MonetaryUnion)).

fof(axGovPred211, axiom, 
 f_dateEstablished(inst_GroupOf3,f_MonthFn(type_September,f_YearFn(1990)))).

fof(axGovPred212, axiom, 
 f_organizationalObjective(inst_GroupOf3,inst_PoliticalCooperation)).

fof(axGovPred213, axiom, 
 f_dateEstablished(inst_GroupOf5,f_DayFn(22,f_MonthFn(type_September,f_YearFn(1985))))).

fof(axGovPred214, axiom, 
 f_organizationalObjective(inst_GroupOf5,inst_EconomicCooperation)).

fof(axGovPred215, axiom, 
 f_dateEstablished(inst_GroupOf6,f_DayFn(22,f_MonthFn(type_May,f_YearFn(1985))))).

fof(axGovPred216, axiom, 
 f_organizationalObjective(inst_GroupOf6,inst_NuclearDisarmament)).

fof(axGovPred217, axiom, 
 f_dateEstablished(inst_GroupOf7,f_DayFn(22,f_MonthFn(type_September,f_YearFn(1985))))).

fof(axGovPred218, axiom, 
 f_organizationalObjective(inst_GroupOf7,inst_EconomicCooperation)).

fof(axGovPred219, axiom, 
 f_dateEstablished(inst_GroupOf8,f_MonthFn(type_October,f_YearFn(1975)))).

fof(axGovPred220, axiom, 
 f_organizationalObjective(inst_GroupOf8,inst_EconomicCooperation)).

fof(axGovPred221, axiom, 
 f_organizationalObjective(inst_GroupOf9,inst_PoliticalCooperation)).

fof(axGovPred222, axiom, 
 f_dateEstablished(inst_GroupOf10,f_MonthFn(type_October,f_YearFn(1962)))).

fof(axGovPred223, axiom, 
 f_organizationalObjective(inst_GroupOf10,inst_CoordinateCreditPolicy)).

fof(axGovPred224, axiom, 
 f_dateEstablished(inst_GroupOf11,f_DayFn(22,f_MonthFn(type_June,f_YearFn(1984))))).

fof(axGovPred225, axiom, 
 f_organizationalObjective(inst_GroupOf11,inst_EconomicCooperation)).

fof(axGovPred226, axiom, 
 f_dateEstablished(inst_GroupOf15,f_MonthFn(type_September,f_YearFn(1989)))).

fof(axGovPred227, axiom, 
 f_organizationalObjective(inst_GroupOf15,inst_EconomicCooperation)).

fof(axGovPred228, axiom, 
 f_organizationalObjective(inst_GroupOf15,inst_PoliticalCooperation)).

fof(axGovPred229, axiom, 
 f_dateEstablished(inst_GroupOf24,f_DayFn(1,f_MonthFn(type_August,f_YearFn(1989))))).

fof(axGovPred230, axiom, 
 f_organizationalObjective(inst_GroupOf24,inst_EconomicCooperation)).

fof(axGovPred231, axiom, 
 f_dateEstablished(inst_GroupOf77,f_DayFn(15,f_MonthFn(type_June,f_YearFn(1964))))).

fof(axGovPred232, axiom, 
 f_organizationalObjective(inst_GroupOf77,inst_EconomicCooperation)).

fof(axGovPred233, axiom, 
 f_dateEstablished(inst_GulfCooperationCouncil,f_DayFn(25,f_MonthFn(type_May,f_YearFn(1981))))).

fof(axGovPred234, axiom, 
 f_organizationalObjective(inst_GulfCooperationCouncil,inst_PoliticalCooperation)).

fof(axGovPred235, axiom, 
 f_organizationalObjective(inst_GulfCooperationCouncil,inst_EconomicCooperation)).

fof(axGovPred236, axiom, 
 f_organizationalObjective(inst_GulfCooperationCouncil,inst_MilitaryCooperation)).

fof(axGovPred237, axiom, 
 f_organizationalObjective(inst_GulfCooperationCouncil,inst_SocialCooperation)).

fof(axGovPred238, axiom, 
 f_dateEstablished(inst_IndianOceanCommission,f_DayFn(21,f_MonthFn(type_December,f_YearFn(1982))))).

fof(axGovPred239, axiom, 
 f_organizationalObjective(inst_IndianOceanCommission,inst_EconomicCooperation)).

fof(axGovPred240, axiom, 
 f_organizationalObjective(inst_IndianOceanCommission,inst_PoliticalCooperation)).

fof(axGovPred241, axiom, 
 f_dateEstablished(inst_InterAmericanDevelopmentBank,f_DayFn(8,f_MonthFn(type_April,f_YearFn(1959))))).

fof(axGovPred242, axiom, 
 f_organizationalObjective(inst_InterAmericanDevelopmentBank,inst_EconomicDevelopment)).

fof(axGovPred243, axiom, 
 f_organizationalObjective(inst_InterAmericanDevelopmentBank,inst_SocialDevelopment)).

fof(axGovPred244, axiom, 
 f_dateEstablished(inst_InterGovernmentalAuthorityOnDevelopment,f_DayFn(21,f_MonthFn(type_March,f_YearFn(1996))))).

fof(axGovPred245, axiom, 
 f_organizationalObjective(inst_InterGovernmentalAuthorityOnDevelopment,inst_SocialCooperation)).

fof(axGovPred246, axiom, 
 f_organizationalObjective(inst_InterGovernmentalAuthorityOnDevelopment,inst_EconomicCooperation)).

fof(axGovPred247, axiom, 
 f_organizationalObjective(inst_InterGovernmentalAuthorityOnDevelopment,inst_ScientificCooperation)).

fof(axGovPred248, axiom, 
 f_dateEstablished(inst_InternationalAtomicEnergyAgency,f_DayFn(26,f_MonthFn(type_October,f_YearFn(1956))))).

fof(axGovPred249, axiom, 
 f_organizationalObjective(inst_InternationalAtomicEnergyAgency,inst_PeacefulUseOfAtomicPower)).

fof(axGovPred250, axiom, 
 f_dateEstablished(inst_InternationalBankForReconstructionAndDevelopment,f_DayFn(22,f_MonthFn(type_July,f_YearFn(1944))))).

fof(axGovPred251, axiom, 
 f_organizationalObjective(inst_InternationalBankForReconstructionAndDevelopment,inst_EconomicDevelopment)).

fof(axGovPred252, axiom, 
 f_subOrganization(inst_InternationalBankForReconstructionAndDevelopment,inst_UnitedNations)).

fof(axGovPred253, axiom, 
 f_dateEstablished(inst_InternationalChamberOfCommerce,f_YearFn(1919))).

fof(axGovPred254, axiom, 
 f_organizationalObjective(inst_InternationalChamberOfCommerce,inst_PromotionOfFreeTrade)).

fof(axGovPred255, axiom, 
 f_organizationalObjective(inst_InternationalChamberOfCommerce,inst_PromotionOfTradeAndInvestment)).

fof(axGovPred256, axiom, 
 f_organizationalObjective(inst_InternationalChamberOfCommerce,inst_PromotionOfPrivateEnterprise)).

fof(axGovPred257, axiom, 
 f_dateEstablished(inst_InternationalCivilAviationOrganization,f_DayFn(7,f_MonthFn(type_December,f_YearFn(1944))))).

fof(axGovPred258, axiom, 
 f_subOrganization(inst_InternationalCivilAviationOrganization,inst_UnitedNations)).

fof(axGovPred259, axiom, 
 f_organizationalObjective(inst_InternationalCivilAviationOrganization,inst_CooperationInCivilAviation)).

fof(axGovPred260, axiom, 
 f_dateEstablished(inst_InternationalCommitteeOfTheRedCross,f_DayFn(17,f_MonthFn(type_February,f_YearFn(1863))))).

fof(axGovPred261, axiom, 
 f_organizationalObjective(inst_InternationalCommitteeOfTheRedCross,inst_HumanitarianAid)).

fof(axGovPred262, axiom, 
 f_dateEstablished(inst_InternationalConfederationOfFreeTradeUnions,f_MonthFn(type_December,f_YearFn(1949)))).

fof(axGovPred263, axiom, 
 f_organizationalObjective(inst_InternationalConfederationOfFreeTradeUnions,inst_PromoteTradeUnionism)).

fof(axGovPred264, axiom, 
 f_subOrganization(inst_InternationalCourtOfJustice,inst_UnitedNations)).

fof(axGovPred265, axiom, 
 f_organizationalObjective(inst_InternationalCourtOfJustice,inst_InternationalJustice)).

fof(axGovPred266, axiom, 
 f_dateEstablished(inst_InternationalCriminalPoliceOrganization,f_DayFn(13,f_MonthFn(type_June,f_YearFn(1956))))).

fof(axGovPred267, axiom, 
 f_organizationalObjective(inst_InternationalCriminalPoliceOrganization,inst_SupportLawEnforcement)).

fof(axGovPred268, axiom, 
 f_dateEstablished(inst_InternationalDevelopmentAssociation,f_DayFn(26,f_MonthFn(type_January,f_YearFn(1960))))).

fof(axGovPred269, axiom, 
 f_subOrganization(inst_InternationalDevelopmentAssociation,inst_UnitedNations)).

fof(axGovPred270, axiom, 
 f_organizationalObjective(inst_InternationalDevelopmentAssociation,inst_EconomicDevelopment)).

fof(axGovPred271, axiom, 
 f_dateEstablished(inst_InternationalEnergyAgency,f_DayFn(15,f_MonthFn(type_November,f_YearFn(1974))))).

fof(axGovPred272, axiom, 
 f_organizationalObjective(inst_InternationalEnergyAgency,inst_EnergyCooperation)).

fof(axGovPred273, axiom, 
 f_dateEstablished(inst_InternationalFederationOfRedCrossAndRedCrescentSocieties,f_DayFn(5,f_MonthFn(type_May,f_YearFn(1919))))).

fof(axGovPred274, axiom, 
 f_organizationalObjective(inst_InternationalFederationOfRedCrossAndRedCrescentSocieties,inst_HumanitarianAid)).

fof(axGovPred275, axiom, 
 f_dateEstablished(inst_InternationalFinanceCorporation,f_DayFn(25,f_MonthFn(type_May,f_YearFn(1955))))).

fof(axGovPred276, axiom, 
 f_subOrganization(inst_InternationalFinanceCorporation,inst_UnitedNations)).

fof(axGovPred277, axiom, 
 f_organizationalObjective(inst_InternationalFinanceCorporation,inst_PromotePrivateEnterprise)).

fof(axGovPred278, axiom, 
 f_dateEstablished(inst_InternationalFundForAgriculturalDevelopment,f_MonthFn(type_November,f_YearFn(1974)))).

fof(axGovPred279, axiom, 
 f_organizationalObjective(inst_InternationalFundForAgriculturalDevelopment,inst_AgriculturalDevelopment)).

fof(axGovPred280, axiom, 
 f_subOrganization(inst_InternationalFundForAgriculturalDevelopment,inst_UnitedNations)).

fof(axGovPred281, axiom, 
 f_dateEstablished(inst_InternationalHydrographicOrganization,f_MonthFn(type_June,f_YearFn(1919)))).

fof(axGovPred282, axiom, 
 f_organizationalObjective(inst_InternationalHydrographicOrganization,inst_ScientificCooperation)).

fof(axGovPred283, axiom, 
 f_organizationalObjective(inst_InternationalHydrographicOrganization,inst_InformationStandards)).

fof(axGovPred284, axiom, 
 f_inScopeOfInterest(inst_InternationalHydrographicOrganization,inst_WorldOcean)).

fof(axGovPred285, axiom, 
 f_dateEstablished(inst_InternationalLaborOrganization,f_DayFn(28,f_MonthFn(type_June,f_YearFn(1919))))).

fof(axGovPred286, axiom, 
 f_organizationalObjective(inst_InternationalLaborOrganization,inst_WorldLaborIssues)).

fof(axGovPred287, axiom, 
 f_subOrganization(inst_InternationalLaborOrganization,inst_UnitedNations)).

fof(axGovPred288, axiom, 
 f_dateEstablished(inst_InternationalMaritimeOrganization,f_DayFn(6,f_MonthFn(type_March,f_YearFn(1948))))).

fof(axGovPred289, axiom, 
 f_subOrganization(inst_InternationalMaritimeOrganization,inst_UnitedNations)).

fof(axGovPred290, axiom, 
 f_organizationalObjective(inst_InternationalMaritimeOrganization,inst_InternationalMaritimeAffairs)).

fof(axGovPred291, axiom, 
 f_dateEstablished(inst_InternationalMonetaryFund,f_DayFn(22,f_MonthFn(type_July,f_YearFn(1944))))).

fof(axGovPred292, axiom, 
 f_subOrganization(inst_InternationalMonetaryFund,inst_UnitedNations)).

fof(axGovPred293, axiom, 
 f_organizationalObjective(inst_InternationalMonetaryFund,inst_EconomicDevelopment)).

fof(axGovPred294, axiom, 
 f_organizationalObjective(inst_InternationalMonetaryFund,inst_MonetaryStability)).

fof(axGovPred295, axiom, 
 f_dateEstablished(inst_InternationalOlympicCommittee,f_DayFn(23,f_MonthFn(type_June,f_YearFn(1894))))).

fof(axGovPred296, axiom, 
 f_organizationalObjective(inst_InternationalOlympicCommittee,inst_OrganizeOlympicGames)).

fof(axGovPred297, axiom, 
 f_dateEstablished(inst_InternationalOrganizationForMigration,f_DayFn(5,f_MonthFn(type_November,f_YearFn(1951))))).

fof(axGovPred298, axiom, 
 f_organizationalObjective(inst_InternationalOrganizationForMigration,inst_EmigrationAndImmigrationIssues)).

fof(axGovPred299, axiom, 
 f_dateEstablished(inst_InternationalOrganizationForStandardization,f_MonthFn(type_February,f_YearFn(1947)))).

fof(axGovPred300, axiom, 
 f_organizationalObjective(inst_InternationalOrganizationForStandardization,inst_InformationStandards)).

fof(axGovPred301, axiom, 
 f_organizationalObjective(inst_InternationalOrganizationForStandardization,inst_IndustryStandards)).

fof(axGovPred302, axiom, 
 f_dateEstablished(inst_InternationalRedCrossAndRedCrescentMovement,f_YearFn(1928))).

fof(axGovPred303, axiom, 
 f_organizationalObjective(inst_InternationalRedCrossAndRedCrescentMovement,inst_HumanitarianAid)).

fof(axGovPred304, axiom, 
 f_dateEstablished(inst_InternationalTelecommunicationUnion,f_DayFn(17,f_MonthFn(type_May,f_YearFn(1865))))).

fof(axGovPred305, axiom, 
 f_organizationalObjective(inst_InternationalTelecommunicationUnion,inst_CommunicationsCoordination)).

fof(axGovPred306, axiom, 
 f_subOrganization(inst_InternationalTelecommunicationUnion,inst_UnitedNations)).

fof(axGovPred307, axiom, 
 f_dateEstablished(inst_IslamicDevelopmentBank,f_DayFn(15,f_MonthFn(type_December,f_YearFn(1973))))).

fof(axGovPred308, axiom, 
 f_organizationalObjective(inst_IslamicDevelopmentBank,inst_EconomicDevelopment)).

fof(axGovPred309, axiom, 
 f_organizationalObjective(inst_IslamicDevelopmentBank,inst_SocialDevelopment)).

fof(axGovPred310, axiom, 
 f_dateEstablished(inst_LatinAmericanEconomicSystem,f_DayFn(17,f_MonthFn(type_October,f_YearFn(1975))))).

fof(axGovPred311, axiom, 
 f_organizationalObjective(inst_LatinAmericanEconomicSystem,inst_EconomicDevelopment)).

fof(axGovPred312, axiom, 
 f_organizationalObjective(inst_LatinAmericanEconomicSystem,inst_SocialDevelopment)).

fof(axGovPred313, axiom, 
 f_dateEstablished(inst_LatinAmericanIntegrationAssociation,f_DayFn(12,f_MonthFn(type_August,f_YearFn(1980))))).

fof(axGovPred314, axiom, 
 f_organizationalObjective(inst_LatinAmericanIntegrationAssociation,inst_PromotionOfFreeTrade)).

fof(axGovPred315, axiom, 
 f_organizationalObjective(inst_LatinAmericanIntegrationAssociation,inst_EconomicIntegration)).

fof(axGovPred316, axiom, 
 f_dateEstablished(inst_MonetaryAndEconomicCommunityOfCentralAfrica,f_DayFn(8,f_MonthFn(type_December,f_YearFn(1864))))).

fof(axGovPred317, axiom, 
 f_organizationalObjective(inst_MonetaryAndEconomicCommunityOfCentralAfrica,inst_EconomicIntegration)).

fof(axGovPred318, axiom, 
 f_dateEstablished(inst_NonalignedMovement,f_DayFn(6,f_MonthFn(type_September,f_YearFn(1961))))).

fof(axGovPred319, axiom, 
 f_organizationalObjective(inst_NonalignedMovement,inst_PoliticalCooperation)).

fof(axGovPred320, axiom, 
 f_organizationalObjective(inst_NonalignedMovement,inst_MilitaryCooperation)).

fof(axGovPred321, axiom, 
 f_dateEstablished(inst_NordicCouncil,f_DayFn(16,f_MonthFn(type_March,f_YearFn(1952))))).

fof(axGovPred322, axiom, 
 f_organizationalObjective(inst_NordicCouncil,inst_EconomicCooperation)).

fof(axGovPred323, axiom, 
 f_organizationalObjective(inst_NordicCouncil,inst_CulturalCooperation)).

fof(axGovPred324, axiom, 
 f_organizationalObjective(inst_NordicCouncil,inst_EnvironmentalCooperation)).

fof(axGovPred325, axiom, 
 f_dateEstablished(inst_NordicInvestmentBank,f_DayFn(4,f_MonthFn(type_December,f_YearFn(1975))))).

fof(axGovPred326, axiom, 
 f_organizationalObjective(inst_NordicInvestmentBank,inst_EconomicCooperation)).

fof(axGovPred327, axiom, 
 f_organizationalObjective(inst_NordicInvestmentBank,inst_EconomicDevelopment)).

fof(axGovPred328, axiom, 
 f_dateEstablished(inst_NorthAtlanticTreatyOrganization,f_DayFn(4,f_MonthFn(type_April,f_YearFn(1949))))).

fof(axGovPred329, axiom, 
 f_organizationalObjective(inst_NorthAtlanticTreatyOrganization,inst_MutualDefensePact)).

fof(axGovPred330, axiom, 
 f_dateEstablished(inst_NuclearEnergyAgency,f_DayFn(1,f_MonthFn(type_February,f_YearFn(1958))))).

fof(axGovPred331, axiom, 
 f_organizationalObjective(inst_NuclearEnergyAgency,inst_PeacefulUseOfAtomicPower)).

fof(axGovPred332, axiom, 
 f_subOrganization(inst_NuclearEnergyAgency,inst_OrganizationForEconomicCooperationAndDevelopment)).

fof(axGovPred333, axiom, 
 f_dateEstablished(inst_NuclearSuppliersGroup,f_YearFn(1974))).

fof(axGovPred334, axiom, 
 f_organizationalObjective(inst_NuclearSuppliersGroup,inst_NuclearExportControls)).

fof(axGovPred335, axiom, 
 f_dateEstablished(inst_OrganizationForEconomicCooperationAndDevelopment,f_DayFn(14,f_MonthFn(type_December,f_YearFn(1960))))).

fof(axGovPred336, axiom, 
 f_organizationalObjective(inst_OrganizationForEconomicCooperationAndDevelopment,inst_EconomicDevelopment)).

fof(axGovPred337, axiom, 
 f_organizationalObjective(inst_OrganizationForEconomicCooperationAndDevelopment,inst_EconomicCooperation)).

fof(axGovPred338, axiom, 
 f_dateEstablished(inst_OrganizationForSecurityAndCooperationInEurope,f_DayFn(1,f_MonthFn(type_January,f_YearFn(1995))))).

fof(axGovPred339, axiom, 
 f_organizationalObjective(inst_OrganizationForSecurityAndCooperationInEurope,inst_HumanRightsIssues)).

fof(axGovPred340, axiom, 
 f_organizationalObjective(inst_OrganizationForSecurityAndCooperationInEurope,inst_PromoteRegionalStability)).

fof(axGovPred341, axiom, 
 f_organizationalObjective(inst_OrganizationForSecurityAndCooperationInEurope,inst_ConventionalArmsControl)).

fof(axGovPred342, axiom, 
 f_dateEstablished(inst_OrganizationForTheProhibitionOfChemicalWeapons,f_DayFn(29,f_MonthFn(type_April,f_YearFn(1997))))).

fof(axGovPred343, axiom, 
 f_organizationalObjective(inst_OrganizationForTheProhibitionOfChemicalWeapons,inst_EliminateChemicalWeapons)).

fof(axGovPred344, axiom, 
 f_dateEstablished(inst_OrganizationOfAfricanUnity,f_DayFn(25,f_MonthFn(type_May,f_YearFn(1963))))).

fof(axGovPred345, axiom, 
 f_organizationalObjective(inst_OrganizationOfAfricanUnity,inst_EconomicCooperation)).

fof(axGovPred346, axiom, 
 f_organizationalObjective(inst_OrganizationOfAfricanUnity,inst_MilitaryCooperation)).

fof(axGovPred347, axiom, 
 f_organizationalObjective(inst_OrganizationOfAfricanUnity,inst_SocialDevelopment)).

fof(axGovPred348, axiom, 
 f_organizationalObjective(inst_OrganizationOfAfricanUnity,inst_EconomicDevelopment)).

fof(axGovPred349, axiom, 
 f_organizationalObjective(inst_OrganizationOfAfricanUnity,inst_CulturalCooperation)).

fof(axGovPred350, axiom, 
 f_organizationalObjective(inst_OrganizationOfAfricanUnity,inst_PublicHealthConcern)).

fof(axGovPred351, axiom, 
 f_dateEstablished(inst_OrganizationOfAmericanStates,f_DayFn(14,f_MonthFn(type_April,f_YearFn(1890))))).

fof(axGovPred352, axiom, 
 f_organizationalObjective(inst_OrganizationOfAmericanStates,inst_EconomicDevelopment)).

fof(axGovPred353, axiom, 
 f_organizationalObjective(inst_OrganizationOfAmericanStates,inst_SocialDevelopment)).

fof(axGovPred354, axiom, 
 f_organizationalObjective(inst_OrganizationOfAmericanStates,inst_PromoteRegionalStability)).

fof(axGovPred355, axiom, 
 f_dateEstablished(inst_OrganizationOfArabPetroleumExportingCountries,f_DayFn(9,f_MonthFn(type_January,f_YearFn(1968))))).

fof(axGovPred356, axiom, 
 f_organizationalObjective(inst_OrganizationOfArabPetroleumExportingCountries,inst_EconomicCooperation)).

fof(axGovPred357, axiom, 
 f_dateEstablished(inst_OrganizationOfEasternCaribbeanStates,f_DayFn(18,f_MonthFn(type_June,f_YearFn(1981))))).

fof(axGovPred358, axiom, 
 f_organizationalObjective(inst_OrganizationOfEasternCaribbeanStates,inst_PoliticalCooperation)).

fof(axGovPred359, axiom, 
 f_organizationalObjective(inst_OrganizationOfEasternCaribbeanStates,inst_EconomicCooperation)).

fof(axGovPred360, axiom, 
 f_organizationalObjective(inst_OrganizationOfEasternCaribbeanStates,inst_MilitaryCooperation)).

fof(axGovPred361, axiom, 
 f_dateEstablished(inst_OrganizationOfPetroleumExportingCountries,f_DayFn(14,f_MonthFn(type_September,f_YearFn(1960))))).

fof(axGovPred362, axiom, 
 f_organizationalObjective(inst_OrganizationOfPetroleumExportingCountries,inst_EconomicPolicyCoordination)).

fof(axGovPred363, axiom, 
 f_dateEstablished(inst_OrganizationOfTheIslamicConference,f_MonthFn(type_September,f_YearFn(1969)))).

fof(axGovPred364, axiom, 
 f_organizationalObjective(inst_OrganizationOfTheIslamicConference,inst_PoliticalCooperation)).

fof(axGovPred365, axiom, 
 f_organizationalObjective(inst_OrganizationOfTheIslamicConference,inst_EconomicCooperation)).

fof(axGovPred366, axiom, 
 f_organizationalObjective(inst_OrganizationOfTheIslamicConference,inst_CulturalCooperation)).

fof(axGovPred367, axiom, 
 f_organizationalObjective(inst_OrganizationOfTheIslamicConference,inst_SocialCooperation)).

fof(axGovPred368, axiom, 
 f_dateEstablished(inst_PacificCommunity,f_DayFn(6,f_MonthFn(type_February,f_YearFn(1947))))).

fof(axGovPred369, axiom, 
 f_organizationalObjective(inst_PacificCommunity,inst_EconomicCooperation)).

fof(axGovPred370, axiom, 
 f_organizationalObjective(inst_PacificCommunity,inst_SocialCooperation)).

fof(axGovPred371, axiom, 
 f_dateEstablished(inst_PacificIslandForum,f_DayFn(5,f_MonthFn(type_August,f_YearFn(1971))))).

fof(axGovPred372, axiom, 
 f_organizationalObjective(inst_PacificIslandForum,inst_PoliticalCooperation)).

fof(axGovPred373, axiom, 
 f_dateEstablished(inst_PartnershipForPeace,f_DayFn(11,f_MonthFn(type_January,f_YearFn(1994))))).

fof(axGovPred374, axiom, 
 f_organizationalObjective(inst_PartnershipForPeace,inst_PoliticalCooperation)).

fof(axGovPred375, axiom, 
 f_organizationalObjective(inst_PartnershipForPeace,inst_MilitaryCooperation)).

fof(axGovPred376, axiom, 
 f_organizationalObjective(inst_PartnershipForPeace,inst_PromoteRegionalStability)).

fof(axGovPred377, axiom, 
 f_dateEstablished(inst_PermanentCourtOfArbitration,f_DayFn(29,f_MonthFn(type_July,f_YearFn(1899))))).

fof(axGovPred378, axiom, 
 f_organizationalObjective(inst_PermanentCourtOfArbitration,inst_InternationalJustice)).

fof(axGovPred379, axiom, 
 f_dateEstablished(inst_RioGroup,f_YearFn(1986))).

fof(axGovPred380, axiom, 
 f_organizationalObjective(inst_RioGroup,inst_PoliticalCooperation)).

fof(axGovPred381, axiom, 
 f_dateEstablished(inst_SouthAsianAssociationForRegionalCooperation,f_DayFn(8,f_MonthFn(type_December,f_YearFn(1985))))).

fof(axGovPred382, axiom, 
 f_organizationalObjective(inst_SouthAsianAssociationForRegionalCooperation,inst_EconomicCooperation)).

fof(axGovPred383, axiom, 
 f_organizationalObjective(inst_SouthAsianAssociationForRegionalCooperation,inst_SocialCooperation)).

fof(axGovPred384, axiom, 
 f_organizationalObjective(inst_SouthAsianAssociationForRegionalCooperation,inst_CulturalCooperation)).

fof(axGovPred385, axiom, 
 f_organizationalObjective(inst_SouthPacificRegionalTradeAndEconomicCooperationAgreement,inst_EconomicCooperation)).

fof(axGovPred386, axiom, 
 f_organizationalObjective(inst_SouthPacificRegionalTradeAndEconomicCooperationAgreement,inst_PromotionOfFreeTrade)).

fof(axGovPred387, axiom, 
 f_dateEstablished(inst_SouthernAfricanCustomsUnion,f_DayFn(11,f_MonthFn(type_December,f_YearFn(1969))))).

fof(axGovPred388, axiom, 
 f_organizationalObjective(inst_SouthernAfricanCustomsUnion,inst_PromotionOfFreeTrade)).

fof(axGovPred389, axiom, 
 f_organizationalObjective(inst_SouthernAfricanCustomsUnion,inst_EfficientCustomsAdministration)).

fof(axGovPred390, axiom, 
 f_dateEstablished(inst_SouthernAfricanDevelopmentCommunity,f_DayFn(17,f_MonthFn(type_August,f_YearFn(1992))))).

fof(axGovPred391, axiom, 
 f_organizationalObjective(inst_SouthernAfricanDevelopmentCommunity,inst_EconomicIntegration)).

fof(axGovPred392, axiom, 
 f_organizationalObjective(inst_SouthernAfricanDevelopmentCommunity,inst_EconomicDevelopment)).

fof(axGovPred393, axiom, 
 f_dateEstablished(inst_SouthernConeCommonMarket,f_DayFn(26,f_MonthFn(type_March,f_YearFn(1991))))).

fof(axGovPred394, axiom, 
 f_organizationalObjective(inst_SouthernConeCommonMarket,inst_EconomicCooperation)).

fof(axGovPred395, axiom, 
 f_dateEstablished(inst_UnitedNations,f_DayFn(26,f_MonthFn(type_June,f_YearFn(1945))))).

fof(axGovPred396, axiom, 
 f_organizationalObjective(inst_UnitedNations,inst_InternationalPeaceAndSecurity)).

fof(axGovPred397, axiom, 
 f_organizationalObjective(inst_UnitedNations,inst_EconomicDevelopment)).

fof(axGovPred398, axiom, 
 f_organizationalObjective(inst_UnitedNations,inst_SocialDevelopment)).

fof(axGovPred399, axiom, 
 f_organizationalObjective(inst_UnitedNations,inst_HumanitarianAid)).

fof(axGovPred400, axiom, 
 f_organizationalObjective(inst_UnitedNations,inst_CulturalCooperation)).

fof(axGovPred401, axiom, 
 f_dateEstablished(inst_UnitedNationsChildrensFund,f_DayFn(11,f_MonthFn(type_December,f_YearFn(1946))))).

fof(axGovPred402, axiom, 
 f_organizationalObjective(inst_UnitedNationsChildrensFund,inst_ChildHealthServices)).

fof(axGovPred403, axiom, 
 f_dateEstablished(inst_UnitedNationsCivilianPoliceMissionInHaiti,f_DayFn(28,f_MonthFn(type_November,f_YearFn(1997))))).

fof(axGovPred404, axiom, 
 f_organizationalObjective(inst_UnitedNationsCivilianPoliceMissionInHaiti,inst_CivilPoliceTraining)).

fof(axGovPred405, axiom, 
 f_dateEstablished(inst_UnitedNationsConferenceOnTradeAndDevelopment,f_DayFn(30,f_MonthFn(type_December,f_YearFn(1964))))).

fof(axGovPred406, axiom, 
 f_organizationalObjective(inst_UnitedNationsConferenceOnTradeAndDevelopment,inst_InternationalTradeSupport)).

fof(axGovPred407, axiom, 
 f_dateEstablished(inst_UnitedNationsDevelopmentProgram,f_DayFn(22,f_MonthFn(type_November,f_YearFn(1965))))).

fof(axGovPred408, axiom, 
 f_organizationalObjective(inst_UnitedNationsDevelopmentProgram,inst_EconomicDevelopment)).

fof(axGovPred409, axiom, 
 f_organizationalObjective(inst_UnitedNationsDevelopmentProgram,inst_SocialDevelopment)).

fof(axGovPred410, axiom, 
 f_organizationalObjective(inst_UnitedNationsDevelopmentProgram,inst_TechnologyCooperation)).

fof(axGovPred411, axiom, 
 f_dateEstablished(inst_UnitedNationsDisengagementObserverForce,f_DayFn(31,f_MonthFn(type_May,f_YearFn(1974))))).

fof(axGovPred412, axiom, 
 f_organizationalObjective(inst_UnitedNationsDisengagementObserverForce,inst_ObservationAndMonitoring)).

fof(axGovPred413, axiom, 
 f_dateEstablished(inst_UnitedNationsEducationalScientificAndCulturalOrganization,f_DayFn(16,f_MonthFn(type_November,f_YearFn(1945))))).

fof(axGovPred414, axiom, 
 f_organizationalObjective(inst_UnitedNationsEducationalScientificAndCulturalOrganization,inst_ScientificCooperation)).

fof(axGovPred415, axiom, 
 f_organizationalObjective(inst_UnitedNationsEducationalScientificAndCulturalOrganization,inst_CulturalCooperation)).

fof(axGovPred416, axiom, 
 f_organizationalObjective(inst_UnitedNationsEducationalScientificAndCulturalOrganization,inst_EducationalCooperation)).

fof(axGovPred417, axiom, 
 f_dateEstablished(inst_UnitedNationsEnvironmentProgram,f_DayFn(15,f_MonthFn(type_December,f_YearFn(1972))))).

fof(axGovPred418, axiom, 
 f_organizationalObjective(inst_UnitedNationsEnvironmentProgram,inst_EnvironmentalCooperation)).

fof(axGovPred419, axiom, 
 f_dateEstablished(inst_UnitedNationsGeneralAssembly,f_DayFn(26,f_MonthFn(type_June,f_YearFn(1945))))).

fof(axGovPred420, axiom, 
 f_organizationalObjective(inst_UnitedNationsGeneralAssembly,inst_PoliticalCooperation)).

fof(axGovPred421, axiom, 
 f_subOrganization(inst_UnitedNationsGeneralAssembly,inst_UnitedNations)).

fof(axGovPred422, axiom, 
 f_subOrganization(inst_UnitedNationsChildrensFund,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred423, axiom, 
 f_subOrganization(inst_UnitedNationsConferenceOnTradeAndDevelopment,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred424, axiom, 
 f_subOrganization(inst_UnitedNationsDevelopmentProgram,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred425, axiom, 
 f_subOrganization(inst_UnitedNationsEnvironmentProgram,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred426, axiom, 
 f_subOrganization(inst_UnitedNationsHighCommissionerForRefugees,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred427, axiom, 
 f_subOrganization(inst_UnitedNationsInstituteForTrainingAndResearch,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred428, axiom, 
 f_subOrganization(inst_UnitedNationsPopulationFund,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred429, axiom, 
 f_subOrganization(inst_UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred430, axiom, 
 f_subOrganization(inst_UnitedNationsResearchInstituteForSocialDevelopment,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred431, axiom, 
 f_subOrganization(inst_UnitedNationsUniversity,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred432, axiom, 
 f_subOrganization(inst_WorldFoodProgram,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred433, axiom, 
 f_subOrganization(inst_InternationalResearchAndTrainingInstituteForTheAdvancementOfWomen,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred434, axiom, 
 f_organizationalObjective(inst_InternationalResearchAndTrainingInstituteForTheAdvancementOfWomen,inst_GenderEquality)).

fof(axGovPred435, axiom, 
 f_subOrganization(inst_UnitedNationsCenterForHumanSettlements,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred436, axiom, 
 f_organizationalObjective(inst_UnitedNationsCenterForHumanSettlements,inst_ImproveHumanSettlementConditions)).

fof(axGovPred437, axiom, 
 f_organizationalObjective(inst_UnitedNationsCenterForHumanSettlements,inst_ReducePoverty)).

fof(axGovPred438, axiom, 
 f_organizationalObjective(inst_UnitedNationsCenterForHumanSettlements,inst_PromoteSustainableDevelopment)).

fof(axGovPred439, axiom, 
 f_subOrganization(inst_UnitedNationsHighCommissionerForHumanRights,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred440, axiom, 
 f_organizationalObjective(inst_UnitedNationsHighCommissionerForHumanRights,inst_HumanRightsIssues)).

fof(axGovPred441, axiom, 
 f_subOrganization(inst_UnitedNationsInstituteForDisarmamentResearch,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred442, axiom, 
 f_organizationalObjective(inst_UnitedNationsInstituteForDisarmamentResearch,inst_ArmsControl)).

fof(axGovPred443, axiom, 
 f_subOrganization(inst_UnitedNationsInterregionalCrimeAndJusticeResearchInstitute,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred444, axiom, 
 f_dateEstablished(inst_UnitedNationsInterregionalCrimeAndJusticeResearchInstitute,f_DayFn(29,f_MonthFn(type_April,f_YearFn(1969))))).

fof(axGovPred445, axiom, 
 f_organizationalObjective(inst_UnitedNationsInterregionalCrimeAndJusticeResearchInstitute,inst_ReducingCrime)).

fof(axGovPred446, axiom, 
 f_organizationalObjective(inst_UnitedNationsInterregionalCrimeAndJusticeResearchInstitute,inst_EducationalCooperation)).

fof(axGovPred447, axiom, 
 f_subOrganization(inst_UnitedNationsOfficeOfProjectServices,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred448, axiom, 
 f_organizationalObjective(inst_UnitedNationsOfficeOfProjectServices,inst_AdministrationAndManagement)).

fof(axGovPred449, axiom, 
 f_subOrganization(inst_UnitedNationsSystemStaffCollege,inst_UnitedNationsGeneralAssembly)).

fof(axGovPred450, axiom, 
 f_organizationalObjective(inst_UnitedNationsSystemStaffCollege,inst_EducationalCooperation)).

fof(axGovPred451, axiom, 
 f_dateEstablished(inst_UnitedNationsHighCommissionerForRefugees,f_DayFn(3,f_MonthFn(type_December,f_YearFn(1949))))).

fof(axGovPred452, axiom, 
 f_organizationalObjective(inst_UnitedNationsHighCommissionerForRefugees,inst_HumanitarianAssistance)).

fof(axGovPred453, axiom, 
 f_organizationalObjective(inst_UnitedNationsHighCommissionerForRefugees,inst_RefugeeAssistance)).

fof(axGovPred454, axiom, 
 f_dateEstablished(inst_UnitedNationsIndustrialDevelopmentOrganization,f_DayFn(17,f_MonthFn(type_November,f_YearFn(1966))))).

fof(axGovPred455, axiom, 
 f_organizationalObjective(inst_UnitedNationsIndustrialDevelopmentOrganization,inst_EconomicDevelopment)).

fof(axGovPred456, axiom, 
 f_organizationalObjective(inst_UnitedNationsIndustrialDevelopmentOrganization,inst_TechnologyCooperation)).

fof(axGovPred457, axiom, 
 f_dateEstablished(inst_UnitedNationsInstituteForTrainingAndResearch,f_DayFn(11,f_MonthFn(type_December,f_YearFn(1963))))).

fof(axGovPred458, axiom, 
 f_organizationalObjective(inst_UnitedNationsInstituteForTrainingAndResearch,inst_EducationalCooperation)).

fof(axGovPred459, axiom, 
 f_dateEstablished(inst_UnitedNationsInterimAdminstrationMissionInKosovo,f_DayFn(10,f_MonthFn(type_June,f_YearFn(1999))))).

fof(axGovPred460, axiom, 
 f_organizationalObjective(inst_UnitedNationsInterimAdminstrationMissionInKosovo,inst_HumanitarianAssistance)).

fof(axGovPred461, axiom, 
 f_organizationalObjective(inst_UnitedNationsInterimAdminstrationMissionInKosovo,inst_TransitionalAdministration)).

fof(axGovPred462, axiom, 
 f_dateEstablished(inst_UnitedNationsInterimForceInLebanon,f_DayFn(19,f_MonthFn(type_March,f_YearFn(1978))))).

fof(axGovPred463, axiom, 
 f_organizationalObjective(inst_UnitedNationsInterimForceInLebanon,inst_TransitionalAdministration)).

fof(axGovPred464, axiom, 
 f_organizationalObjective(inst_UnitedNationsInterimForceInLebanon,inst_ObservationAndMonitoring)).

fof(axGovPred465, axiom, 
 f_dateEstablished(inst_UnitedNationsIraqKuwaitObservationMission,f_DayFn(9,f_MonthFn(type_April,f_YearFn(1991))))).

fof(axGovPred466, axiom, 
 f_organizationalObjective(inst_UnitedNationsIraqKuwaitObservationMission,inst_ObservationAndMonitoring)).

fof(axGovPred467, axiom, 
 f_dateEstablished(inst_UnitedNationsMilitaryObserverGroupInIndiaAndPakistan,f_DayFn(24,f_MonthFn(type_January,f_YearFn(1949))))).

fof(axGovPred468, axiom, 
 f_organizationalObjective(inst_UnitedNationsMilitaryObserverGroupInIndiaAndPakistan,inst_ObservationAndMonitoring)).

fof(axGovPred469, axiom, 
 f_dateEstablished(inst_UnitedNationsMissionForTheReferendumInWesternSahara,f_DayFn(29,f_MonthFn(type_April,f_YearFn(1991))))).

fof(axGovPred470, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionForTheReferendumInWesternSahara,inst_ObservationAndMonitoring)).

fof(axGovPred471, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionForTheReferendumInWesternSahara,inst_TransitionalAdministration)).

fof(axGovPred472, axiom, 
 f_dateEstablished(inst_UnitedNationsMissionInBosniaAndHerzegovina,f_DayFn(21,f_MonthFn(type_December,f_YearFn(1995))))).

fof(axGovPred473, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionInBosniaAndHerzegovina,inst_SupportLawEnforcement)).

fof(axGovPred474, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionInBosniaAndHerzegovina,inst_CivilPoliceTraining)).

fof(axGovPred475, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionInBosniaAndHerzegovina,inst_ObservationAndMonitoring)).

fof(axGovPred476, axiom, 
 f_dateEstablished(inst_UnitedNationsMissionInEthiopiaAndEritrea,f_DayFn(31,f_MonthFn(type_July,f_YearFn(2000))))).

fof(axGovPred477, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionInEthiopiaAndEritrea,inst_ObservationAndMonitoring)).

fof(axGovPred478, axiom, 
 f_dateEstablished(inst_UnitedNationsMissionInSierraLeone,f_DayFn(22,f_MonthFn(type_October,f_YearFn(1999))))).

fof(axGovPred479, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionInSierraLeone,inst_TransitionalAdministration)).

fof(axGovPred480, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionInSierraLeone,inst_ObservationAndMonitoring)).

fof(axGovPred481, axiom, 
 f_dateEstablished(inst_UnitedNationsMissionOfObserversInPrevlaka,f_DayFn(1,f_MonthFn(type_February,f_YearFn(1996))))).

fof(axGovPred482, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionOfObserversInPrevlaka,inst_ObservationAndMonitoring)).

fof(axGovPred483, axiom, 
 f_dateEstablished(inst_UnitedNationsMissionOfObserversInTajikistan,f_DayFn(16,f_MonthFn(type_December,f_YearFn(1994))))).

fof(axGovPred484, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionOfObserversInTajikistan,inst_TransitionalAdministration)).

fof(axGovPred485, axiom, 
 f_organizationalObjective(inst_UnitedNationsMissionOfObserversInTajikistan,inst_ObservationAndMonitoring)).

fof(axGovPred486, axiom, 
 f_dateEstablished(inst_UnitedNationsMonitoringAndVerificationCommission,f_YearFn(1999))).

fof(axGovPred487, axiom, 
 f_organizationalObjective(inst_UnitedNationsMonitoringAndVerificationCommission,inst_ObservationAndMonitoring)).

fof(axGovPred488, axiom, 
 f_organizationalObjective(inst_UnitedNationsMonitoringAndVerificationCommission,inst_ControlWeaponsOfMassDestruction)).

fof(axGovPred489, axiom, 
 f_dateEstablished(inst_UnitedNationsObserverMissionInGeorgia,f_DayFn(24,f_MonthFn(type_August,f_YearFn(1993))))).

fof(axGovPred490, axiom, 
 f_organizationalObjective(inst_UnitedNationsObserverMissionInGeorgia,inst_ObservationAndMonitoring)).

fof(axGovPred491, axiom, 
 f_agentOperatesInArea(inst_UnitedNationsObserverMissionInGeorgia,inst_RepublicOfGeorgia)).

fof(axGovPred492, axiom, 
 f_dateEstablished(inst_UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo,f_DayFn(30,f_MonthFn(type_November,f_YearFn(1999))))).

fof(axGovPred493, axiom, 
 f_organizationalObjective(inst_UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo,inst_ObservationAndMonitoring)).

fof(axGovPred494, axiom, 
 f_dateEstablished(inst_UnitedNationsPeaceKeepingForceInCyprus,f_DayFn(4,f_MonthFn(type_March,f_YearFn(1964))))).

fof(axGovPred495, axiom, 
 f_organizationalObjective(inst_UnitedNationsPeaceKeepingForceInCyprus,inst_PeacekeepingOperation)).

fof(axGovPred496, axiom, 
 f_dateEstablished(inst_UnitedNationsPopulationFund,f_MonthFn(type_July,f_YearFn(1967)))).

fof(axGovPred497, axiom, 
 f_organizationalObjective(inst_UnitedNationsPopulationFund,inst_ReproductiveHealthAndFamilyPlannning)).

fof(axGovPred498, axiom, 
 f_organizationalObjective(inst_UnitedNationsPopulationFund,inst_PopulationPolicySupport)).

fof(axGovPred499, axiom, 
 f_dateEstablished(inst_UnitedNationsPreventiveDeploymentForce,f_DayFn(31,f_MonthFn(type_March,f_YearFn(1995))))).

fof(axGovPred500, axiom, 
 f_organizationalObjective(inst_UnitedNationsPreventiveDeploymentForce,inst_ObservationAndMonitoring)).

fof(axGovPred501, axiom, 
 f_dateDissolved(inst_UnitedNationsPreventiveDeploymentForce,f_DayFn(25,f_MonthFn(type_March,f_YearFn(1999))))).

fof(axGovPred502, axiom, 
 f_dateEstablished(inst_UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast,f_DayFn(8,f_MonthFn(type_December,f_YearFn(1949))))).

fof(axGovPred503, axiom, 
 f_organizationalObjective(inst_UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast,inst_RefugeeAssistance)).

fof(axGovPred504, axiom, 
 f_dateEstablished(inst_UnitedNationsResearchInstituteForSocialDevelopment,f_YearFn(1963))).

fof(axGovPred505, axiom, 
 f_organizationalObjective(inst_UnitedNationsResearchInstituteForSocialDevelopment,inst_SocioeconomicResearch)).

fof(axGovPred506, axiom, 
 f_dateEstablished(inst_UnitedNationsSecretariat,f_DayFn(26,f_MonthFn(type_June,f_YearFn(1945))))).

fof(axGovPred507, axiom, 
 f_subOrganization(inst_UnitedNationsSecretariat,inst_UnitedNations)).

fof(axGovPred508, axiom, 
 f_dateEstablished(inst_UnitedNationsSecurityCouncil,f_DayFn(26,f_MonthFn(type_June,f_YearFn(1945))))).

fof(axGovPred509, axiom, 
 f_organizationalObjective(inst_UnitedNationsSecurityCouncil,inst_InternationalPeaceAndSecurity)).

fof(axGovPred510, axiom, 
 f_subOrganization(inst_UnitedNationsSecurityCouncil,inst_UnitedNations)).

fof(axGovPred511, axiom, 
 f_subOrganization(inst_InternationalCriminalTribunalForTheFormerYugoslavia,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred512, axiom, 
 f_subOrganization(inst_InternationalCriminalTribunalForRwanda,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred513, axiom, 
 f_subOrganization(inst_UnitedNationsCompensationCommission,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred514, axiom, 
 f_subOrganization(inst_UnitedNationsDisengagementObserverForce,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred515, axiom, 
 f_subOrganization(inst_UnitedNationsInterimAdministrationMissionInKosovo,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred516, axiom, 
 f_subOrganization(inst_UnitedNationsInterimForceInLebanon,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred517, axiom, 
 f_subOrganization(inst_UnitedNationsIraqKuwaitBoundaryDemarcationCommission,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred518, axiom, 
 f_subOrganization(inst_UnitedNationsIraqKuwaitObservationMission,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred519, axiom, 
 f_subOrganization(inst_UnitedNationsMilitaryObserverGroupInIndiaAndPakistan,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred520, axiom, 
 f_subOrganization(inst_UnitedNationsMissionForTheReferendumInWesternSahara,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred521, axiom, 
 f_subOrganization(inst_UnitedNationsMissionInBosniaAndHerzegovina,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred522, axiom, 
 f_subOrganization(inst_UnitedNationsMissionInEthiopiaAndEritrea,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred523, axiom, 
 f_subOrganization(inst_UnitedNationsMissionInSierraLeone,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred524, axiom, 
 f_subOrganization(inst_UnitedNationsMissionOfObserversInPrevlaka,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred525, axiom, 
 f_subOrganization(inst_UnitedNationsMonitoringAndVerificationCommission,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred526, axiom, 
 f_subOrganization(inst_UnitedNationsObserverMissionInGeorgia,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred527, axiom, 
 f_subOrganization(inst_UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred528, axiom, 
 f_subOrganization(inst_UnitedNationsPeaceKeepingForceInCyprus,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred529, axiom, 
 f_subOrganization(inst_UnitedNationsTransitionalAdministrationInEastTimor,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred530, axiom, 
 f_subOrganization(inst_UnitedNationsTruceSupervisionOrganization,inst_UnitedNationsSecurityCouncil)).

fof(axGovPred531, axiom, 
 f_dateEstablished(inst_InternationalCriminalTribunalForTheFormerYugoslavia,f_DayFn(25,f_MonthFn(type_May,f_YearFn(1993))))).

fof(axGovPred532, axiom, 
 f_organizationalObjective(inst_InternationalCriminalTribunalForTheFormerYugoslavia,inst_WarCrimesProsecution)).

fof(axGovPred533, axiom, 
 f_organizationalObjective(inst_InternationalCriminalTribunalForRwanda,inst_WarCrimesProsecution)).

fof(axGovPred534, axiom, 
 f_dateEstablished(inst_InternationalCriminalTribunalForRwanda,f_DayFn(8,f_MonthFn(type_November,f_YearFn(1994))))).

fof(axGovPred535, axiom, 
 f_dateEstablished(inst_UnitedNationsCompensationCommission,f_YearFn(1991))).

fof(axGovPred536, axiom, 
 f_organizationalObjective(inst_UnitedNationsCompensationCommission,inst_CompensationAndReparation)).

fof(axGovPred537, axiom, 
 f_dateEstablished(inst_UnitedNationsIraqKuwaitBoundaryDemarcationCommission,f_YearFn(1991))).

fof(axGovPred538, axiom, 
 f_organizationalObjective(inst_UnitedNationsIraqKuwaitBoundaryDemarcationCommission,inst_BoundaryDetermination)).

fof(axGovPred539, axiom, 
 f_dateEstablished(inst_UnitedNationsTransitionalAdministrationInEastTimor,f_DayFn(25,f_MonthFn(type_October,f_YearFn(1999))))).

fof(axGovPred540, axiom, 
 f_organizationalObjective(inst_UnitedNationsTransitionalAdministrationInEastTimor,inst_TransitionalAdministration)).

fof(axGovPred541, axiom, 
 f_organizationalObjective(inst_UnitedNationsTransitionalAdministrationInEastTimor,inst_HumanitarianAssistance)).

fof(axGovPred542, axiom, 
 f_dateEstablished(inst_UnitedNationsTruceSupervisionOrganization,f_MonthFn(type_June,f_YearFn(1948)))).

fof(axGovPred543, axiom, 
 f_organizationalObjective(inst_UnitedNationsTruceSupervisionOrganization,inst_ObservationAndMonitoring)).

fof(axGovPred544, axiom, 
 f_organizationalObjective(inst_UnitedNationsTruceSupervisionOrganization,inst_PeacekeepingOperation)).

fof(axGovPred545, axiom, 
 f_dateEstablished(inst_UnitedNationsTrusteeshipCouncil,f_DayFn(26,f_MonthFn(type_June,f_YearFn(1945))))).

fof(axGovPred546, axiom, 
 f_organizationalObjective(inst_UnitedNationsTrusteeshipCouncil,inst_TransitionalAdministration)).

fof(axGovPred547, axiom, 
 f_dateEstablished(inst_UnitedNationsUniversity,f_DayFn(3,f_MonthFn(type_December,f_YearFn(1973))))).

fof(axGovPred548, axiom, 
 f_organizationalObjective(inst_UnitedNationsUniversity,inst_SocioeconomicResearch)).

fof(axGovPred549, axiom, 
 f_dateEstablished(inst_UniversalPostalUnion,f_DayFn(9,f_MonthFn(type_October,f_YearFn(1874))))).

fof(axGovPred550, axiom, 
 f_organizationalObjective(inst_UniversalPostalUnion,inst_InfrastructureCooperation)).

fof(axGovPred551, axiom, 
 f_dateEstablished(inst_WarsawPact,f_DayFn(14,f_MonthFn(type_May,f_YearFn(1955))))).

fof(axGovPred552, axiom, 
 f_dateDissolved(inst_WarsawPact,f_DayFn(1,f_MonthFn(type_July,f_YearFn(1991))))).

fof(axGovPred553, axiom, 
 f_organizationalObjective(inst_WarsawPact,inst_MutualDefensePact)).

fof(axGovPred554, axiom, 
 f_dateEstablished(inst_WassenaarArrangement,f_DayFn(12,f_MonthFn(type_July,f_YearFn(1996))))).

fof(axGovPred555, axiom, 
 f_organizationalObjective(inst_WassenaarArrangement,inst_ArmsControl)).

fof(axGovPred556, axiom, 
 f_dateEstablished(inst_WestAfricanDevelopmentBank,f_DayFn(14,f_MonthFn(type_November,f_YearFn(1973))))).

fof(axGovPred557, axiom, 
 f_organizationalObjective(inst_WestAfricanDevelopmentBank,inst_EconomicDevelopment)).

fof(axGovPred558, axiom, 
 f_organizationalObjective(inst_WestAfricanDevelopmentBank,inst_EconomicIntegration)).

fof(axGovPred559, axiom, 
 f_dateEstablished(inst_WestAfricanEconomicAndMonetaryUnion,f_DayFn(1,f_MonthFn(type_August,f_YearFn(1994))))).

fof(axGovPred560, axiom, 
 f_organizationalObjective(inst_WestAfricanEconomicAndMonetaryUnion,inst_EconomicIntegration)).

fof(axGovPred561, axiom, 
 f_dateEstablished(inst_WesternEuropeanUnion,f_DayFn(23,f_MonthFn(type_October,f_YearFn(1954))))).

fof(axGovPred562, axiom, 
 f_organizationalObjective(inst_WesternEuropeanUnion,inst_MutualDefensePact)).

fof(axGovPred563, axiom, 
 f_organizationalObjective(inst_WesternEuropeanUnion,inst_PoliticalIntegration)).

fof(axGovPred564, axiom, 
 f_subOrganization(inst_InternationalBankForReconstructionAndDevelopment,inst_WorldBankGroup)).

fof(axGovPred565, axiom, 
 f_subOrganization(inst_InternationalDevelopmentAssociation,inst_WorldBankGroup)).

fof(axGovPred566, axiom, 
 f_subOrganization(inst_InternationalFinanceCorporation,inst_WorldBankGroup)).

fof(axGovPred567, axiom, 
 f_dateEstablished(inst_WorldConfederationOfLabor,f_DayFn(19,f_MonthFn(type_June,f_YearFn(1920))))).

fof(axGovPred568, axiom, 
 f_organizationalObjective(inst_WorldConfederationOfLabor,inst_PromoteTradeUnionism)).

fof(axGovPred569, axiom, 
 f_dateEstablished(inst_WorldFederationOfTradeUnions,f_DayFn(3,f_MonthFn(type_October,f_YearFn(1945))))).

fof(axGovPred570, axiom, 
 f_organizationalObjective(inst_WorldFederationOfTradeUnions,inst_PromoteTradeUnionism)).

fof(axGovPred571, axiom, 
 f_dateEstablished(inst_WorldFoodProgram,f_DayFn(24,f_MonthFn(type_November,f_YearFn(1961))))).

fof(axGovPred572, axiom, 
 f_organizationalObjective(inst_WorldFoodProgram,inst_FoodAid)).

fof(axGovPred573, axiom, 
 f_dateEstablished(inst_WorldHealthOrganization,f_DayFn(22,f_MonthFn(type_July,f_YearFn(1946))))).

fof(axGovPred574, axiom, 
 f_organizationalObjective(inst_WorldHealthOrganization,inst_PublicHealthConcern)).

fof(axGovPred575, axiom, 
 f_dateEstablished(inst_WorldIntellectualPropertyOrganization,f_DayFn(14,f_MonthFn(type_July,f_YearFn(1967))))).

fof(axGovPred576, axiom, 
 f_organizationalObjective(inst_WorldIntellectualPropertyOrganization,inst_IntellectualPropertyProtection)).

fof(axGovPred577, axiom, 
 f_organizationalObjective(inst_WorldMeteorologicalOrganization,inst_ScientificCooperation)).

fof(axGovPred578, axiom, 
 f_dateEstablished(inst_WorldTourismOrganization,f_DayFn(2,f_MonthFn(type_January,f_YearFn(1975))))).

fof(axGovPred579, axiom, 
 f_organizationalObjective(inst_WorldTourismOrganization,inst_PromotionOfTourism)).

fof(axGovPred580, axiom, 
 f_dateEstablished(inst_WorldTradeOrganization,f_DayFn(15,f_MonthFn(type_April,f_YearFn(1994))))).

fof(axGovPred581, axiom, 
 f_organizationalObjective(inst_WorldTradeOrganization,inst_PromotionOfFreeTrade)).

fof(axGovPred582, axiom, 
 f_organizationalObjective(inst_ZanggerCommittee,inst_NuclearExportControls)).

fof(axGovPred583, axiom, 
 f_subOrganization(inst_USCustomsAndBorderProtection,inst_DepartmentOfHomelandSecurity)).

fof(axGovPred584, axiom, 
 f_part(inst_UnitedStatesHouseOfRepresentatives,inst_UnitedStatesCongress)).

fof(axGovPred585, axiom, 
 f_part(inst_UnitedStatesSenate,inst_UnitedStatesCongress)).

fof(axGovPred586, axiom, 
 f_subOrganization(inst_DepartmentOfHomelandSecurity,f_GovernmentFn(inst_UnitedStates))).

fof(axGovPred587, axiom, 
 f_dateEstablished(inst_DepartmentOfHomelandSecurity,f_YearFn(2002))).