Definition:Term (Predicate Logic)