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
Comprehensive Cybersecurity to Safeguard Your Organization | SOCRadar Icon
Comprehensive Cybersecurity to Safeguard Your Organization | SOCRadar

See what hackers already know about your organization – and stop them from getting in.

Protect your organization from cyber threats with SOCRadar’s cutting-edge threat intelligence. Gain 360° visibility into your digital assets, monitor the dark web, and stay ahead of hackers with real-time insights. Start for free and transform your cybersecurity today.
Free Trial
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