Are there any standard Prolog knowledge bases available anywhere that have the same purpose as Cyc, namely to encode generally accepted common sense and human knowledge?

Typically containing generally accepted facts such as the ones given at



closed as too broad by D.W., Luke Mathieson, Juho, Ran G., A.Schulz Dec 15 '14 at 6:31

Please edit the question to limit it to a specific problem with enough detail to identify an adequate answer. Avoid asking multiple distinct questions at once. See the How to Ask page for help clarifying this question. If this question can be reworded to fit the rules in the help center, please edit the question.

  • $\begingroup$ For what purpose? What are your requirements? What search have you done? A 'knowledge base' is typically crafted for a particular application domain and is very specific to a particular application domain, so asking for "standard knowledge bases" without specifying the application domain (or purpose for which you'd put it to use) doesn't make any sense -- and is overly broad. $\endgroup$ – D.W. Dec 14 '14 at 0:39
  • $\begingroup$ I want to add inference algorithms on top of very generic knowledge graphs such as ConceptNet, NELL, Yago, etc. $\endgroup$ – Nordlöw Dec 14 '14 at 11:54