add logical axioms from HPO into CPONT

we need the logical definitions (equivalence axioms) from HPO to see the inferences with the new classes.