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

1 files changed, 0 insertions, 378 deletions

diff --git a/examples/SUMO/TPTP/GovernmentSubAttAx.p b/examples/SUMO/TPTP/GovernmentSubAttAx.p
deleted file mode 100644
index c9eb2644b..000000000
--- a/examples/SUMO/TPTP/GovernmentSubAttAx.p
+++ /dev/null
@@ -1,378 +0,0 @@
-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)).

-