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