(= (Inverse Isotope-Of) Isotope) (<=> (Isotope ?A ?B) (And (Chemical-Element ?A) (Element-Ion-Or-Isotope ?B)))