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
- natural language generation
- theorem proving
- ontology browsing
Rate This ProjectLogin To Rate This Project
Very useful. Thanks.