From d6627b5a5af6a82dd5316ac5d527790697615339 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 17 Feb 2010 12:21:41 +0000 Subject: added TPTP for SUMO --- examples/SUMO/TPTP/GovernmentPredAx.p | 1764 +++++++++++++++++++++++++++++++++ 1 file changed, 1764 insertions(+) create mode 100644 examples/SUMO/TPTP/GovernmentPredAx.p (limited to 'examples/SUMO/TPTP/GovernmentPredAx.p') diff --git a/examples/SUMO/TPTP/GovernmentPredAx.p b/examples/SUMO/TPTP/GovernmentPredAx.p new file mode 100644 index 000000000..9af44dbe8 --- /dev/null +++ b/examples/SUMO/TPTP/GovernmentPredAx.p @@ -0,0 +1,1764 @@ +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))). + -- cgit v1.2.3