Correspondence of MGI:88031 to GO:0007599