логика область рассуждения
an inclusive class of entities that is tacitly implied or explicitly delineated as the subject of a statement, discourse, or theory
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.