1 files changed, 0 insertions, 63 deletions
diff --git a/examples/SUMO/TPTP/Mid_level_ontologyPredAx.p b/examples/SUMO/TPTP/Mid_level_ontologyPredAx.p
deleted file mode 100644
index 0064ee040..000000000
--- a/examples/SUMO/TPTP/Mid_level_ontologyPredAx.p
+++ /dev/null
@@ -1,63 +0,0 @@
-fof(axMidP0, axiom, 
- f_subsumesContentClass(type_ChristianBible,type_NewTestament)).
-
-fof(axMidP1, axiom, 
- f_subsumesContentClass(type_ChristianBible,type_OldTestament)).
-
-fof(axMidP2, axiom, 
- f_subsumesContentClass(type_NewTestament,type_ChristianGospel)).
-
-fof(axMidP3, axiom, 
- f_BeginFn(inst_BeforeCommonEra) = inst_NegativeInfinity).
-
-fof(axMidP4, axiom, 
- f_EndFn(inst_CommonEra) = inst_PositiveInfinity).
-
-fof(axMidP5, axiom, 
- f_subOrganization(inst_UnitedStatesDepartmentOfState,f_GovernmentFn(inst_UnitedStates))).
-
-fof(axMidP6, axiom, 
- f_subOrganization(inst_UnitedStatesDepartmentOfInterior,f_GovernmentFn(inst_UnitedStates))).
-
-fof(axMidP7, axiom, 
- f_subOrganization(inst_UnitedStatesCongress,f_GovernmentFn(inst_UnitedStates))).
-
-fof(axMidP8, axiom, 
- f_initialPart(type_DigitAppendage,type_Limb)).
-
-fof(axMidP9, axiom, 
- f_MeasureFn(1,inst_MetricTon) = f_MeasureFn(2205,inst_PoundMass)).
-
-fof(axMidP10, axiom, 
- f_MeasureFn(1,inst_SquareMile) = f_PerFn(f_MeasureFn(1,inst_Mile),f_MeasureFn(1,inst_Mile))).
-
-fof(axMidP11, axiom, 
- f_MeasureFn(1,inst_SquareYard) = f_PerFn(f_MeasureFn(1,inst_YardLength),f_MeasureFn(1,inst_YardLength))).
-
-fof(axMidP12, axiom, 
- f_meatOfAnimal(type_Beef,type_Cow)).
-
-fof(axMidP13, axiom, 
- f_meatOfAnimal(type_ChickenMeat,type_Chicken)).
-
-fof(axMidP14, axiom, 
- f_meatOfAnimal(type_Pork,type_Pig)).
-
-fof(axMidP15, axiom, 
- f_meatOfAnimal(type_FishMeat,type_Fish)).
-
-fof(axMidP16, axiom, 
- f_subField(inst_Physiology,inst_Biology)).
-
-fof(axMidP17, axiom, 
- f_subField(inst_MedicalScience,inst_Biology)).
-
-fof(axMidP18, axiom, 
- f_subField(inst_Electronics,inst_Physics)).
-
-fof(axMidP19, axiom, 
- f_subField(inst_Electronics,inst_Engineering)).
-
-fof(axMidP20, axiom, 
- f_initialPart(type_AnimalAnatomicalStructure,type_Animal)).
-