Relation ION

Arity: 2

Domain: Chemical-element

Range: Element-ion-or-isotope

Axioms:

(= (Inverse Ion-Of) Ion)

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

• Defined in theory: Substances
• Source code: Substances.lisp