added TPTP for SUMO

1 files changed, 1402 insertions, 0 deletions

diff --git a/examples/SUMO/TPTP/GovernmentAx.p b/examples/SUMO/TPTP/GovernmentAx.p
new file mode 100644
index 000000000..79f708155
--- /dev/null
+++ b/examples/SUMO/TPTP/GovernmentAx.p
@@ -0,0 +1,1402 @@
+fof(axGovernment0, axiom, 

+ ( ! [X] : 

+ (hasType(type_AppealsCourt, X) => hasType(type_JudicialOrganization, X)))).

+

+fof(axGovernment1, axiom, 

+ ( ! [X] : 

+ (hasType(type_BritishCrownColony, X) => hasType(type_OverseasArea, X)))).

+

+fof(axGovernment2, axiom, 

+ ( ! [X] : 

+ (hasType(type_ConstitutionDocument, X) => hasType(type_ContentBearingObject, X)))).

+

+fof(axGovernment3, axiom, 

+ ( ! [X] : 

+ (hasType(type_Constitution, X) => hasType(type_Proposition, X)))).

+

+fof(axGovernment4, axiom, 

+ ( ! [X] : 

+ (hasType(type_ConstitutionalCourt, X) => hasType(type_JudicialOrganization, X)))).

+

+fof(axGovernment5, axiom, 

+ ( ! [X] : 

+ (hasType(type_ConsulateGeneral, X) => hasType(type_DiplomaticOrganization, X)))).

+

+fof(axGovernment6, axiom, 

+ ( ! [X] : 

+ (hasType(type_Consulate, X) => hasType(type_DiplomaticOrganization, X)))).

+

+fof(axGovernment7, axiom, 

+ ( ! [X] : 

+ (hasType(type_DependencyOrSpecialSovereigntyArea, X) => hasType(type_GeopoliticalArea, X)))).

+

+fof(axGovernment8, axiom, 

+ ( ! [X] : 

+ (hasType(type_DiplomaticOrganization, X) => hasType(type_GovernmentOrganization, X)))).

+

+fof(axGovernment9, axiom, 

+ ( ! [X] : 

+ (hasType(type_Embassy, X) => hasType(type_DiplomaticOrganization, X)))).

+

+fof(axGovernment10, axiom, 

+ ( ! [X] : 

+ (hasType(type_FixedHoliday, X) => hasType(type_Holiday, X)))).

+

+fof(axGovernment11, axiom, 

+ ( ! [X] : 

+ (hasType(type_ForeignServicePosition, X) => hasType(type_Position, X)))).

+

+fof(axGovernment12, axiom, 

+ ( ! [X] : 

+ (hasType(type_ForeignTerroristOrganization, X) => hasType(type_TerroristOrganization, X)))).

+

+fof(axGovernment13, axiom, 

+ ( ! [X] : 

+ (hasType(type_GovernmentCabinet, X) => hasType(type_GovernmentOrganization, X)))).

+

+fof(axGovernment14, axiom, 

+ ( ! [X] : 

+ (hasType(type_Holiday, X) => hasType(type_TimeInterval, X)))).

+

+fof(axGovernment15, axiom, 

+ ( ! [X] : 

+ (hasType(type_IndependentState, X) => hasType(type_GeopoliticalArea, X)))).

+

+fof(axGovernment16, axiom, 

+ ( ! [X] : 

+ (hasType(type_IndependentState, X) => hasType(type_Nation, X)))).

+

+fof(axGovernment17, axiom, 

+ ( ! [X] : 

+ (hasType(type_InternationalOrganization, X) => hasType(type_Organization, X)))).

+

+fof(axGovernment18, axiom, 

+ ( ! [X] : 

+ (hasType(type_IslamicLawCourt, X) => hasType(type_JudicialOrganization, X)))).

+

+fof(axGovernment19, axiom, 

+ ( ! [X] : 

+ (hasType(type_LegalSystemAttribute, X) => hasType(type_RelationalAttribute, X)))).

+

+fof(axGovernment20, axiom, 

+ ( ! [X] : 

+ (hasType(type_LegislativeChamber, X) => hasType(type_LegislativeOrganization, X)))).

+

+fof(axGovernment21, axiom, 

+ ( ! [X] : 

+ (hasType(type_MemberStatus, X) => hasType(type_RelationalAttribute, X)))).

+

+fof(axGovernment22, axiom, 

+ ( ! [X] : 

+ (hasType(type_MoveableHoliday, X) => hasType(type_Holiday, X)))).

+

+fof(axGovernment23, axiom, 

+ ( ! [X] : 

+ (hasType(type_NationalGovernment, X) => hasType(type_Government, X)))).

+

+fof(axGovernment24, axiom, 

+ ( ! [X] : 

+ (hasType(type_OrganizationOfNations, X) => hasType(type_InternationalOrganization, X)))).

+

+fof(axGovernment25, axiom, 

+ ( ! [X] : 

+ (hasType(type_OverseasArea, X) => hasType(type_DependencyOrSpecialSovereigntyArea, X)))).

+

+fof(axGovernment26, axiom, 

+ ( ! [X] : 

+ (hasType(type_OverseasArea, X) => hasType(type_GeopoliticalArea, X)))).

+

+fof(axGovernment27, axiom, 

+ ( ! [X] : 

+ (hasType(type_Parliament, X) => hasType(type_LegislativeOrganization, X)))).

+

+fof(axGovernment28, axiom, 

+ ( ! [X] : 

+ (hasType(type_ParliamentaryTerritory, X) => hasType(type_GeopoliticalArea, X)))).

+

+fof(axGovernment29, axiom, 

+ ( ! [X] : 

+ (hasType(type_PoliticalCoalition, X) => hasType(type_PoliticalOrganization, X)))).

+

+fof(axGovernment30, axiom, 

+ ( ! [X] : 

+ (hasType(type_PoliticalCoalition, X) => hasType(type_PoliticalParty, X)))).

+

+fof(axGovernment31, axiom, 

+ ( ! [X] : 

+ (hasType(type_PoliticalPressureGroup, X) => hasType(type_PoliticalOrganization, X)))).

+

+fof(axGovernment32, axiom, 

+ ( ! [X] : 

+ (hasType(type_RegionalLaw, X) => hasType(type_Proposition, X)))).

+

+fof(axGovernment33, axiom, 

+ ( ! [X] : 

+ (hasType(type_RestrictedSuffrage, X) => hasType(type_SuffrageLaw, X)))).

+

+fof(axGovernment34, axiom, 

+ ( ! [X] : 

+ (hasType(type_SelfGoverningTerritory, X) => hasType(type_GeopoliticalArea, X)))).

+

+fof(axGovernment35, axiom, 

+ ( ! [X] : 

+ (hasType(type_SuffrageLaw, X) => hasType(type_Proposition, X)))).

+

+fof(axGovernment36, axiom, 

+ ( ! [X] : 

+ (hasType(type_SupremeCourt, X) => hasType(type_JudicialOrganization, X)))).

+

