A general-purpose knowledge base and associated reasoning engine based on cyc.  See http://opencyc.org