Specifically, every constant is interpreted as itself, and every function symbol is interpreted as the function that applies it.
Конкретнее, каждая константа интерпретируется как она сама, функциональный символ же интерпретируется как функция, которая применяется.