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

You Might Also Like
Employee monitoring software with screenshots Icon
Employee monitoring software with screenshots

Clear visibility and insights into how employees work. Even remotely

Our computer monitoring software allows employees, field contractors, and freelancers to manually clock in when they begin working on an assignment. The application will take screenshots randomly or at set intervals, which allows employers to observe the work process. The application only tracks activity when the employee is clocked in. No spying, only transparency.
Learn More
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

Be the first to post a review of Sigma!

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