Ranked by relevance and common usage.
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
1 total sentences available.
And this author, even if he could be shown where only expensively eschewable cuts might have to be called upon in order to formalize his existing proof of Metatheorem 4 (which he doubts—since, on careful inspection, he does not find any), ...
Source: wiktionary
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.