+fof(axGovernment37, axiom, 

+ ( ! [X] : 

+ (hasType(type_TransnationalIssue, X) => hasType(type_AreaOfConcern, X)))).

+

+fof(axGovernment38, axiom, 

+ ( ! [X] : 

+ (hasType(type_UnincorporatedUnitedStatesTerritory, X) => hasType(type_OverseasArea, X)))).

+

+fof(axGovernment39, axiom, 

+ ( ! [X] : 

+ (hasType(type_VoterAgeRequirement, X) => hasType(type_SuffrageLaw, X)))).

+

+fof(axGovernment40, axiom, 

+ (hasType(type_OrganizationOfNations, inst_ASEANRegionalForum))).

+

+fof(axGovernment41, axiom, 

+ (hasType(type_LegalSystemAttribute, inst_AcceptsICJJurisdiction))).

+

+fof(axGovernment42, axiom, 

+ (hasType(type_AreaOfConcern, inst_AdministrationAndManagement))).

+

+fof(axGovernment43, axiom, 

+ (hasType(type_MemberStatus, inst_AdvisoryCommittee))).

+

+fof(axGovernment44, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AfricanCaribbeanAndPacificGroupOfStates))).

+

+fof(axGovernment45, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AfricanDevelopmentBank))).

+

+fof(axGovernment46, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AgencyForTheFrenchSpeakingCommunity))).

+

+fof(axGovernment47, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean))).

+

+fof(axGovernment48, axiom, 

+ (hasType(type_ForeignServicePosition, inst_Ambassador))).

+

+fof(axGovernment49, axiom, 

+ (hasType(type_Organization, inst_AmericanInstituteInTaiwan))).

+

+fof(axGovernment50, axiom, 

+ (hasType(type_FormOfGovernment, inst_Anarchy))).

+

+fof(axGovernment51, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AndeanCommunityOfNations))).

+

+fof(axGovernment52, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AntarcticTreatyCouncil))).

+

+fof(axGovernment53, axiom, 

+ (hasType(type_Proposition, inst_AntiterrorismAndEffectiveDeathPenaltyAct))).

+

+fof(axGovernment54, axiom, 

+ (hasType(type_OrganizationOfNations, inst_ArabBankForEconomicDevelopmentInAfrica))).

+

+fof(axGovernment55, axiom, 

+ (hasType(type_OrganizationOfNations, inst_ArabCooperationCouncil))).

+

+fof(axGovernment56, axiom, 

+ (hasType(type_OrganizationOfNations, inst_ArabFundForEconomicAndSocialDevelopment))).

+

+fof(axGovernment57, axiom, 

+ (hasType(type_OrganizationOfNations, inst_ArabLeague))).

+

+fof(axGovernment58, axiom, 

+ (hasType(type_OrganizationOfNations, inst_ArabMaghrebUnion))).

+

+fof(axGovernment59, axiom, 

+ (hasType(type_OrganizationOfNations, inst_ArabMonetaryFund))).

+

+fof(axGovernment60, axiom, 

+ (hasType(type_TransnationalIssue, inst_ArmsControl))).

+

+fof(axGovernment61, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AsiaPacificEconomicCooperation))).

+

+fof(axGovernment62, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AsianDevelopmentBank))).

+

+fof(axGovernment63, axiom, 

+ (hasType(type_MemberStatus, inst_AssociateMember))).

+

+fof(axGovernment64, axiom, 

+ (hasType(type_MemberStatus, inst_AssociatePartner))).

+

+fof(axGovernment65, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AssociationOfSoutheastAsianNations))).

+

+fof(axGovernment66, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AustraliaGroup))).

+

+fof(axGovernment67, axiom, 

+ (hasType(type_OrganizationOfNations, inst_AustraliaNewZealandUnitedStatesSecurityTreaty))).

+

+fof(axGovernment68, axiom, 

+ (hasType(type_FormOfGovernment, inst_AuthoritarianRegime))).

+

+fof(axGovernment69, axiom, 

+ (hasType(type_FormOfGovernment, inst_AuthoritarianSocialist))).

+

+fof(axGovernment70, axiom, 

+ (hasType(type_OrganizationOfNations, inst_BankForInternationalSettlements))).

+

+fof(axGovernment71, axiom, 

+ (hasType(type_OrganizationOfNations, inst_BeneluxEconomicUnion))).

+

+fof(axGovernment72, axiom, 

+ (hasType(type_FormOfGovernment, inst_BicameralLegislature))).

+

+fof(axGovernment73, axiom, 

+ (hasType(type_OrganizationOfNations, inst_BigSeven))).

+

+fof(axGovernment74, axiom, 

+ (hasType(type_OrganizationOfNations, inst_BigSix))).

+

+fof(axGovernment75, axiom, 

+ (hasType(type_OrganizationOfNations, inst_BlackSeaEconomicCooperationZone))).

+

+fof(axGovernment76, axiom, 

+ (hasType(type_MemberStatus, inst_BoardOfTrusteesMember))).

+

+fof(axGovernment77, axiom, 

+ (hasType(type_TransnationalIssue, inst_BoundaryDetermination))).

+

+fof(axGovernment78, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CaribbeanCommunityAndCommonMarket))).

+

+fof(axGovernment79, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CaribbeanDevelopmentBank))).

+

+fof(axGovernment80, axiom, 

+ (hasType(type_MemberStatus, inst_CategoryIIIMember))).

+

+fof(axGovernment81, axiom, 

+ (hasType(type_MemberStatus, inst_CategoryIIMember))).

+

+fof(axGovernment82, axiom, 

+ (hasType(type_MemberStatus, inst_CategoryIMember))).

+

+fof(axGovernment83, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CentralAfricanStatesDevelopmentBank))).

+

+fof(axGovernment84, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CentralAmericanBankForEconomicIntegration))).

+

+fof(axGovernment85, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CentralAmericanCommonMarket))).

+

+fof(axGovernment86, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CentralEuropeanInitiative))).

+

+fof(axGovernment87, axiom, 

+ (hasType(type_Position, inst_Chairman))).

+

+fof(axGovernment88, axiom, 

+ (hasType(type_ForeignServicePosition, inst_ChargeDAffaires))).

+

+fof(axGovernment89, axiom, 

+ (hasType(type_FormOfGovernment, inst_Chiefdom))).

+

+fof(axGovernment90, axiom, 

+ (hasType(type_LegalSystemAttribute, inst_CivilLaw))).

+

+fof(axGovernment91, axiom, 

+ (hasType(type_OrganizationOfNations, inst_ColomboPlan))).

+

+fof(axGovernment92, axiom, 

+ (hasType(type_InternationalOrganization, inst_CommissionForSocialDevelopment))).

+

+fof(axGovernment93, axiom, 

+ (hasType(type_InternationalOrganization, inst_CommissionOnCrimePreventionAndCriminalJustice))).

+

+fof(axGovernment94, axiom, 

+ (hasType(type_InternationalOrganization, inst_CommissionOnHumanRights))).

+

