Properties of variables, such as whether they are single- or multi-valued, and usually also
information concerning the values a variable is allowed to take, are all described in the domain
declaration of a knowledge base. The following definition provides a formal description of such
a domain declaration.