Hyponymy is a transitive relation.