<ontology> 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)
Nearby terms:
universal thunk « Universal Time « Universal Time Coordinated « universe of discourse » University of Arizona » University of California at Berkeley » University of Durham