Start the higher order reasoning but that approach seems doomed
Formula for EvaluationLink Modus Ponens
Merge github.com:opencog/opencog
Handle unicode in conceptnet (for words that have >=1 ascii character
ConceptNet unicode
Fixes; only use English conceptnet
Prints the TruthValues correctly (although some are 0 (rounded maybe))
Conceptnet works finally
Merge pull request #450 from jadeoneill/master

ConceptNet
Merge branch 'master' of https://github.com/opencog/opencog into PlannerIntegration