an abstract entity (such as a universal, a relation, a class name)