Are you talking about a bijective mapping or are you saying it's a synonym for identical?
Because the former doesn't make any sense here and the latter is not true.
Red is a color does not imply that all colors are red.
"Red is a color" can be formalized as "Red is a type of color" or "Red is member of set Colors".
You can't formalize "Color is red" because it doesn't mean anything.
When I say "Parsing is validation" I am using the verb "is" to mean an isomorphism.
Good luck with that.
Are you talking about a bijective mapping or are you saying it's a synonym for identical?
Because the former doesn't make any sense here and the latter is not true.
Red is a color does not imply that all colors are red.