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, 231 deletions

diff --git a/examples/SUMO/TPTP/EconomySubAttAx.p b/examples/SUMO/TPTP/EconomySubAttAx.p
deleted file mode 100644
index 59ee48453..000000000
--- a/examples/SUMO/TPTP/EconomySubAttAx.p
+++ /dev/null
@@ -1,231 +0,0 @@
-fof(axEconomySubAtt0, axiom, 

- f_subAttribute(inst_AdvancedDevelopingCountry,inst_LessDevelopedCountry)).

-

-fof(axEconomySubAtt1, axiom, 

- f_subAttribute(inst_UnderdevelopedCountry,inst_LessDevelopedCountry)).

-

-fof(axEconomySubAtt2, axiom, 

- f_subAttribute(inst_LeastDevelopedCountry,inst_LessDevelopedCountry)).

-

-fof(axEconomySubAtt3, axiom, 

- f_subAttribute(inst_CapitalistEconomy,inst_PrivateEnterpriseEconomy)).

-

-fof(axEconomySubAtt4, axiom, 

- f_subAttribute(inst_PureCapitalistEconomy,inst_CapitalistEconomy)).

-

-fof(axEconomySubAtt5, axiom, 

- f_subAttribute(inst_PrivateEnterpriseEconomy,inst_CapitalistEconomy)).

-

-fof(axEconomySubAtt6, axiom, 

- f_subAttribute(inst_PureSocialistEconomy,inst_SocialistEconomy)).

-

-fof(axEconomySubAtt7, axiom, 

- f_subAttribute(inst_DemocraticSocialism,inst_SocialistEconomy)).

-

-fof(axEconomySubAtt8, axiom, 

- f_subAttribute(inst_MarketSocialism,inst_PartialMarketEconomy)).

-

-fof(axEconomySubAtt9, axiom, 

- f_subAttribute(inst_CommunalLandOwnershipEconomy,inst_SocialistEconomy)).

-

-fof(axEconomySubAtt10, axiom, 

- f_subAttribute(inst_PartialMarketEconomy,inst_MixedEconomy)).

-

-fof(axEconomySubAtt11, axiom, 

- f_subAttribute(inst_CentrallyPlannedEconomy,inst_GovernmentRegulatedEconomy)).

-

-fof(axEconomySubAtt12, axiom, 

- f_subAttribute(inst_PrivatizingEconomy,inst_MixedEconomy)).

-

-fof(axEconomySubAtt13, axiom, 

- f_subAttribute(inst_NationalizedIndustryEconomy,inst_GovernmentRegulatedEconomy)).

-

-fof(axEconomySubAtt14, axiom, 

- f_subAttribute(inst_WelfareCapitalism,inst_MixedEconomy)).

-

-fof(axEconomySubAtt15, axiom, 

- f_subAttribute(inst_WelfareCapitalism,inst_GovernmentSubsidizedEconomy)).

-

-fof(axEconomySubAtt16, axiom, 

- f_subAttribute(inst_SubsistenceAgricultureEconomy,inst_AgricultureBasedEconomy)).

-

-fof(axEconomySubAtt17, axiom, 

- f_subAttribute(inst_TaxHavenEconomy,inst_OffshoreFinancialSectorEconomy)).

-

-fof(axEconomySubAtt18, axiom, 

- f_subAttribute(inst_OffshoreBankingSectorEconomy,inst_OffshoreFinancialSectorEconomy)).

-

-fof(axEconomySubAtt19, axiom, 

- f_subAttribute(inst_AgricultureForestryFishingAndHunting,inst_AgriculturalSector)).

-

-fof(axEconomySubAtt20, axiom, 

- f_subAttribute(inst_CoalMining,inst_CoalIndustry)).

-

-fof(axEconomySubAtt21, axiom, 

- f_subAttribute(inst_CoalProductsManufacturing,inst_CoalIndustry)).

-

-fof(axEconomySubAtt22, axiom, 

- f_subAttribute(inst_CopperOreMining,inst_CopperIndustry)).

-

-fof(axEconomySubAtt23, axiom, 

- f_subAttribute(inst_PrimarySmeltingAndRefiningOfCopper,inst_CopperIndustry)).

-

-fof(axEconomySubAtt24, axiom, 

- f_subAttribute(inst_CopperRollingDrawingExtrudingAndAlloying,inst_CopperIndustry)).

