gf-3.1.6: examples/SUMO/TPTP/GovernmentSubAttAx.p

fof(axGovSubAtt0, axiom, 
 f_subAttribute(inst_HereditaryMonarchy,inst_Monarchy)).

fof(axGovSubAtt1, axiom, 
 f_subAttribute(inst_Chiefdom,inst_Monarchy)).

fof(axGovSubAtt2, axiom, 
 f_subAttribute(inst_ConstitutionalMonarchy,inst_Monarchy)).

fof(axGovSubAtt3, axiom, 
 f_subAttribute(inst_AbsoluteMonarchy,inst_Monarchy)).

fof(axGovSubAtt4, axiom, 
 f_subAttribute(inst_ParliamentaryRepublic,inst_ParliamentaryGovernment)).

fof(axGovSubAtt5, axiom, 
 f_subAttribute(inst_ParliamentaryDemocracy,inst_ParliamentaryGovernment)).

fof(axGovSubAtt6, axiom, 
 f_subAttribute(inst_FederalParliamentaryDemocracy,inst_ParliamentaryGovernment)).

fof(axGovSubAtt7, axiom, 
 f_subAttribute(inst_ConstitutionalParliamentaryDemocracy,inst_ParliamentaryGovernment)).

fof(axGovSubAtt8, axiom, 
 f_subAttribute(inst_FederalRepublic,inst_FederalGovernment)).

fof(axGovSubAtt9, axiom, 
 f_subAttribute(inst_FederalDemocraticRepublic,inst_FederalGovernment)).

fof(axGovSubAtt10, axiom, 
 f_subAttribute(inst_FederalParliamentaryDemocracy,inst_FederalGovernment)).

fof(axGovSubAtt11, axiom, 
 f_subAttribute(inst_Federation,inst_FederalGovernment)).

fof(axGovSubAtt12, axiom, 
 f_subAttribute(inst_ConstitutionalRepublic,inst_Republic)).

fof(axGovSubAtt13, axiom, 
 f_subAttribute(inst_ConstitutionalDemocraticRepublic,inst_Republic)).

fof(axGovSubAtt14, axiom, 
 f_subAttribute(inst_FederalRepublic,inst_Republic)).

fof(axGovSubAtt15, axiom, 
 f_subAttribute(inst_ParliamentaryRepublic,inst_Republic)).

fof(axGovSubAtt16, axiom, 
 f_subAttribute(inst_ParliamentaryDemocraticRepublic,inst_Republic)).

fof(axGovSubAtt17, axiom, 
 f_subAttribute(inst_FederalDemocraticRepublic,inst_Republic)).

fof(axGovSubAtt18, axiom, 
 f_subAttribute(inst_FederalDemocraticRepublic,inst_Democracy)).

fof(axGovSubAtt19, axiom, 
 f_subAttribute(inst_ParliamentaryDemocracy,inst_Democracy)).

fof(axGovSubAtt20, axiom, 
 f_subAttribute(inst_ParliamentaryDemocraticRepublic,inst_Democracy)).

fof(axGovSubAtt21, axiom, 
 f_subAttribute(inst_FederalParliamentaryDemocracy,inst_Democracy)).

fof(axGovSubAtt22, axiom, 
 f_subAttribute(inst_ConstitutionalParliamentaryDemocracy,inst_Democracy)).

fof(axGovSubAtt23, axiom, 
 f_subAttribute(inst_ConstitutionalDemocraticRepublic,inst_Democracy)).

fof(axGovSubAtt24, axiom, 
 f_subAttribute(inst_MultipartyDemocracy,inst_Democracy)).

fof(axGovSubAtt25, axiom, 
 f_subAttribute(inst_EmergingDemocracy,inst_Democracy)).

fof(axGovSubAtt26, axiom, 
 f_subAttribute(inst_ConstitutionalDemocracy,inst_ConstitutionalGovernment)).

fof(axGovSubAtt27, axiom, 
 f_subAttribute(inst_ConstitutionalMonarchy,inst_ConstitutionalGovernment)).

fof(axGovSubAtt28, axiom, 
 f_subAttribute(inst_ConstitutionalParliamentaryDemocracy,inst_ConstitutionalDemocracy)).

fof(axGovSubAtt29, axiom, 
 f_subAttribute(inst_ConstitutionalRepublic,inst_ConstitutionalGovernment)).

fof(axGovSubAtt30, axiom, 
 f_subAttribute(inst_Dictatorship,inst_AuthoritarianRegime)).

