Sigma
This is the web app or web related tool named Sigma whose latest release can be downloaded as sigma-2-02.zip from this website redcoolmedia.net
SCREENSHOTS:
Sigma
APP DESCRIPTION:
Download this app named Sigma.
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/sigmakeeFeatures
- natural language generation
- theorem proving
- ontology browsing
Audience
Science/Research, Developers
User interface
Web-based
Programming Language
C++, Java
Free download Web app or web tool Sigma from RedcoolMedia.net