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))))
Defined in theory:
Substances
Source code:
Substances.lisp