+fof(axGovernment95, axiom, 

+ (hasType(type_InternationalOrganization, inst_CommissionOnNarcoticsDrugs))).

+

+fof(axGovernment96, axiom, 

+ (hasType(type_InternationalOrganization, inst_CommissionOnPopulationAndDevelopment))).

+

+fof(axGovernment97, axiom, 

+ (hasType(type_InternationalOrganization, inst_CommissionOnScienceAndTechnologyForDevelopment))).

+

+fof(axGovernment98, axiom, 

+ (hasType(type_InternationalOrganization, inst_CommissionOnSustainableDevelopment))).

+

+fof(axGovernment99, axiom, 

+ (hasType(type_InternationalOrganization, inst_CommissionOnTheStatusOfWomen))).

+

+fof(axGovernment100, axiom, 

+ (hasType(type_MemberStatus, inst_Commissioner))).

+

+fof(axGovernment101, axiom, 

+ (hasType(type_FormOfGovernment, inst_Commonwealth))).

+

+fof(axGovernment102, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CommonwealthOfIndependentStates))).

+

+fof(axGovernment103, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CommonwealthOfNations))).

+

+fof(axGovernment104, axiom, 

+ (hasType(type_FormOfGovernment, inst_CommunistState))).

+

+fof(axGovernment105, axiom, 

+ (hasType(type_FormOfGovernment, inst_CompactOfFreeAssociationWithNewZealand))).

+

+fof(axGovernment106, axiom, 

+ (hasType(type_FormOfGovernment, inst_CompactOfFreeAssociationWithUnitedStates))).

+

+fof(axGovernment107, axiom, 

+ (hasType(type_SuffrageLaw, inst_CompulsorySuffrageLaw))).

+

+fof(axGovernment108, axiom, 

+ (hasType(type_FormOfGovernment, inst_ConstitutionalDemocraticRepublic))).

+

+fof(axGovernment109, axiom, 

+ (hasType(type_FormOfGovernment, inst_ConstitutionalGovernment))).

+

+fof(axGovernment110, axiom, 

+ (hasType(type_FormOfGovernment, inst_ConstitutionalMonarchy))).

+

+fof(axGovernment111, axiom, 

+ (hasType(type_FormOfGovernment, inst_ConstitutionalParliamentaryDemocracy))).

+

+fof(axGovernment112, axiom, 

+ (hasType(type_FormOfGovernment, inst_ConstitutionalRepublic))).

+

+fof(axGovernment113, axiom, 

+ (hasType(type_ForeignServicePosition, inst_Consul))).

+

+fof(axGovernment114, axiom, 

+ (hasType(type_ForeignServicePosition, inst_ConsulGeneral))).

+

+fof(axGovernment115, axiom, 

+ (hasType(type_MemberStatus, inst_CooperatingState))).

+

+fof(axGovernment116, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CoordinatingCommitteeOnExportControls))).

+

+fof(axGovernment117, axiom, 

+ (hasType(type_FormOfGovernment, inst_Coprincipality))).

+

+fof(axGovernment118, axiom, 

+ (hasType(type_MemberStatus, inst_CorrespondentMember))).

+

+fof(axGovernment119, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CouncilForMutualEconomicAssistance))).

+

+fof(axGovernment120, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CouncilOfArabEconomicUnity))).

+

+fof(axGovernment121, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CouncilOfEurope))).

+

+fof(axGovernment122, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CouncilOfTheBalticSeaStates))).

+

+fof(axGovernment123, axiom, 

+ (hasType(type_OrganizationOfNations, inst_CouncilOfTheEntente))).

+

+fof(axGovernment124, axiom, 

+ (hasType(type_FormOfGovernment, inst_Democracy))).

+

+fof(axGovernment125, axiom, 

+ (hasType(type_GovernmentOrganization, inst_DepartmentOfHomelandSecurity))).

+

+fof(axGovernment126, axiom, 

+ (hasType(type_MemberStatus, inst_DialoguePartner))).

+

+fof(axGovernment127, axiom, 

+ (hasType(type_FormOfGovernment, inst_Dictatorship))).

+

+fof(axGovernment128, axiom, 

+ (hasType(type_ForeignServicePosition, inst_DiplomaticAgent))).

+

+fof(axGovernment129, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EastAfricanDevelopmentBank))).

+

+fof(axGovernment130, axiom, 

+ (hasType(type_FormOfGovernment, inst_EcclesiasticalGovernment))).

+

+fof(axGovernment131, axiom, 

+ (hasType(type_InternationalOrganization, inst_EconomicAndSocialCommissionForAsiaAndThePacific))).

+

+fof(axGovernment132, axiom, 

+ (hasType(type_InternationalOrganization, inst_EconomicAndSocialCommissionForWesternAsia))).

+

+fof(axGovernment133, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EconomicAndSocialCouncil))).

+

+fof(axGovernment134, axiom, 

+ (hasType(type_InternationalOrganization, inst_EconomicCommissionForAfrica))).

+

+fof(axGovernment135, axiom, 

+ (hasType(type_InternationalOrganization, inst_EconomicCommissionForEurope))).

+

+fof(axGovernment136, axiom, 

+ (hasType(type_InternationalOrganization, inst_EconomicCommissionForLatinAmericaAndTheCaribbean))).

+

+fof(axGovernment137, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EconomicCommunityOfTheGreatLakesCountries))).

+

+fof(axGovernment138, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EconomicCommunityOfWestAfricanStates))).

+

+fof(axGovernment139, axiom, 

+ (hasType(type_TransnationalIssue, inst_EconomicCooperation))).

+

+fof(axGovernment140, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EconomicCooperationOrganization))).

+

+fof(axGovernment141, axiom, 

+ (hasType(type_AreaOfConcern, inst_EconomicDevelopment))).

+

+fof(axGovernment142, axiom, 

+ (hasType(type_FormOfGovernment, inst_EmergingDemocracy))).

+

+fof(axGovernment143, axiom, 

+ (hasType(type_TransnationalIssue, inst_EnergyAndTheEnvironment))).

+

+fof(axGovernment144, axiom, 

+ (hasType(type_LegalSystemAttribute, inst_EnglishCommonLaw))).

+

+fof(axGovernment145, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EuroAtlanticPartnershipCouncil))).

+

+fof(axGovernment146, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EuropeanBankForReconstructionAndDevelopment))).

+

+fof(axGovernment147, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EuropeanCommunity))).

+

+fof(axGovernment148, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EuropeanFreeTradeAssociation))).

+

+fof(axGovernment149, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EuropeanInvestmentBank))).

+

+fof(axGovernment150, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EuropeanMonetaryUnion))).

+

+fof(axGovernment151, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EuropeanOrganizationForNuclearResearch))).

+

+fof(axGovernment152, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EuropeanSpaceAgency))).

+

+fof(axGovernment153, axiom, 

+ (hasType(type_OrganizationOfNations, inst_EuropeanUnion))).

+

+fof(axGovernment154, axiom, 

+ (hasType(type_RestrictedSuffrage, inst_ExclusiveMaleSuffrage))).

+

