Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org . Sigma has moved to github.com/ontologyportal/sigmakee
Features
- natural language generation
- theorem proving
- ontology browsing
Categories
Artificial IntelligenceLicense
GNU General Public License version 2.0 (GPLv2)Follow Sigma
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
There are no 2 star reviews.