![]() ![]() |
Rule asserting that if a map:Location is the sameLocation as another location, then it has the same values for latitude and longitude:
Implies( Antecedent(map:Location(I-variable(maploc)) sameLocation(I-variable(loc) I-variable(maploc)) latitude(I-variable(loc) I-variable(lat)) longitude(I-variable(loc) I-variable(lon))) Consequent(map:latitude(I-variable(maploc) I-variable(lat)) map:longitude(I-variable(maploc) I-variable(lon))))
20 of 24 |