-

-fof(axEconomySubAtt25, axiom, 

- f_subAttribute(inst_CopperFoundriesExceptDieCasting,inst_CopperIndustry)).

-

-fof(axEconomySubAtt26, axiom, 

- f_subAttribute(inst_FertilizerManufacturing,inst_FertilizerIndustry)).

-

-fof(axEconomySubAtt27, axiom, 

- f_subAttribute(inst_FertilizerMineralMining,inst_FertilizerIndustry)).

-

-fof(axEconomySubAtt28, axiom, 

- f_subAttribute(inst_FurnitureAndRelatedProductManufacturing,inst_FurnitureIndustry)).

-

-fof(axEconomySubAtt29, axiom, 

- f_subAttribute(inst_FurnitureAndHomeFurnishingWholesalers,inst_FurnitureIndustry)).

-

-fof(axEconomySubAtt30, axiom, 

- f_subAttribute(inst_FurnitureAndHomeFurnishingsStores,inst_FurnitureIndustry)).

-

-fof(axEconomySubAtt31, axiom, 

- f_subAttribute(inst_FurnitureManufacturing,inst_FurnitureAndRelatedProductManufacturing)).

-

-fof(axEconomySubAtt32, axiom, 

- f_subAttribute(inst_HandwovenCarpetManufacturing,inst_HandicraftIndustry)).

-

-fof(axEconomySubAtt33, axiom, 

- f_subAttribute(inst_LeadOreMining,inst_LeadIndustry)).

-

-fof(axEconomySubAtt34, axiom, 

- f_subAttribute(inst_LeadManufacturing,inst_LeadIndustry)).

-

-fof(axEconomySubAtt35, axiom, 

- f_subAttribute(inst_ForestryAndLogging,inst_LumberIndustry)).

-

-fof(axEconomySubAtt36, axiom, 

- f_subAttribute(inst_WoodProductManufacturing,inst_LumberIndustry)).

-

-fof(axEconomySubAtt37, axiom, 

- f_subAttribute(inst_Millwork,inst_LumberIndustry)).

-

-fof(axEconomySubAtt38, axiom, 

- f_subAttribute(inst_LumberPlywoodMillworkAndWoodPanelWholesalers,inst_LumberIndustry)).

-

-fof(axEconomySubAtt39, axiom, 

- f_subAttribute(inst_MiningExceptOilAndGas,inst_MiningIndustry)).

-

-fof(axEconomySubAtt40, axiom, 

- f_subAttribute(inst_SupportActivitiesForMetalMining,inst_MiningIndustry)).

-

-fof(axEconomySubAtt41, axiom, 

- f_subAttribute(inst_SupportActivitiesForNonmetallicMineralsExceptFuels,inst_MiningIndustry)).

-

-fof(axEconomySubAtt42, axiom, 

- f_subAttribute(inst_MotorVehicleManufacturing,inst_MotorVehicleIndustry)).

-

-fof(axEconomySubAtt43, axiom, 

- f_subAttribute(inst_MotorVehiclePartsManufacturing,inst_MotorVehicleIndustry)).

-

-fof(axEconomySubAtt44, axiom, 

- f_subAttribute(inst_MotorVehicleBodyAndTrailerManufacturing,inst_MotorVehicleIndustry)).

-

-fof(axEconomySubAtt45, axiom, 

- f_subAttribute(inst_MotorVehicleAndMotorVehiclePartsAndSuppliesWholesalers,inst_MotorVehicleIndustry)).

-

-fof(axEconomySubAtt46, axiom, 

- f_subAttribute(inst_MotorVehicleAndPartsDealers,inst_MotorVehicleIndustry)).

-

-fof(axEconomySubAtt47, axiom, 

- f_subAttribute(inst_NaturalGasLiquidExtraction,inst_NaturalGasIndustry)).

-

-fof(axEconomySubAtt48, axiom, 

- f_subAttribute(inst_NaturalGasDistribution,inst_NaturalGasIndustry)).

-

-fof(axEconomySubAtt49, axiom, 

- f_subAttribute(inst_PipelineTransportationOfNaturalGas,inst_NaturalGasIndustry)).

-

