FRDCSA
Minor
Internal
External
Git
Packages
sigmakee
Jump To:
Parent Description
Sigma is an integrated development environment for logical theories that extend the Suggested Upper Merged Ontology.
There is a
Public
installation with read-only functions enabled linked from http://www.ontologyportal.org