diff options
Diffstat (limited to 'examples/SUMO/axioms/TransportationP.gft')
| -rw-r--r-- | examples/SUMO/axioms/TransportationP.gft | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/examples/SUMO/axioms/TransportationP.gft b/examples/SUMO/axioms/TransportationP.gft deleted file mode 100644 index 46566beff..000000000 --- a/examples/SUMO/axioms/TransportationP.gft +++ /dev/null @@ -1,10 +0,0 @@ -
-geographicSubregion (el ? ? ? NorthwestPassage) (el ? ? ? ArcticOcean)
-
-geographicSubregion (el ? ? ? NorthwestPassage) (el ? ? ? WesternHemisphere)
-
-geographicSubregion (el ? ? ? NorthernSeaRoute) (el ? ? ? ArcticOcean)
-
-geographicSubregion (el ? ? ? NorthernSeaRoute) (el ? ? ? EasternHemisphere)
-
-equal (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? CubicFoot))) (el ? ? ? (MultiplicationFn (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? FootLength))) (el ? ? ? (MultiplicationFn (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? FootLength))) (el ? ? ? (MeasureFn (el ? ? ? (toInt 1)) (el ? ? ? FootLength)))))))
|