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
Other Useful Business Software
With Red Hat Enterprise Linux on Azure, businesses can confidently modernize their IT environment, knowing they don’t have to compromise on security, scalability, reliability, and ease of management. Securely accelerate innovation and unlock a competitive edge with enterprise-grade modern cloud infrastructure.
Rate This Project
Login To Rate This Project
User Reviews
-
Very useful. Thanks.
-
Nice tool!