Home

Synset

formal expression containing variables; becomes a sentence when variables are replaced by constants
<noun.communication>

sentential function more info
semantic pointers
hypernym
formula, expression