From d6627b5a5af6a82dd5316ac5d527790697615339 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 17 Feb 2010 12:21:41 +0000 Subject: added TPTP for SUMO --- examples/SUMO/TPTP/MergePredAx.p | 12 ++++++++++++ 1 file changed, 12 insertions(+) create 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 new file mode 100644 index 000000000..b08e0659b --- /dev/null +++ b/examples/SUMO/TPTP/MergePredAx.p @@ -0,0 +1,12 @@ +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