UninterpretedFunctions are equivalent to Abstract Functions, but used in a theoretical framework. You can think of it as a function place holder because it is an undefined or "uninterpreted" function.
See: http://www.mimuw.edu.pl/~sl/teaching/PMW/SMV-doc/tutorial/node32.html