Correspondence of MGI:88401 to GO:0005730