opencog/opencog — pull request #935 by sebastianruder (2014-07-16 17:41:26+00:00)
Title: Syllogism demo

Initial pull request for testing syllogisms. Work in progress. Not to be merged yet. Comments welcome.