Ontify
Princeton University's computational lexicon of English, a semantic network featuring synsets as nodes connected by hypernymy, hyponymy, holonymy, meronymy, etc.