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
Browse Files for Sigma
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| sigma.war | 49.2 MB | 2009-11-06 19:21:15 GMT | 12 | ||
| All Files | Subscribe | ||||
| sigma.war | 49.2 MB | 2009-11-06 19:21:15 GMT | 12 | ||
| Sigma | 116.6 MB | 2007-10-23 15:29:12 GMT | 3,968 | Subscribe Folder view | |
| sigma-2-02 | 30.9 MB | 2007-10-23 15:29:12 GMT | 1,349 | Subscribe Folder view | |
| sigma-2-02.zip | 30.9 MB | 2007-10-23 15:29:12 GMT | 1,349 | Release Notes | |
| sigma-2-01 | 29.6 MB | 2007-10-15 16:41:03 GMT | 55 | Subscribe Folder view | |
| sigma-2-01.zip | 29.6 MB | 2007-10-15 16:41:03 GMT | 55 | Release Notes | |
| sigma-2-0 | 27.9 MB | 2007-09-20 22:37:14 GMT | 109 | Subscribe Folder view | |
| sigma-2-0.zip | 27.9 MB | 2007-09-20 22:37:14 GMT | 109 | Release Notes | |
| sigma-install-1-5 | 13.5 MB | 2006-08-22 21:14:53 GMT | 771 | Subscribe Folder view | |
| sigma-latest.zip | 13.5 MB | 2006-08-22 21:14:53 GMT | 771 | Release Notes | |
| Sigma1.5beta | 13.6 MB | 2006-04-24 16:25:18 GMT | 1,069 | Subscribe Folder view | |
| WordNetMappings.zip | 6.9 MB | 2006-04-24 16:25:18 GMT | 189 | Release Notes | |
| sigma-src.zip | 171.5 KB | 2006-04-03 17:24:10 GMT | 216 | Release Notes | |
| sigma15b.war | 3.1 MB | 2006-04-03 17:06:26 GMT | 193 | Release Notes | |
| kif-linux | 2.2 MB | 2006-04-02 20:10:25 GMT | 145 | Release Notes | |
| kif.exe | 1.1 MB | 2006-03-31 18:31:17 GMT | 326 | Release Notes | |
| v1.1 | 1.2 MB | 2004-07-10 21:52:50 GMT | 615 | Subscribe Folder view | |
| sigma.war | 1.2 MB | 2004-07-10 21:52:50 GMT | 615 | Release Notes | |
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
