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

Project Samples

sample ontology browser page

Project Activity

See All Activity >

Categories

Artificial Intelligence

License

GNU General Public License version 2.0 (GPLv2)

Follow Sigma

Sigma Web Site

Other Useful Business Software
Auth for GenAI | Auth0 Icon
Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview
Try free now
Rate This Project
Login To Rate This Project

User Ratings

5.0 out of 5 stars
★★★★★
★★★★
★★★
★★
★
2
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:
All
  • nathanfernandez Posted 2013-06-01
    Very useful. Thanks.
    1 user found this review helpful.
  • sagaskoog Posted 2012-01-06
    Nice tool!
Read more reviews >

Additional Project Details

Operating Systems

Linux, Windows

Languages

Italian, English, Hindi, German

Intended Audience

Science/Research, Developers

User Interface

Web-based

Programming Language

C++, Java

Related Categories

C++ Artificial Intelligence Software, Java Artificial Intelligence Software

Registered

2004-02-18
Report inappropriate content