diff options
Diffstat (limited to 'examples/SUMO/axioms/GeographySubRel.gft')
| -rw-r--r-- | examples/SUMO/axioms/GeographySubRel.gft | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/examples/SUMO/axioms/GeographySubRel.gft b/examples/SUMO/axioms/GeographySubRel.gft deleted file mode 100644 index 0f2417498..000000000 --- a/examples/SUMO/axioms/GeographySubRel.gft +++ /dev/null @@ -1,8 +0,0 @@ -
-subRelation2El ? ? ? ? (\x,y -> dependentGeopoliticalArea x y) (\x,y -> claimedTerritory x y)
-
-subRelation2El ? ? ? ? (\x,y -> waterDepth x y) (\x,y -> length x y)
-
-subRelation2El ? ? ? ? (\x,y -> streamOutfall x y) (\x,y -> properPart x y)
-
-subRelation2El ? ? ? ? (\x,y -> airTemperature x y) (\x,y -> measure x y)
|