(d'après le site que tu nous a donné)
Soit une métaphore M, appartenant à l'ensemble des métaphores.
L'ensemble des métaphores étant inclus dans l'ensemble des analogies, M appartient à l'ensemble des analogies.
Mais l'ensemble des métaphores n'est pas égal à l'ensemble des analogie, puisque l'ensemble des analogies n'est pas compris [edit : inclus] dans l'ensemble des métaphores. En effet, par définition, il existe (au moins) une analogie A (appartenant à l'ensemble des analogies) qui n'appartient pas à l'ensemble des métaphores
Ceci dit, si Nil pouvait nous expliquer pourquoi avec ta modélisation on n'a pas une métaphore, ça m'intéresserait de savoir