Sigma Knowledge Engineering Environment - 0 views
-
Janos Haits on 05 Dec 14"The Sigma knowledge engineering environment 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)."