All Downloads are FREE. Search and download functionalities are using the official Maven repository.

jpl.Makefile Maven / Gradle / Ivy

Go to download

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.

There is a newer version: 2.12
Show newest version
Please wait ...




© 2015 - 2025 Weber Informatics LLC | Privacy Policy