summaryrefslogtreecommitdiff
path: root/examples/SUMO/axioms/TransportationP.gft
blob: 46566beffc6ffcb4fcf869ccb25e6f8265fe8744 (plain)
1
2
3
4
5
6
7
8
9
10

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)))))))