-fof(axEconomySubAtt50, axiom, 

- f_subAttribute(inst_PetroleumProductsManufacturing,inst_PetroleumIndustry)).

-

-fof(axEconomySubAtt51, axiom, 

- f_subAttribute(inst_PetroleumRefineries,inst_PetroleumIndustry)).

-

-fof(axEconomySubAtt52, axiom, 

- f_subAttribute(inst_CrudePetroleumExtraction,inst_PetroleumIndustry)).

-

-fof(axEconomySubAtt53, axiom, 

- f_subAttribute(inst_DrillingOilAndGasWells,inst_PetroleumIndustry)).

-

-fof(axEconomySubAtt54, axiom, 

- f_subAttribute(inst_SupportActivitiesForOilOperations,inst_PetroleumIndustry)).

-

-fof(axEconomySubAtt55, axiom, 

- f_subAttribute(inst_AsphaltPavingRoofingAndSaturatedMaterialsManufacturing,inst_PetroleumIndustry)).

-

-fof(axEconomySubAtt56, axiom, 

- f_subAttribute(inst_RefrigerationEquipmentManufacturing,inst_RefrigeratorAndFreezerIndustry)).

-

-fof(axEconomySubAtt57, axiom, 

- f_subAttribute(inst_RefrigerationEquipmentAndSuppliesWholesalers,inst_RefrigeratorAndFreezerIndustry)).

-

-fof(axEconomySubAtt58, axiom, 

- f_subAttribute(inst_RefrigeratedWarehousingAndStorage,inst_RefrigeratorAndFreezerIndustry)).

-

-fof(axEconomySubAtt59, axiom, 

- f_subAttribute(inst_HouseholdRefrigeratorAndHomeFreezerManufacturing,inst_RefrigeratorAndFreezerIndustry)).

-

-fof(axEconomySubAtt60, axiom, 

- f_subAttribute(inst_CommercialAndIndustrialRefrigerationAndEquipmentManufacturing,inst_RefrigeratorAndFreezerIndustry)).

-

-fof(axEconomySubAtt61, axiom, 

- f_subAttribute(inst_SteelMills,inst_SteelIndustry)).

-

-fof(axEconomySubAtt62, axiom, 

- f_subAttribute(inst_SteelForging,inst_SteelIndustry)).

-

-fof(axEconomySubAtt63, axiom, 

- f_subAttribute(inst_SteelFoundriesExceptInvestment,inst_SteelIndustry)).

-

-fof(axEconomySubAtt64, axiom, 

- f_subAttribute(inst_SteelInvestmentFoundries,inst_SteelIndustry)).

-

-fof(axEconomySubAtt65, axiom, 

- f_subAttribute(inst_SteelProductManufacturingFromPurchasedSteel,inst_SteelIndustry)).

-

-fof(axEconomySubAtt66, axiom, 

- f_subAttribute(inst_TextileMills,inst_TextileIndustry)).

-

-fof(axEconomySubAtt67, axiom, 

- f_subAttribute(inst_TextileProductMills,inst_TextileIndustry)).

-

-fof(axEconomySubAtt68, axiom, 

- f_subAttribute(inst_GrainAndOilseedMilling,inst_VegetableOilIndustry)).

-

-fof(axEconomySubAtt69, axiom, 

- f_subAttribute(inst_ZincOreMining,inst_ZincIndustry)).

-

-fof(axEconomySubAtt70, axiom, 

- f_subAttribute(inst_CornFarming,inst_CerealGrainFarming)).

-

-fof(axEconomySubAtt71, axiom, 

- f_subAttribute(inst_RiceFarming,inst_CerealGrainFarming)).

-

-fof(axEconomySubAtt72, axiom, 

- f_subAttribute(inst_WheatFarming,inst_CerealGrainFarming)).

-

-fof(axEconomySubAtt73, axiom, 

- f_subAttribute(inst_OatFarming,inst_CerealGrainFarming)).

-

-fof(axEconomySubAtt74, axiom, 

- f_subAttribute(inst_BarleyFarming,inst_CerealGrainFarming)).

-

-fof(axEconomySubAtt75, axiom, 

- f_subAttribute(inst_RyeFarming,inst_CerealGrainFarming)).

-

-fof(axEconomySubAtt76, axiom, 

- f_subAttribute(inst_MilletFarming,inst_CerealGrainFarming)).

-