summaryrefslogtreecommitdiff
path: root/examples/SUMO/axioms/TransportationSubRel.gft
blob: b46309696cd3234de3b34f6e5c297ad7ca58937e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14

subRelation2El ? ? ? ? (\x,y -> trackWidth x y) (\x,y -> measure x y)

subRelation2El ? ? ? ? (\x,y -> fleetGrossRegisteredTonnage x y) (\x,y -> measure x y)

subRelation2El ? ? ? ? (\x,y -> fleetDeadWeightTonnage x y) (\x,y -> measure x y)

subRelation2El ? ? ? ? (\x,y -> path x y) (\x,y -> partlyLocated x y)

subRelation2El ? ? ? ? (\x,y -> vesselDisplacement x y) (\x,y -> measure x y)

subRelation2El ? ? ? ? (\x,y -> vesselDeadWeightTonnage x y) (\x,y -> vesselDisplacement x y)

subRelation2El ? ? ? ? (\x,y -> vesselGrossRegisteredTonnage x y) (\x,y -> vesselDisplacement x y)