s

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.
www.ontologyportal.org
GNU General Public License
Adam Pease Ivan Zilotti
大版本 版本 最近更新
2.12 2.12 2017-02-03 03:33:10
2.11 2.11 2017-02-02 01:00:53
共2条记录