Add cache to prevent duplication of inverse functional property axioms