UWN: large-scale multilingual lexical knowledge base (wordnet) built using statistical methods
Lexvo.org: The Lexvo.org site provides fundamental language-related URIs
for the Semantic Web, which are not only highly interconnected but also linked to a variety of resources on the Web.
SPASS-XDB: online interface to the SPASS-XDB reasoning system, which combines state-of-the-art theorem proving with
support for large-scale knowledge sources