fof(axGovSubAtt31, axiom, 
 f_subAttribute(inst_MilitaryDictatorship,inst_Dictatorship)).

fof(axGovSubAtt32, axiom, 
 f_subAttribute(inst_AbsoluteMonarchy,inst_AuthoritarianRegime)).

fof(axGovSubAtt33, axiom, 
 f_subAttribute(inst_CommunistState,inst_AuthoritarianRegime)).

fof(axGovSubAtt34, axiom, 
 f_subAttribute(inst_AuthoritarianSocialist,inst_AuthoritarianRegime)).

fof(axGovSubAtt35, axiom, 
 f_subAttribute(inst_TheocraticGovernment,inst_AuthoritarianRegime)).

fof(axGovSubAtt36, axiom, 
 f_subAttribute(inst_TheocraticRepublic,inst_TheocraticGovernment)).

fof(axGovSubAtt37, axiom, 
 f_subAttribute(inst_EcclesiasticalGovernment,inst_TheocraticGovernment)).

fof(axGovSubAtt38, axiom, 
 f_subAttribute(inst_IslamicGovernment,inst_TheocraticGovernment)).

fof(axGovSubAtt39, axiom, 
 f_subAttribute(inst_EmergingDemocracy,inst_TransitionalGovernment)).

fof(axGovSubAtt40, axiom, 
 f_subAttribute(inst_Factionalism,inst_TransitionalGovernment)).

fof(axGovSubAtt41, axiom, 
 f_subAttribute(inst_NapoleonicCode,inst_CivilLaw)).

fof(axGovSubAtt42, axiom, 
 f_subAttribute(inst_Queen,inst_Monarch)).

fof(axGovSubAtt43, axiom, 
 f_subAttribute(inst_King,inst_Monarch)).

fof(axGovSubAtt44, axiom, 
 f_subAttribute(inst_SupremeCourtJudge,inst_JudgeAtLaw)).

fof(axGovSubAtt45, axiom, 
 f_subAttribute(inst_TransitionalAdministration,inst_AdministrationAndManagement)).

fof(axGovSubAtt46, axiom, 
 f_subAttribute(inst_TransitionalAdministration,inst_PromoteRegionalStability)).

fof(axGovSubAtt47, axiom, 
 f_subAttribute(inst_PeacekeepingOperation,inst_PromoteRegionalStability)).

fof(axGovSubAtt48, axiom, 
 f_subAttribute(inst_EmigrationAndImmigrationIssues,inst_PromoteRegionalStability)).

fof(axGovSubAtt49, axiom, 
 f_subAttribute(inst_WeaponsInspection,inst_ObservationAndMonitoring)).

fof(axGovSubAtt50, axiom, 
 f_subAttribute(inst_WeaponsInspection,inst_ArmsControl)).

fof(axGovSubAtt51, axiom, 
 f_subAttribute(inst_ArmsControl,inst_InternationalPeaceAndSecurity)).

fof(axGovSubAtt52, axiom, 
 f_subAttribute(inst_ConventionalArmsControl,inst_ArmsControl)).

fof(axGovSubAtt53, axiom, 
 f_subAttribute(inst_ControlWeaponsOfMassDestruction,inst_ArmsControl)).

fof(axGovSubAtt54, axiom, 
 f_subAttribute(inst_ControlNuclearWeapons,inst_ControlWeaponsOfMassDestruction)).

fof(axGovSubAtt55, axiom, 
 f_subAttribute(inst_NuclearNonproliferation,inst_ControlWeaponsOfMassDestruction)).

fof(axGovSubAtt56, axiom, 
 f_subAttribute(inst_NuclearExportControls,inst_NuclearNonproliferation)).

fof(axGovSubAtt57, axiom, 
 f_subAttribute(inst_NuclearDisarmament,inst_NuclearNonproliferation)).

fof(axGovSubAtt58, axiom, 
 f_subAttribute(inst_ControlBiologicalAndChemicalWeapons,inst_ControlWeaponsOfMassDestruction)).

fof(axGovSubAtt59, axiom, 
 f_subAttribute(inst_CBWExportControls,inst_ControlBiologicalAndChemicalWeapons)).

fof(axGovSubAtt60, axiom, 
 f_subAttribute(inst_EliminateChemicalWeapons,inst_ControlBiologicalAndChemicalWeapons)).

fof(axGovSubAtt61, axiom, 
 f_subAttribute(inst_ReducingCrime,inst_SocialDevelopment)).

fof(axGovSubAtt62, axiom, 
 f_subAttribute(inst_CrimePrevention,inst_ReducingCrime)).

