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