com.articulate.sigma.semRewrite.CommonCNFUtil Maven / Gradle / Ivy

Show more of this group  Show more artifacts with this name
Show all versions of 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.