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

Project Activity

See All Activity >

Follow Sigma

Sigma Web Site

Other Useful Business Software

Cloud Communications for Remote Teams Cloud Communications for Remote Teams Icon
Cloud Communications for Remote Teams Icon

Packed with Features to Support your Businesses Needs

  • 100% uptime, Patented design
  • Simple DIY Setup with Award Winning Support
  • Superior HD audio and video quality

Rate This Project

Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
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

  • Very useful. Thanks.

    1 user found this review helpful.
  • Nice tool!

Read more reviews >

Additional Project Details

Languages

Italian, English, Hindi, German

Intended Audience

Science/Research, Developers

User Interface

Web-based

Programming Language

C++, Java

Registered

2004-02-18