WordNet is a very interesting "model" of (the English) language out of Princeton that links word definitions and synonyms together in a navigable network that, in effect, makes a type of semantic network. An excellent programmer's thesaurus for good variable names.
WebSite: http://wordnet.princeton.edu/
WordNet DataBase: http://wordnetweb.princeton.edu/perl/webwn