In theory, the set of all IsA relations, I, and the set of all metaphor relations, M , do not overlap, because by definition, the source concept and the target concept in a metaphor are not the same thing.
our intuition is the following.