fof(axGovSubAtt63, axiom, 
 f_subAttribute(inst_SupportLawEnforcement,inst_ReducingCrime)).

fof(axGovSubAtt64, axiom, 
 f_subAttribute(inst_CivilPoliceTraining,inst_SupportLawEnforcement)).

fof(axGovSubAtt65, axiom, 
 f_subAttribute(inst_PeacekeepingOperation,inst_ReducingCrime)).

fof(axGovSubAtt66, axiom, 
 f_subAttribute(inst_EconomicIntegration,inst_EconomicCooperation)).

fof(axGovSubAtt67, axiom, 
 f_subAttribute(inst_EconomicPolicyCoordination,inst_EconomicCooperation)).

fof(axGovSubAtt68, axiom, 
 f_subAttribute(inst_CoordinateCreditPolicy,inst_EconomicPolicyCoordination)).

fof(axGovSubAtt69, axiom, 
 f_subAttribute(inst_FinancialCooperation,inst_EconomicCooperation)).

fof(axGovSubAtt70, axiom, 
 f_subAttribute(inst_MonetaryUnion,inst_FinancialCooperation)).

fof(axGovSubAtt71, axiom, 
 f_subAttribute(inst_EnergyCooperation,inst_EconomicCooperation)).

fof(axGovSubAtt72, axiom, 
 f_subAttribute(inst_EnvironmentalCooperation,inst_EnergyAndTheEnvironment)).

fof(axGovSubAtt73, axiom, 
 f_subAttribute(inst_EnergyCooperation,inst_EnergyAndTheEnvironment)).

fof(axGovSubAtt74, axiom, 
 f_subAttribute(inst_PeacefulUseOfAtomicPower,inst_EnergyAndTheEnvironment)).

fof(axGovSubAtt75, axiom, 
 f_subAttribute(inst_TransportationCoordination,inst_InfrastructureCooperation)).

fof(axGovSubAtt76, axiom, 
 f_subAttribute(inst_CooperationInCivilAviation,inst_TransportationCoordination)).

fof(axGovSubAtt77, axiom, 
 f_subAttribute(inst_EnergyCooperation,inst_InfrastructureCooperation)).

fof(axGovSubAtt78, axiom, 
 f_subAttribute(inst_InformationStandards,inst_InfrastructureCooperation)).

fof(axGovSubAtt79, axiom, 
 f_subAttribute(inst_IndustryStandards,inst_InfrastructureCooperation)).

fof(axGovSubAtt80, axiom, 
 f_subAttribute(inst_CommunicationsCoordination,inst_InfrastructureCooperation)).

fof(axGovSubAtt81, axiom, 
 f_subAttribute(inst_IntellectualPropertyProtection,inst_InfrastructureCooperation)).

fof(axGovSubAtt82, axiom, 
 f_subAttribute(inst_InternationalMaritimeAffairs,inst_InfrastructureCooperation)).

fof(axGovSubAtt83, axiom, 
 f_subAttribute(inst_AgriculturalDevelopment,inst_EconomicDevelopment)).

fof(axGovSubAtt84, axiom, 
 f_subAttribute(inst_PromotionOfPrivateEnterprise,inst_EconomicDevelopment)).

fof(axGovSubAtt85, axiom, 
 f_subAttribute(inst_PromotionOfTourism,inst_EconomicDevelopment)).

fof(axGovSubAtt86, axiom, 
 f_subAttribute(inst_PromotionOfTradeAndInvestment,inst_InternationalTradeSupport)).

fof(axGovSubAtt87, axiom, 
 f_subAttribute(inst_PromotionOfFreeTrade,inst_InternationalTradeSupport)).

fof(axGovSubAtt88, axiom, 
 f_subAttribute(inst_EfficientCustomsAdministration,inst_InternationalTradeSupport)).

fof(axGovSubAtt89, axiom, 
 f_subAttribute(inst_EfficientCustomsAdministration,inst_InfrastructureCooperation)).

fof(axGovSubAtt90, axiom, 
 f_subAttribute(inst_MonetaryStability,inst_EconomicDevelopment)).

fof(axGovSubAtt91, axiom, 
 f_subAttribute(inst_ReducePoverty,inst_EconomicDevelopment)).

fof(axGovSubAtt92, axiom, 
 f_subAttribute(inst_PromoteSustainableDevelopment,inst_EconomicDevelopment)).

fof(axGovSubAtt93, axiom, 
 f_subAttribute(inst_LaborIssues,inst_EconomicDevelopment)).

