Many of these terms are terms which have been used in linguistics, outside
of corpora linguistics (model-theoretic semantics, generative, categorial
grammar, etc.). You might try http://www2.let.uu.nl/UiL-OTS/Lexicon/.
Mike Maxwell
Summer Institute of Linguistics
Mike_Maxwell at sil.orgd