1 files changed, 0 insertions, 57 deletions
diff --git a/examples/SUMO/TPTP/Mid_level_ontologySubAttAx.p b/examples/SUMO/TPTP/Mid_level_ontologySubAttAx.p
deleted file mode 100644
index 7f938426e..000000000
--- a/examples/SUMO/TPTP/Mid_level_ontologySubAttAx.p
+++ /dev/null
@@ -1,57 +0,0 @@
-fof(axMidSubAtt0, axiom, 
- f_subAttribute(inst_Drunk,inst_Drugged)).
-
-fof(axMidSubAtt1, axiom, 
- f_subAttribute(inst_InternationalLaw,inst_Law)).
-
-fof(axMidSubAtt2, axiom, 
- f_subAttribute(inst_Illegal,inst_Prohibition)).
-
-fof(axMidSubAtt3, axiom, 
- f_subAttribute(inst_Legal,inst_Permission)).
-
-fof(axMidSubAtt4, axiom, 
- f_subAttribute(inst_Satisfaction,inst_Happiness)).
-
-fof(axMidSubAtt5, axiom, 
- f_subAttribute(inst_Tranquility,inst_Happiness)).
-
-fof(axMidSubAtt6, axiom, 
- f_subAttribute(inst_Excitement,inst_Happiness)).
-
-fof(axMidSubAtt7, axiom, 
- f_subAttribute(inst_Anxiety,inst_Unhappiness)).
-
-fof(axMidSubAtt8, axiom, 
- f_subAttribute(inst_Anger,inst_Unhappiness)).
-
-fof(axMidSubAtt9, axiom, 
- f_subAttribute(inst_Pain,inst_Unhappiness)).
-
-fof(axMidSubAtt10, axiom, 
- f_subAttribute(inst_Headache,inst_Pain)).
-
-fof(axMidSubAtt11, axiom, 
- f_subAttribute(inst_Puberty,inst_NonFullyFormed)).
-
-fof(axMidSubAtt12, axiom, 
- f_subAttribute(inst_Squatting,inst_Sitting)).
-
-fof(axMidSubAtt13, axiom, 
- f_subAttribute(inst_Retired,inst_Unemployed)).
-
-fof(axMidSubAtt14, axiom, 
- f_subAttribute(inst_Housewife,inst_Unemployed)).
-
-fof(axMidSubAtt15, axiom, 
- f_subAttribute(inst_Professor,inst_Teacher)).
-
-fof(axMidSubAtt16, axiom, 
- f_subAttribute(inst_Diplomat,inst_GovernmentPerson)).
-
-fof(axMidSubAtt17, axiom, 
- f_subAttribute(inst_StoreOwner,inst_BusinessPerson)).
-
-fof(axMidSubAtt18, axiom, 
- f_subAttribute(inst_PolicePerson,inst_GovernmentPerson)).
-