For example, no expression involving a predicate symbol is a term.
Για παράδειγμα, καμία έκφραση που περιέχει κατηγορηματικό σύμβολο είναι όρος.