+fof(axGovernment155, axiom, 

+ (hasType(type_MemberStatus, inst_ExecutiveBoardMember))).

+

+fof(axGovernment156, axiom, 

+ (hasType(type_MemberStatus, inst_ExecutiveCommitteeMember))).

+

+fof(axGovernment157, axiom, 

+ (hasType(type_FormOfGovernment, inst_Factionalism))).

+

+fof(axGovernment158, axiom, 

+ (hasType(type_FormOfGovernment, inst_FederalDemocraticRepublic))).

+

+fof(axGovernment159, axiom, 

+ (hasType(type_FormOfGovernment, inst_FederalGovernment))).

+

+fof(axGovernment160, axiom, 

+ (hasType(type_FormOfGovernment, inst_FederalParliamentaryDemocracy))).

+

+fof(axGovernment161, axiom, 

+ (hasType(type_FormOfGovernment, inst_FederalRepublic))).

+

+fof(axGovernment162, axiom, 

+ (hasType(type_FormOfGovernment, inst_Federation))).

+

+fof(axGovernment163, axiom, 

+ (hasType(type_OrganizationOfNations, inst_FoodAndAgricultureOrganization))).

+

+fof(axGovernment164, axiom, 

+ (hasType(type_OrganizationOfNations, inst_FrancZone))).

+

+fof(axGovernment165, axiom, 

+ (hasType(type_MemberStatus, inst_FullMember))).

+

+fof(axGovernment166, axiom, 

+ (hasType(type_Position, inst_GovernmentDeputy))).

+

+fof(axGovernment167, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf10))).

+

+fof(axGovernment168, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf11))).

+

+fof(axGovernment169, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf15))).

+

+fof(axGovernment170, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf24))).

+

+fof(axGovernment171, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf3))).

+

+fof(axGovernment172, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf5))).

+

+fof(axGovernment173, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf6))).

+

+fof(axGovernment174, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf7))).

+

+fof(axGovernment175, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf77))).

+

+fof(axGovernment176, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf8))).

+

+fof(axGovernment177, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GroupOf9))).

+

+fof(axGovernment178, axiom, 

+ (hasType(type_MemberStatus, inst_GuestStatus))).

+

+fof(axGovernment179, axiom, 

+ (hasType(type_OrganizationOfNations, inst_GulfCooperationCouncil))).

+

+fof(axGovernment180, axiom, 

+ (hasType(type_FormOfGovernment, inst_HereditaryMonarchy))).

+

+fof(axGovernment181, axiom, 

+ (hasType(type_TransnationalIssue, inst_HumanitarianAssistance))).

+

+fof(axGovernment182, axiom, 

+ (hasType(type_Proposition, inst_ImmigrationAndNationalityAct_Section219_US))).

+

+fof(axGovernment183, axiom, 

+ (hasType(type_Proposition, inst_ImmigrationAndNationalityAct_US))).

+

+fof(axGovernment184, axiom, 

+ (hasType(type_OrganizationOfNations, inst_IndianOceanCommission))).

+

+fof(axGovernment185, axiom, 

+ (hasType(type_AreaOfConcern, inst_InformationCooperation))).

+

+fof(axGovernment186, axiom, 

+ (hasType(type_AreaOfConcern, inst_InfrastructureCooperation))).

+

+fof(axGovernment187, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InterAmericanDevelopmentBank))).

+

+fof(axGovernment188, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InterGovernmentalAuthorityOnDevelopment))).

+

+fof(axGovernment189, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalAtomicEnergyAgency))).

+

+fof(axGovernment190, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalBankForReconstructionAndDevelopment))).

+

+fof(axGovernment191, axiom, 

+ (hasType(type_InternationalOrganization, inst_InternationalCenterForSecretariatOfInvestmentDisputes))).

+

+fof(axGovernment192, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalChamberOfCommerce))).

+

+fof(axGovernment193, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalCivilAviationOrganization))).

+

+fof(axGovernment194, axiom, 

+ (hasType(type_InternationalOrganization, inst_InternationalCommitteeOfTheRedCross))).

+

+fof(axGovernment195, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalConfederationOfFreeTradeUnions))).

+

+fof(axGovernment196, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalCriminalPoliceOrganization))).

+

+fof(axGovernment197, axiom, 

+ (hasType(type_InternationalOrganization, inst_InternationalCriminalTribunalForRwanda))).

+

+fof(axGovernment198, axiom, 

+ (hasType(type_InternationalOrganization, inst_InternationalCriminalTribunalForTheFormerYugoslavia))).

+

+fof(axGovernment199, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalDevelopmentAssociation))).

+

+fof(axGovernment200, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalEnergyAgency))).

+

+fof(axGovernment201, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalFederationOfRedCrossAndRedCrescentSocieties))).

+

+fof(axGovernment202, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalFinanceCorporation))).

+

+fof(axGovernment203, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalFundForAgriculturalDevelopment))).

+

+fof(axGovernment204, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalHydrographicOrganization))).

+

+fof(axGovernment205, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalLaborOrganization))).

+

+fof(axGovernment206, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalMaritimeOrganization))).

+

+fof(axGovernment207, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalMonetaryFund))).

+

+fof(axGovernment208, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalOlympicCommittee))).

+

+fof(axGovernment209, axiom, 

+ (hasType(type_MemberStatus, inst_InternationalOrNonregionalMember))).

+

+fof(axGovernment210, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalOrganizationForMigration))).

+

+fof(axGovernment211, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalOrganizationForStandardization))).

+

+fof(axGovernment212, axiom, 

+ (hasType(type_TransnationalIssue, inst_InternationalPeaceAndSecurity))).

+

+fof(axGovernment213, axiom, 

+ (hasType(type_InternationalOrganization, inst_InternationalRedCrossAndRedCrescentMovement))).

+

+fof(axGovernment214, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalResearchAndTrainingInstituteForTheAdvancementOfWomen))).

+

+fof(axGovernment215, axiom, 

+ (hasType(type_OrganizationOfNations, inst_InternationalTelecommunicationUnion))).

+

+fof(axGovernment216, axiom, 

+ (hasType(type_OrganizationOfNations, inst_IslamicDevelopmentBank))).

+

+fof(axGovernment217, axiom, 

+ (hasType(type_FormOfGovernment, inst_IslamicGovernment))).

+

+fof(axGovernment218, axiom, 

+ (hasType(type_LegalSystemAttribute, inst_IslamicLaw))).

+

+fof(axGovernment219, axiom, 

+ (hasType(type_Position, inst_JudgeAtLaw))).

+

+fof(axGovernment220, axiom, 

+ (hasType(type_LegalSystemAttribute, inst_JudicialReviewOfExecutiveActs))).

+

+fof(axGovernment221, axiom, 

+ (hasType(type_LegalSystemAttribute, inst_JudicialReviewOfLegislativeActs))).

+

+fof(axGovernment222, axiom, 

+ (hasType(type_AreaOfConcern, inst_JusticeIssues))).

+

+fof(axGovernment223, axiom, 

+ (hasType(type_AreaOfConcern, inst_LaborIssues))).

