The planet probably got this name due to its red color; Mars is sometimes referred to as 'the Red Planet'.
Mars is the only planet that's red.
( z1 planet :mod ( z2 only ) :ARG1-of ( z3 red ) :domain ( z4 planet :name ( z5 name :op "Mars" ) ) )