Inheritance diagram of KIF_Object, Term, ClosedTerm, OpenTerm, Template, Variable
Term classes.
Term
Abstract base class for terms.
ClosedTerm
Abstract base class for closed (ground) terms.
OpenTerm
Abstract base class for open terms.
Template
Abstract base class for templates.
Variable
Base class for variables.