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