Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007
matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm
Represents an atom in a rule. Atoms can either be in the head (concequent) or body (antecedent) of the rule. Atoms hold objects which are either data objects or individual objects.