Relation ION-OF

Arity: 2
Domain: Element-ion-or-isotope
Range: Chemical-element
Subrelation-Of: Chemical-relation
Axioms:
(=> (Ion-Of ?A ?B)
    (Exists (?Z)
            (And (Electron ?Z)
                 (Component-Of ?Z ?B)
                 (Absent-In ?Z ?A))))