Commonsense Knowledge Databases

From AGIRI.org

One way of getting logical knowledge into an AGI system is to create a database of facts expressed in formal logic. Commonly associated with the database are inference engines that can make deductions about data in the knowledgebase.

Existing commonsense knowledge databases include:

Cyc, and OpenCyc. In particular, OpenCyc provides a large knowledgebase with an Apache Artisitic License, and the inference engine in executable binary form, free for general use.

SUMO, see http://ontology.teknowledge.com/
ThoughtTreasure, see http://www.signiform.com/tt/htm/tt.htm

SNePS, a knowledge representation, reasoning, and acting (KRRA) system. Uses a combination of logical assertions, frames & slots, and a semantic network. Written in Common LISP, GPL license.

[edit]