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/EconomySubAttAx.p | 231 ----------------------------------- 1 file changed, 231 deletions(-) delete mode 100644 examples/SUMO/TPTP/EconomySubAttAx.p (limited to 'examples/SUMO/TPTP/EconomySubAttAx.p') 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)). - -- cgit v1.2.3