space 'Lang', a model namespace 'Mod', a truth namespace for the
fundamental truth classification and concept lattice, and various other
supporting namespaces such as all corresponding namespaces. Some of the
terms that appear in the structural component of the SUO are:
'Conglomerate', 'Class' (note: the class in the basic component is regarded
here as a synonym for "collection"), 'subclass', 'Function', 'pullback',
'unit', 'product', 'set', 'subset', 'power', 'Category', 'object',
'morphism', 'composition'