There as basically two types of ontological relations: membership (X is a Y) and attribute (W has a Z). Metaphors are an interesting abstration because they ar

There as basically two types of ontological relations: membership (X is a Y) and attribute (W has a Z). Metaphors are an interesting abstration because they are like a functor from one ontology to another.