summaryrefslogtreecommitdiff
path: root/examples/SUMO/TPTP/GovernmentAx.p
diff options
context:
space:
mode:
Diffstat (limited to 'examples/SUMO/TPTP/GovernmentAx.p')
-rw-r--r--examples/SUMO/TPTP/GovernmentAx.p1402
1 files changed, 0 insertions, 1402 deletions
diff --git a/examples/SUMO/TPTP/GovernmentAx.p b/examples/SUMO/TPTP/GovernmentAx.p
deleted file mode 100644
index 79f708155..000000000
--- a/examples/SUMO/TPTP/GovernmentAx.p
+++ /dev/null
@@ -1,1402 +0,0 @@
-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))).
-
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 04:45:54 +0000