In ontology, the set of all entITies that can be represented in some declarative language or other {formal system}. Each entITy is represented by a name and may have some human-readable description of ITs meaning. Formal axioms constrain the interpretation and well-formed use of these names. (2005-07-29)