OpenCyc یک نسخه برش خورده از فناوری Cyc ، بزرگترین و کاملترین پایگاه دانش عمومی در جهان و موتور استدلال عمومی است.Cycorp ، سازندگان Cyc ، یک سازمان مستقل به نام OpenCyc.org برای انتشار و مدیریت OpenCyc ایجاد کرده اند و متعهد شده اند خط لوله ای را که از طریق آن تمام فناوری فعلی و آینده Cyc به ResearchCyc (در دسترس برای تحقیق و توسعه در دانشگاه و صنعت) است.) و سپس OpenCyc.
سایت اینترنتی:
http://opencyc.org/دسته بندی ها
گزینه های OpenCyc برای همه سیستم عامل های دارای مجوز

6
SWI Prolog
SWI-Prolog یک محیط جامع نرم افزار رایگان Prolog را برای نرم افزارهای برنامه نویسی ارائه می دهد که استدلال منطقی دارند.
- نرم افزار رایگان
- PortableApps.com
- Windows
- Mac
- Linux

5

2
YAGO
YAGO2s یک پایگاه دانش معنایی عظیم است که از ویکی پدیا WordNet و GeoNames گرفته شده است.
- نرم افزار رایگان
- Web
- Java Mobile