1 files changed, 0 insertions, 18 deletions
diff --git a/examples/SUMO/TPTP/GeographySubAttAx.p b/examples/SUMO/TPTP/GeographySubAttAx.p
deleted file mode 100644
index 031789270..000000000
--- a/examples/SUMO/TPTP/GeographySubAttAx.p
+++ /dev/null
@@ -1,18 +0,0 @@
-fof(axGeographySubAtt0, axiom, 
- f_subAttribute(inst_MountainousTerrain,inst_SteepTerrain)).
-
-fof(axGeographySubAtt1, axiom, 
- f_subAttribute(inst_Upwind,inst_Upstream)).
-
-fof(axGeographySubAtt2, axiom, 
- f_subAttribute(inst_Downwind,inst_Downstream)).
-
-fof(axGeographySubAtt3, axiom, 
- f_subAttribute(inst_GroundwaterPollutionIssue,inst_WaterPollutionIssue)).
-
-fof(axGeographySubAtt4, axiom, 
- f_subAttribute(inst_EndangeredMarineWildlifeIssue,inst_EndangeredSpeciesIssue)).
-
-fof(axGeographySubAtt5, axiom, 
- f_subAttribute(inst_SoilSalinityIssue,inst_SoilDegradationIssue)).
-