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