fof(axGovSubAtt94, axiom, 
 f_subAttribute(inst_PromoteTradeUnionism,inst_LaborIssues)).

fof(axGovSubAtt95, axiom, 
 f_subAttribute(inst_WorldLaborIssues,inst_LaborIssues)).

fof(axGovSubAtt96, axiom, 
 f_subAttribute(inst_MutualDefensePact,inst_MilitaryCooperation)).

fof(axGovSubAtt97, axiom, 
 f_subAttribute(inst_PoliticalIntegration,inst_PoliticalCooperation)).

fof(axGovSubAtt98, axiom, 
 f_subAttribute(inst_PoliticalDevelopment,inst_PoliticalCooperation)).

fof(axGovSubAtt99, axiom, 
 f_subAttribute(inst_WarCrimesProsecution,inst_InternationalJustice)).

fof(axGovSubAtt100, axiom, 
 f_subAttribute(inst_CompensationAndReparation,inst_JusticeIssues)).

fof(axGovSubAtt101, axiom, 
 f_subAttribute(inst_GenderEquality,inst_SocialDevelopment)).

fof(axGovSubAtt102, axiom, 
 f_subAttribute(inst_ReducePoverty,inst_SocialDevelopment)).

fof(axGovSubAtt103, axiom, 
 f_subAttribute(inst_PromoteSustainableDevelopment,inst_SocialDevelopment)).

fof(axGovSubAtt104, axiom, 
 f_subAttribute(inst_EmigrationAndImmigrationIssues,inst_SocialDevelopment)).

fof(axGovSubAtt105, axiom, 
 f_subAttribute(inst_PublicHealthConcern,inst_SocialDevelopment)).

fof(axGovSubAtt106, axiom, 
 f_subAttribute(inst_CulturalCooperation,inst_SocialCooperation)).

fof(axGovSubAtt107, axiom, 
 f_subAttribute(inst_OrganizeOlympicGames,inst_CulturalCooperation)).

fof(axGovSubAtt108, axiom, 
 f_subAttribute(inst_EducationalCooperation,inst_SocialCooperation)).

fof(axGovSubAtt109, axiom, 
 f_subAttribute(inst_HumanitarianAssistance,inst_SocialCooperation)).

fof(axGovSubAtt110, axiom, 
 f_subAttribute(inst_EducationalCooperation,inst_InformationCooperation)).

fof(axGovSubAtt111, axiom, 
 f_subAttribute(inst_HumanRightsIssues,inst_HumanitarianAssistance)).

fof(axGovSubAtt112, axiom, 
 f_subAttribute(inst_HumanitarianAid,inst_HumanitarianAssistance)).

fof(axGovSubAtt113, axiom, 
 f_subAttribute(inst_FoodAid,inst_HumanitarianAid)).

fof(axGovSubAtt114, axiom, 
 f_subAttribute(inst_RefugeeAssistance,inst_HumanitarianAssistance)).

fof(axGovSubAtt115, axiom, 
 f_subAttribute(inst_RefugeeAssistance,inst_EmigrationAndImmigrationIssues)).

fof(axGovSubAtt116, axiom, 
 f_subAttribute(inst_ChildHealthServices,inst_PublicHealthConcern)).

fof(axGovSubAtt117, axiom, 
 f_subAttribute(inst_ReproductiveHealthAndFamilyPlannning,inst_PublicHealthConcern)).

fof(axGovSubAtt118, axiom, 
 f_subAttribute(inst_PopulationPolicySupport,inst_ReproductiveHealthAndFamilyPlannning)).

fof(axGovSubAtt119, axiom, 
 f_subAttribute(inst_ImproveHumanSettlementConditions,inst_PublicHealthConcern)).

fof(axGovSubAtt120, axiom, 
 f_subAttribute(inst_Ambassador,inst_DiplomaticAgent)).

fof(axGovSubAtt121, axiom, 
 f_subAttribute(inst_ConsulGeneral,inst_DiplomaticAgent)).

fof(axGovSubAtt122, axiom, 
 f_subAttribute(inst_Consul,inst_DiplomaticAgent)).

fof(axGovSubAtt123, axiom, 
 f_subAttribute(inst_ChargeDAffaires,inst_DiplomaticAgent)).

fof(axGovSubAtt124, axiom, 
 f_subAttribute(inst_PermanentChargeDAffaires,inst_ChargeDAffaires)).

fof(axGovSubAtt125, axiom, 
 f_subAttribute(inst_ActingConsulGeneral,inst_ConsulGeneral)).