Category:Type constructors

From OpenCog

These are Atom types that serve as, or are used as Type constructors. See also Connectors and Sections which provide some of the base types for the type constructors.