Welcome, Guest! Log In | Create Account

Donate Share

Sigma

by apease

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


http://sigmakee.sourceforge.net

Artificial Intelligence

Project Feed

  • Code committed

    apease committed patchset 570 of module KBs to the Sigma CVS repository, changing 1 files

    03:11PM on Jul 08 2009 by apease

  • Code committed

    apease committed patchset 568 of module KBs to the Sigma CVS repository, changing 1 files

    04:28AM on Jul 08 2009 by apease

  • Code committed

    apease committed patchset 566 of module KBs to the Sigma CVS repository, changing 1 files

    01:00AM on Jul 08 2009 by apease

  • Code committed

    apease committed patchset 564 of module KBs to the Sigma CVS repository, changing 1 files

    11:13PM on Jul 07 2009 by apease

  • Code committed

    abu_banaat committed patchset 562 of module KBs to the Sigma CVS repository, changing 1 files

    04:21PM on Jun 25 2009 by abu_banaat

  • Code committed

    abu_banaat committed patchset 561 of module KBs to the Sigma CVS repository, changing 6 files

    07:11PM on Jun 19 2009 by abu_banaat

  • Code committed

    apease committed patchset 560 of module KBs to the Sigma CVS repository, changing 1 files

    06:49PM on Jun 19 2009 by apease

  • Code committed

    apease committed patchset 559 of module KBs to the Sigma CVS repository, changing 1 files

    06:46PM on Jun 19 2009 by apease

  • Code committed

    apease committed patchset 558 of module KBs to the Sigma CVS repository, changing 1 files

    02:08PM on Jun 19 2009 by apease

  • Code committed

    apease committed patchset 659 of module sigma to the Sigma CVS repository, changing 1 files

    10:54PM on Jun 18 2009 by apease