Выражения этого типа являются аналогами имен естественного языка.
Определение: а) любая предметная переменная и предметная константа есть терм; б) если 
есть термы и f¸ⁿ есть n-местный предметный функтор, то f¸ⁿ ( есть терм; в) ничто, кроме указанного в пунктах а) и б), не есть терм.