(= (Inverse Developmental-Form-Of) Developmental-Form) (<=> (Developmental-Form ?A ?B) (And (Biologic-Object ?A) (Biologic-Object ?B)))