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 athttp://www.cs.utsa.edu/~wagner/CS1023/readings/prolog.html
Open Standard Prolog Knowledge Bases
logic;knowledge representation;logic programming;prolog