<logic> A symbol whose referent varies or is unknown. A place-holder, as opposed to an abbreviation or name (a constant). See bound variables, constant, free variables
Individual variable of a system
Only individual variables and constants can serve as the arguments of functions and first order predicates. See domain
Metalanguage variable
A variable in the metalanguage of some system S which ranges over wffs of S.
Predicate variable
A variable ranging over attributes and relations in higher order logic.
[Glossary of First-Order Logic]
Try this search on OneLook / Google