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.
Newer Version Available
Licenses
| License | URL |
|---|---|
| GNU General Public License | http://www.gnu.org/copyleft/gpl.html |
Developers
| Name | Dev Id | Roles | Organization | |
|---|---|---|---|---|
| Adam Pease | apease<at>articulatesoftware.com | | Articulate Software | |
| Ivan Zilotti | ivan.zilotti<at>ipsoft.com | | IPsoft Incorporated |