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/MergePredAx.p | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 examples/SUMO/TPTP/MergePredAx.p (limited to 'examples/SUMO/TPTP/MergePredAx.p') diff --git a/examples/SUMO/TPTP/MergePredAx.p b/examples/SUMO/TPTP/MergePredAx.p deleted file mode 100644 index b08e0659b..000000000 --- a/examples/SUMO/TPTP/MergePredAx.p +++ /dev/null @@ -1,12 +0,0 @@ -fof(axMergeP0, axiom, - f_MeasureFn(0,inst_AngularDegree) = f_MeasureFn(360,inst_AngularDegree)). - -fof(axMergeP1, axiom, - f_typicalPart(type_VocalCords,type_Human)). - -fof(axMergeP2, axiom, - f_typicallyContainsPart(type_VocalCords,type_Human)). - -fof(axMergeP3, axiom, - f_initialPart(type_VocalCords,type_Human)). - -- cgit v1.2.3