A collection of microscopic-scale objects; a subset of chemical object. Every instance of ion is an atom or radical which has either a negative or positive net electrical charge, due to having either more or fewer electrons than there are protons in its nuclei.

Note: atomic ions violate Cyc's default assumption that instances of atom have a net electrical charge of zero, so ion constitutes a class of exceptions to that rule.