Table of Contents
Predicate which tests whether or not <thing> is the name of a valid
OntoLingua implementation (an OntoLingua implementation is a CLOS
object which represents a supported target representation system.)
See also *ALL-IMPLEMENTATIONS*.