sigma to run in linux online online with Winfy

We have hosted the application sigma to run in linux online in order to run this application in our online workstations with Wine or directly.

Quick description about sigma to run in linux online:

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

Audience: Science/Research, Developers.
User interface: Web-based.
Programming Language: C++, Java.

.