Using Equivalence Axioms from the Mammalian Phenotype Ontology to Facilitate Phenotype and Expression Comparisons.