Projects using SUMO

Jump to bottom Edit New page

Alexandre Rademaker edited this page Dec 14, 2019 · 1 revision

List of Projects using SUMO

http://github.com/own-pt/cl-krr we plain to implement all available transformation of SUO-KIF to TPTP in Common Lisp. Currently only the TPTP/FOL.