+

+fof(axGovernment224, axiom, 

+ (hasType(type_OrganizationOfNations, inst_LatinAmericanEconomicSystem))).

+

+fof(axGovernment225, axiom, 

+ (hasType(type_OrganizationOfNations, inst_LatinAmericanIntegrationAssociation))).

+

+fof(axGovernment226, axiom, 

+ (hasType(type_Position, inst_Leader))).

+

+fof(axGovernment227, axiom, 

+ (hasType(type_MemberStatus, inst_MembershipApplicant))).

+

+fof(axGovernment228, axiom, 

+ (hasType(type_MemberStatus, inst_MembershipPending))).

+

+fof(axGovernment229, axiom, 

+ (hasType(type_Position, inst_MilitaryCommander))).

+

+fof(axGovernment230, axiom, 

+ (hasType(type_TransnationalIssue, inst_MilitaryCooperation))).

+

+fof(axGovernment231, axiom, 

+ (hasType(type_FormOfGovernment, inst_MilitaryDictatorship))).

+

+fof(axGovernment232, axiom, 

+ (hasType(type_Position, inst_Monarch))).

+

+fof(axGovernment233, axiom, 

+ (hasType(type_FormOfGovernment, inst_Monarchy))).

+

+fof(axGovernment234, axiom, 

+ (hasType(type_OrganizationOfNations, inst_MonetaryAndEconomicCommunityOfCentralAfrica))).

+

+fof(axGovernment235, axiom, 

+ (hasType(type_InternationalOrganization, inst_MulitlateralInvestmentGeographicAgency))).

+

+fof(axGovernment236, axiom, 

+ (hasType(type_FormOfGovernment, inst_MultipartyDemocracy))).

+

+fof(axGovernment237, axiom, 

+ (hasType(type_LegalSystemAttribute, inst_NapoleonicCode))).

+

+fof(axGovernment238, axiom, 

+ (hasType(type_Position, inst_NationalCommitteeChairman))).

+

+fof(axGovernment239, axiom, 

+ (hasType(type_OrganizationOfNations, inst_NonalignedMovement))).

+

+fof(axGovernment240, axiom, 

+ (hasType(type_MemberStatus, inst_NonpermanentStatus))).

+

+fof(axGovernment241, axiom, 

+ (hasType(type_MemberStatus, inst_NonregionalMember))).

+

+fof(axGovernment242, axiom, 

+ (hasType(type_MemberStatus, inst_NonstateParticipant))).

+

+fof(axGovernment243, axiom, 

+ (hasType(type_OrganizationOfNations, inst_NordicCouncil))).

+

+fof(axGovernment244, axiom, 

+ (hasType(type_OrganizationOfNations, inst_NordicInvestmentBank))).

+

+fof(axGovernment245, axiom, 

+ (hasType(type_OrganizationOfNations, inst_NorthAtlanticTreatyOrganization))).

+

+fof(axGovernment246, axiom, 

+ (hasType(type_OrganizationOfNations, inst_NuclearEnergyAgency))).

+

+fof(axGovernment247, axiom, 

+ (hasType(type_OrganizationOfNations, inst_NuclearSuppliersGroup))).

+

+fof(axGovernment248, axiom, 

+ (hasType(type_AreaOfConcern, inst_ObservationAndMonitoring))).

+

+fof(axGovernment249, axiom, 

+ (hasType(type_MemberStatus, inst_ObserverStatus))).

+

+fof(axGovernment250, axiom, 

+ (hasType(type_OrganizationOfNations, inst_OrganizationForEconomicCooperationAndDevelopment))).

+

+fof(axGovernment251, axiom, 

+ (hasType(type_OrganizationOfNations, inst_OrganizationForSecurityAndCooperationInEurope))).

+

+fof(axGovernment252, axiom, 

+ (hasType(type_OrganizationOfNations, inst_OrganizationForTheProhibitionOfChemicalWeapons))).

+

+fof(axGovernment253, axiom, 

+ (hasType(type_OrganizationOfNations, inst_OrganizationOfAfricanUnity))).

+

+fof(axGovernment254, axiom, 

+ (hasType(type_OrganizationOfNations, inst_OrganizationOfAmericanStates))).

+

+fof(axGovernment255, axiom, 

+ (hasType(type_OrganizationOfNations, inst_OrganizationOfArabPetroleumExportingCountries))).

+

+fof(axGovernment256, axiom, 

+ (hasType(type_OrganizationOfNations, inst_OrganizationOfEasternCaribbeanStates))).

+

+fof(axGovernment257, axiom, 

+ (hasType(type_OrganizationOfNations, inst_OrganizationOfPetroleumExportingCountries))).

+

+fof(axGovernment258, axiom, 

+ (hasType(type_OrganizationOfNations, inst_OrganizationOfTheIslamicConference))).

+

+fof(axGovernment259, axiom, 

+ (hasType(type_OrganizationOfNations, inst_PacificCommunity))).

+

+fof(axGovernment260, axiom, 

+ (hasType(type_OrganizationOfNations, inst_PacificIslandForum))).

+

+fof(axGovernment261, axiom, 

+ (hasType(type_FormOfGovernment, inst_ParliamentaryDemocracy))).

+

+fof(axGovernment262, axiom, 

+ (hasType(type_FormOfGovernment, inst_ParliamentaryDemocraticRepublic))).

+

+fof(axGovernment263, axiom, 

+ (hasType(type_FormOfGovernment, inst_ParliamentaryGovernment))).

+

+fof(axGovernment264, axiom, 

+ (hasType(type_FormOfGovernment, inst_ParliamentaryRepublic))).

+

+fof(axGovernment265, axiom, 

+ (hasType(type_MemberStatus, inst_PartIIMember))).

+

+fof(axGovernment266, axiom, 

+ (hasType(type_MemberStatus, inst_PartIMember))).

+

+fof(axGovernment267, axiom, 

+ (hasType(type_MemberStatus, inst_PartnersForCooperation))).

+

+fof(axGovernment268, axiom, 

+ (hasType(type_OrganizationOfNations, inst_PartnershipForPeace))).

+

+fof(axGovernment269, axiom, 

+ (hasType(type_OrganizationOfNations, inst_PermanentCourtOfArbitration))).

+

+fof(axGovernment270, axiom, 

+ (hasType(type_Position, inst_PermanentRepresentative))).

+

+fof(axGovernment271, axiom, 

+ (hasType(type_MemberStatus, inst_PermanentStatus))).

+

+fof(axGovernment272, axiom, 

+ (hasType(type_AreaOfConcern, inst_PoliticalCooperation))).

+

+fof(axGovernment273, axiom, 

+ (hasType(type_Position, inst_President))).

+

+fof(axGovernment274, axiom, 

+ (hasType(type_FormOfGovernment, inst_PresidentialGovernment))).

+

+fof(axGovernment275, axiom, 

+ (hasType(type_Position, inst_PrimeMinister))).

+

