1 files changed, 0 insertions, 30 deletions
diff --git a/examples/SUMO/TPTP/MergeSubAttAx.p b/examples/SUMO/TPTP/MergeSubAttAx.p
deleted file mode 100644
index dabbeba2f..000000000
--- a/examples/SUMO/TPTP/MergeSubAttAx.p
+++ /dev/null
@@ -1,30 +0,0 @@
-fof(axMergeSubAtt0, axiom, 
- f_subAttribute(inst_Law,inst_Obligation)).
-
-fof(axMergeSubAtt1, axiom, 
- f_subAttribute(inst_Promise,inst_Obligation)).
-
-fof(axMergeSubAtt2, axiom, 
- f_subAttribute(inst_NakedPromise,inst_Promise)).
-
-fof(axMergeSubAtt3, axiom, 
- f_subAttribute(inst_Liquid,inst_Fluid)).
-
-fof(axMergeSubAtt4, axiom, 
- f_subAttribute(inst_Gas,inst_Fluid)).
-
-fof(axMergeSubAtt5, axiom, 
- f_subAttribute(inst_Plasma,inst_Fluid)).
-
-fof(axMergeSubAtt6, axiom, 
- f_subAttribute(inst_Wet,inst_Damp)).
-
-fof(axMergeSubAtt7, axiom, 
- f_subAttribute(inst_Dead,inst_Unconscious)).
-
-fof(axMergeSubAtt8, axiom, 
- f_subAttribute(inst_Larval,inst_NonFullyFormed)).
-
-fof(axMergeSubAtt9, axiom, 
- f_subAttribute(inst_Embryonic,inst_NonFullyFormed)).
-