If we generalize the above expressions into formulae in accordance with Lakoff and Johnson's convention, we may get something like WOMEN ARE ANIMALS or WOMEN ARE PLANTS.
these names are insufficient; they do not grasp the details of mapping precisely enough.