Brief:
A free replacement for tools like OpenCyc and Powerloom
Jump To:
Parent Description
Code:
GitHub
FreeKBS2 is an extension of the freekbs knowledge based system,
which includes nested formula and inference using the vampire-kif
theorem prover, but will eventually allow Prolog inference as
well.