+fof(axGovernment276, axiom, 

+ (hasType(type_AreaOfConcern, inst_PromotePrivateEnterprise))).

+

+fof(axGovernment277, axiom, 

+ (hasType(type_TransnationalIssue, inst_PromoteRegionalStability))).

+

+fof(axGovernment278, axiom, 

+ (hasType(type_AreaOfConcern, inst_PublicHealthConcern))).

+

+fof(axGovernment279, axiom, 

+ (hasType(type_AreaOfConcern, inst_ReducingCrime))).

+

+fof(axGovernment280, axiom, 

+ (hasType(type_MemberStatus, inst_RegionalMember))).

+

+fof(axGovernment281, axiom, 

+ (hasType(type_AreaOfConcern, inst_RegionalSecurity))).

+

+fof(axGovernment282, axiom, 

+ (hasType(type_FormOfGovernment, inst_Republic))).

+

+fof(axGovernment283, axiom, 

+ (hasType(type_OrganizationOfNations, inst_RioGroup))).

+

+fof(axGovernment284, axiom, 

+ (hasType(type_LegalSystemAttribute, inst_RomanCanonLaw))).

+

+fof(axGovernment285, axiom, 

+ (hasType(type_AreaOfConcern, inst_ScientificCooperation))).

+

+fof(axGovernment286, axiom, 

+ (hasType(type_MemberStatus, inst_SignatoryMember))).

+

+fof(axGovernment287, axiom, 

+ (hasType(type_TransnationalIssue, inst_SocialCooperation))).

+

+fof(axGovernment288, axiom, 

+ (hasType(type_AreaOfConcern, inst_SocialDevelopment))).

+

+fof(axGovernment289, axiom, 

+ (hasType(type_AreaOfConcern, inst_SocioeconomicResearch))).

+

+fof(axGovernment290, axiom, 

+ (hasType(type_OrganizationOfNations, inst_SouthAsianAssociationForRegionalCooperation))).

+

+fof(axGovernment291, axiom, 

+ (hasType(type_OrganizationOfNations, inst_SouthPacificRegionalTradeAndEconomicCooperationAgreement))).

+

+fof(axGovernment292, axiom, 

+ (hasType(type_OrganizationOfNations, inst_SouthernAfricanCustomsUnion))).

+

+fof(axGovernment293, axiom, 

+ (hasType(type_OrganizationOfNations, inst_SouthernAfricanDevelopmentCommunity))).

+

+fof(axGovernment294, axiom, 

+ (hasType(type_OrganizationOfNations, inst_SouthernConeCommonMarket))).

+

+fof(axGovernment295, axiom, 

+ (hasType(type_AreaOfConcern, inst_SpaceResearchAndTechnology))).

+

+fof(axGovernment296, axiom, 

+ (hasType(type_Position, inst_Spokesperson))).

+

+fof(axGovernment297, axiom, 

+ (hasType(type_InternationalOrganization, inst_StatisticalCommission))).

+

+fof(axGovernment298, axiom, 

+ (hasType(type_MemberStatus, inst_SubbureauMember))).

+

+fof(axGovernment299, axiom, 

+ (hasType(type_MemberStatus, inst_SubscriberMember))).

+

+fof(axGovernment300, axiom, 

+ (hasType(type_Position, inst_SupremeCourtJudge))).

+

+fof(axGovernment301, axiom, 

+ (hasType(type_MemberStatus, inst_SuspendedMember))).

+

+fof(axGovernment302, axiom, 

+ (hasType(type_AreaOfConcern, inst_TechnologyCooperation))).

+

+fof(axGovernment303, axiom, 

+ (hasType(type_FormOfGovernment, inst_TheocraticGovernment))).

+

+fof(axGovernment304, axiom, 

+ (hasType(type_FormOfGovernment, inst_TheocraticRepublic))).

+

+fof(axGovernment305, axiom, 

+ (hasType(type_FormOfGovernment, inst_TransitionalGovernment))).

+

+fof(axGovernment306, axiom, 

+ (hasType(type_Government, inst_USStateDepartment))).

+

+fof(axGovernment307, axiom, 

+ (hasType(type_FormOfGovernment, inst_UnicameralLegislature))).

+

+fof(axGovernment308, axiom, 

+ (hasType(type_FormOfGovernment, inst_UnitaryRule))).

+

+fof(axGovernment309, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNations))).

+

+fof(axGovernment310, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsCenterForHumanSettlements))).

+

+fof(axGovernment311, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsChildrensFund))).

+

+fof(axGovernment312, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsCivilianPoliceMissionInHaiti))).

+

+fof(axGovernment313, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsCompensationCommission))).

+

+fof(axGovernment314, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsConferenceOnTradeAndDevelopment))).

+

+fof(axGovernment315, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsDevelopmentProgram))).

+

+fof(axGovernment316, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsDisengagementObserverForce))).

+

+fof(axGovernment317, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsEducationalScientificAndCulturalOrganization))).

+

+fof(axGovernment318, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsEnvironmentProgram))).

+

+fof(axGovernment319, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsGeneralAssembly))).

+

+fof(axGovernment320, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsHighCommissionerForHumanRights))).

+

+fof(axGovernment321, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsHighCommissionerForRefugees))).

+

+fof(axGovernment322, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsIndustrialDevelopmentOrganization))).

+

+fof(axGovernment323, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsInstituteForDisarmamentResearch))).

+

+fof(axGovernment324, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsInstituteForTrainingAndResearch))).

+

+fof(axGovernment325, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsInterimAdministrationMissionInKosovo))).

+

+fof(axGovernment326, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsInterimAdminstrationMissionInKosovo))).

+

+fof(axGovernment327, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsInterimForceInLebanon))).

+

+fof(axGovernment328, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsInterregionalCrimeAndJusticeResearchInstitute))).

+

+fof(axGovernment329, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsIraqKuwaitBoundaryDemarcationCommission))).

+

+fof(axGovernment330, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsIraqKuwaitObservationMission))).

+

+fof(axGovernment331, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsMilitaryObserverGroupInIndiaAndPakistan))).

+

+fof(axGovernment332, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsMissionForTheReferendumInWesternSahara))).

+

+fof(axGovernment333, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsMissionInBosniaAndHerzegovina))).

+

+fof(axGovernment334, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsMissionInEthiopiaAndEritrea))).

+

+fof(axGovernment335, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsMissionInSierraLeone))).

+

+fof(axGovernment336, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsMissionOfObserversInPrevlaka))).

+

+fof(axGovernment337, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsMissionOfObserversInTajikistan))).

+

+fof(axGovernment338, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsMonitoringAndVerificationCommission))).

+

+fof(axGovernment339, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsObserverMissionInGeorgia))).

+

+fof(axGovernment340, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsOfficeOfProjectServices))).

+

+fof(axGovernment341, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsOrganizationMissionInTheDemocraticRepublicOfTheCongo))).

+

+fof(axGovernment342, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsPeaceKeepingForceInCyprus))).

+

+fof(axGovernment343, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsPopulationFund))).

+

+fof(axGovernment344, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsPreventiveDeploymentForce))).

