what is the meaning of this FOL sentence?

Question

This FOL sentence is

$$∀x, y (\operatorname{Country}(x) ∧ \operatorname{Country}(y) ∧ \operatorname{Borders}(x, y)) \implies \operatorname{MapColor}(x = y)$$

mean No two adjacent countries have the same map color ? Right or wrong?

Answer 1

Making $3$ alterations to your suggestion: $$∀x, y [\operatorname{Country}(x) ∧ \operatorname{Country}(y) ∧ \operatorname{Borders}(x, y) ∧ x\ne y \implies [\operatorname{MapColor}(x)\ne\operatorname{MapColor}(y)]]$$ translates to "No two adjacent countries have the same map color".