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.