+

+fof(axGovernment345, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast))).

+

+fof(axGovernment346, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsResearchInstituteForSocialDevelopment))).

+

+fof(axGovernment347, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsSecretariat))).

+

+fof(axGovernment348, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsSecurityCouncil))).

+

+fof(axGovernment349, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsSystemStaffCollege))).

+

+fof(axGovernment350, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsTransitionalAdministrationInEastTimor))).

+

+fof(axGovernment351, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsTruceSupervisionOrganization))).

+

+fof(axGovernment352, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UnitedNationsTrusteeshipCouncil))).

+

+fof(axGovernment353, axiom, 

+ (hasType(type_InternationalOrganization, inst_UnitedNationsUniversity))).

+

+fof(axGovernment354, axiom, 

+ (hasType(type_GovernmentOrganization, inst_UnitedStatesDepartmentOfAgriculture))).

+

+fof(axGovernment355, axiom, 

+ (hasType(type_GovernmentOrganization, inst_UnitedStatesDepartmentOfDefense))).

+

+fof(axGovernment356, axiom, 

+ (hasType(type_LegislativeOrganization, inst_UnitedStatesHouseOfRepresentatives))).

+

+fof(axGovernment357, axiom, 

+ (hasType(type_GovernmentOrganization, inst_UnitedStatesPostalService))).

+

+fof(axGovernment358, axiom, 

+ (hasType(type_LegislativeOrganization, inst_UnitedStatesSenate))).

+

+fof(axGovernment359, axiom, 

+ (hasType(type_OrganizationOfNations, inst_UniversalPostalUnion))).

+

+fof(axGovernment360, axiom, 

+ (hasType(type_SuffrageLaw, inst_UniversalSuffrageLaw))).

+

+fof(axGovernment361, axiom, 

+ (hasType(type_Position, inst_ViceChairman))).

+

+fof(axGovernment362, axiom, 

+ (hasType(type_Position, inst_VicePresident))).

+

+fof(axGovernment363, axiom, 

+ (hasType(type_SuffrageLaw, inst_VoterCitizenshipRequirement))).

+

+fof(axGovernment364, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WarsawPact))).

+

+fof(axGovernment365, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WassenaarArrangement))).

+

+fof(axGovernment366, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WestAfricanDevelopmentBank))).

+

+fof(axGovernment367, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WestAfricanEconomicAndMonetaryUnion))).

+

+fof(axGovernment368, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WesternEuropeanUnion))).

+

+fof(axGovernment369, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldBankGroup))).

+

+fof(axGovernment370, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldConfederationOfLabor))).

+

+fof(axGovernment371, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldCustomsOrganization))).

+

+fof(axGovernment372, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldFederationOfTradeUnions))).

+

+fof(axGovernment373, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldFoodProgram))).

+

+fof(axGovernment374, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldHealthOrganization))).

+

+fof(axGovernment375, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldIntellectualPropertyOrganization))).

+

+fof(axGovernment376, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldMeteorologicalOrganization))).

+

+fof(axGovernment377, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldTourismOrganization))).

+

+fof(axGovernment378, axiom, 

+ (hasType(type_OrganizationOfNations, inst_WorldTradeOrganization))).

+

+fof(axGovernment379, axiom, 

+ (hasType(type_OrganizationOfNations, inst_ZanggerCommittee))).

+

+fof(axGovernment380, axiom, 

+ (hasType(type_InternationalOrganization, inst_InternationalCourtOfJustice) & hasType(type_JudicialOrganization, inst_InternationalCourtOfJustice))).

+

+fof(axGovernment381, axiom, 

+ (hasType(type_AreaOfConcern, inst_InternationalJustice) & hasType(type_TransnationalIssue, inst_InternationalJustice))).

+

+fof(axGovernment382, axiom, 

+ (hasType(type_GovernmentOrganization, inst_USCustomsAndBorderProtection) & hasType(type_PoliceOrganization, inst_USCustomsAndBorderProtection))).

+

+fof(axGovernment383, axiom, 

+ (hasType(type_FormOfGovernment, inst_AbsoluteMonarchy))).

+

+fof(axGovernment384, axiom, 

+ (hasType(type_FormOfGovernment, inst_ConstitutionalDemocracy))).

+

+fof(axGovernment385, axiom, 

+ (hasType(type_Position, inst_Queen))).

+

+fof(axGovernment386, axiom, 

+ (hasType(type_Position, inst_King))).

+

+fof(axGovernment387, axiom, 

+ (hasType(type_AreaOfConcern, inst_TransitionalAdministration) & hasType(type_TransnationalIssue, inst_TransitionalAdministration))).

+

+fof(axGovernment388, axiom, 

+ (hasType(type_TransnationalIssue, inst_PeacekeepingOperation) & hasType(type_AreaOfConcern, inst_PeacekeepingOperation))).

+

+fof(axGovernment389, axiom, 

+ (hasType(type_TransnationalIssue, inst_EmigrationAndImmigrationIssues) & hasType(type_AreaOfConcern, inst_EmigrationAndImmigrationIssues))).

+

+fof(axGovernment390, axiom, 

+ (hasType(type_AreaOfConcern, inst_WeaponsInspection) & hasType(type_TransnationalIssue, inst_WeaponsInspection))).

+

+fof(axGovernment391, axiom, 

+ (hasType(type_TransnationalIssue, inst_ConventionalArmsControl))).

+

+fof(axGovernment392, axiom, 

+ (hasType(type_TransnationalIssue, inst_ControlWeaponsOfMassDestruction))).

+

+fof(axGovernment393, axiom, 

+ (hasType(type_TransnationalIssue, inst_ControlNuclearWeapons))).

+

+fof(axGovernment394, axiom, 

+ (hasType(type_TransnationalIssue, inst_NuclearNonproliferation))).

+

+fof(axGovernment395, axiom, 

+ (hasType(type_TransnationalIssue, inst_NuclearExportControls))).

+

+fof(axGovernment396, axiom, 

+ (hasType(type_TransnationalIssue, inst_NuclearDisarmament))).

+

+fof(axGovernment397, axiom, 

+ (hasType(type_TransnationalIssue, inst_ControlBiologicalAndChemicalWeapons))).

+

+fof(axGovernment398, axiom, 

+ (hasType(type_TransnationalIssue, inst_CBWExportControls))).

+

+fof(axGovernment399, axiom, 

+ (hasType(type_TransnationalIssue, inst_EliminateChemicalWeapons))).

+

+fof(axGovernment400, axiom, 

+ (hasType(type_AreaOfConcern, inst_CrimePrevention))).

+

+fof(axGovernment401, axiom, 

+ (hasType(type_AreaOfConcern, inst_SupportLawEnforcement))).

+

+fof(axGovernment402, axiom, 

+ (hasType(type_AreaOfConcern, inst_CivilPoliceTraining))).

+

+fof(axGovernment403, axiom, 

+ (hasType(type_TransnationalIssue, inst_EconomicIntegration))).

+

