formulas fully functional
Merge branch 'master' of github.com:opencog/opencog
Merge pull request #386 from keyvan-m-sadeghi/master

Interval Algebra, formulas done