资料来源 : WordNet®

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