+fof(axGovernment404, axiom, 

+ (hasType(type_TransnationalIssue, inst_EconomicPolicyCoordination))).

+

+fof(axGovernment405, axiom, 

+ (hasType(type_TransnationalIssue, inst_CoordinateCreditPolicy))).

+

+fof(axGovernment406, axiom, 

+ (hasType(type_TransnationalIssue, inst_FinancialCooperation))).

+

+fof(axGovernment407, axiom, 

+ (hasType(type_TransnationalIssue, inst_MonetaryUnion))).

+

+fof(axGovernment408, axiom, 

+ (hasType(type_TransnationalIssue, inst_EnergyCooperation) & hasType(type_AreaOfConcern, inst_EnergyCooperation))).

+

+fof(axGovernment409, axiom, 

+ (hasType(type_TransnationalIssue, inst_EnvironmentalCooperation))).

+

+fof(axGovernment410, axiom, 

+ (hasType(type_TransnationalIssue, inst_PeacefulUseOfAtomicPower))).

+

+fof(axGovernment411, axiom, 

+ (hasType(type_AreaOfConcern, inst_TransportationCoordination))).

+

+fof(axGovernment412, axiom, 

+ (hasType(type_AreaOfConcern, inst_CooperationInCivilAviation))).

+

+fof(axGovernment413, axiom, 

+ (hasType(type_AreaOfConcern, inst_InformationStandards))).

+

+fof(axGovernment414, axiom, 

+ (hasType(type_AreaOfConcern, inst_IndustryStandards))).

+

+fof(axGovernment415, axiom, 

+ (hasType(type_AreaOfConcern, inst_CommunicationsCoordination))).

+

+fof(axGovernment416, axiom, 

+ (hasType(type_AreaOfConcern, inst_IntellectualPropertyProtection))).

+

+fof(axGovernment417, axiom, 

+ (hasType(type_AreaOfConcern, inst_InternationalMaritimeAffairs))).

+

+fof(axGovernment418, axiom, 

+ (hasType(type_AreaOfConcern, inst_AgriculturalDevelopment))).

+

+fof(axGovernment419, axiom, 

+ (hasType(type_AreaOfConcern, inst_PromotionOfPrivateEnterprise))).

+

+fof(axGovernment420, axiom, 

+ (hasType(type_AreaOfConcern, inst_PromotionOfTourism))).

+

+fof(axGovernment421, axiom, 

+ (hasType(type_TransnationalIssue, inst_InternationalTradeSupport))).

+

+fof(axGovernment422, axiom, 

+ (hasType(type_TransnationalIssue, inst_PromotionOfTradeAndInvestment))).

+

+fof(axGovernment423, axiom, 

+ (hasType(type_TransnationalIssue, inst_PromotionOfFreeTrade))).

+

+fof(axGovernment424, axiom, 

+ (hasType(type_TransnationalIssue, inst_EfficientCustomsAdministration) & hasType(type_AreaOfConcern, inst_EfficientCustomsAdministration))).

+

+fof(axGovernment425, axiom, 

+ (hasType(type_AreaOfConcern, inst_MonetaryStability))).

+

+fof(axGovernment426, axiom, 

+ (hasType(type_AreaOfConcern, inst_ReducePoverty))).

+

+fof(axGovernment427, axiom, 

+ (hasType(type_AreaOfConcern, inst_PromoteSustainableDevelopment))).

+

+fof(axGovernment428, axiom, 

+ (hasType(type_AreaOfConcern, inst_PromoteTradeUnionism))).

+

+fof(axGovernment429, axiom, 

+ (hasType(type_AreaOfConcern, inst_WorldLaborIssues) & hasType(type_TransnationalIssue, inst_WorldLaborIssues))).

+

+fof(axGovernment430, axiom, 

+ (hasType(type_TransnationalIssue, inst_MutualDefensePact))).

+

+fof(axGovernment431, axiom, 

+ (hasType(type_AreaOfConcern, inst_PoliticalIntegration))).

+

+fof(axGovernment432, axiom, 

+ (hasType(type_AreaOfConcern, inst_PoliticalDevelopment))).

+

+fof(axGovernment433, axiom, 

+ (hasType(type_AreaOfConcern, inst_WarCrimesProsecution) & hasType(type_TransnationalIssue, inst_WarCrimesProsecution))).

+

+fof(axGovernment434, axiom, 

+ (hasType(type_AreaOfConcern, inst_CompensationAndReparation))).

+

+fof(axGovernment435, axiom, 

+ (hasType(type_AreaOfConcern, inst_GenderEquality))).

+

+fof(axGovernment436, axiom, 

+ (hasType(type_TransnationalIssue, inst_CulturalCooperation))).

+

+fof(axGovernment437, axiom, 

+ (hasType(type_TransnationalIssue, inst_OrganizeOlympicGames))).

+

+fof(axGovernment438, axiom, 

+ (hasType(type_TransnationalIssue, inst_EducationalCooperation) & hasType(type_AreaOfConcern, inst_EducationalCooperation))).

+

+fof(axGovernment439, axiom, 

+ (hasType(type_TransnationalIssue, inst_HumanRightsIssues))).

+

+fof(axGovernment440, axiom, 

+ (hasType(type_TransnationalIssue, inst_HumanitarianAid))).

+

+fof(axGovernment441, axiom, 

+ (hasType(type_TransnationalIssue, inst_FoodAid))).

+

+fof(axGovernment442, axiom, 

+ (hasType(type_TransnationalIssue, inst_RefugeeAssistance) & hasType(type_AreaOfConcern, inst_RefugeeAssistance))).

+

+fof(axGovernment443, axiom, 

+ (hasType(type_AreaOfConcern, inst_ChildHealthServices))).

+

+fof(axGovernment444, axiom, 

+ (hasType(type_AreaOfConcern, inst_ReproductiveHealthAndFamilyPlannning))).

+

+fof(axGovernment445, axiom, 

+ (hasType(type_AreaOfConcern, inst_PopulationPolicySupport))).

+

+fof(axGovernment446, axiom, 

+ (hasType(type_AreaOfConcern, inst_ImproveHumanSettlementConditions))).

+

+fof(axGovernment447, axiom, 

+ (hasType(type_ForeignServicePosition, inst_Ambassador))).

+

+fof(axGovernment448, axiom, 

+ (hasType(type_ForeignServicePosition, inst_ConsulGeneral))).

+

+fof(axGovernment449, axiom, 

+ (hasType(type_ForeignServicePosition, inst_Consul))).

+

+fof(axGovernment450, axiom, 

+ (hasType(type_ForeignServicePosition, inst_ChargeDAffaires))).

+

+fof(axGovernment451, axiom, 

+ (hasType(type_ForeignServicePosition, inst_PermanentChargeDAffaires))).

+

+fof(axGovernment452, axiom, 

+ (hasType(type_ForeignServicePosition, inst_ActingConsulGeneral))).

+

+fof(axGovernment453, axiom, 

+ (hasType(type_ForeignServicePosition, inst_PrincipalOfficer))).

+