sigma-component

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.

Homepage POM file JAR file Javadoc
'com.articulatesoftware:sigma-component:2.10'

Dependencies

Compile dependencies

System dependencies

Test dependencies