sentential function

from WordNet (r) 3.0 (2006)

sentential function
    n 1: formal expression containing variables; becomes a sentence
         when variables are replaced by constants