diff options
Diffstat (limited to 'examples/SUMO/axioms/MergeP.gft')
| -rw-r--r-- | examples/SUMO/axioms/MergeP.gft | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/examples/SUMO/axioms/MergeP.gft b/examples/SUMO/axioms/MergeP.gft deleted file mode 100644 index 688aa4a4b..000000000 --- a/examples/SUMO/axioms/MergeP.gft +++ /dev/null @@ -1,9 +0,0 @@ -
-equal (el ? ? ? (MeasureFn (el ? ? ? (toInt 0)) (el ? ? ? AngularDegree))) (el ? ? ? (MeasureFn (el ? ? ? (toInt 360)) (el ? ? ? AngularDegree)))
-
-typicalPart (desc VocalCords ? ?) (desc Human ? ?)
-
-typicallyContainsPart (desc VocalCords ? ?) (desc Human ? ?)
-
-initialPart (desc VocalCords ? ?) (desc Human ? ?)
-
|