🔸 Term (predicate calculus) === references/denotations to individuals used in predicate calculus== Types specific → 🙎 Individual constant unspecific → 👤 Individual variable