Found:
Individual term
SEMANTICS: an expression in predicate logic which can figure
as an argument of a predicate and which denotes an individual in the universe of discourse. Mostly
used as a cover term for individual constants and individual variables. Both refer to entities or individuals in a universe of discourse. In predicate logic language, individual terms are represented with lowercase characters.
LIT. | Gamut, L.T.F. (1991) |