Add WordNet synonymy axioms.