Sigma

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 . Sigma has moved to github.com/ontologyportal/sigmakee

Features

natural language generation
theorem proving
ontology browsing

Project Samples

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow Sigma

Sigma Web Site

Other Useful Business Software

Paessler - Monitor Your Whole Network in Minutes

Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.

Start Free 30-Day Trial

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

nathanfernandez Posted 2013-06-01
5 out of 5 stars

Very useful. Thanks.

1 user found this review helpful.
sagaskoog Posted 2012-01-06
5 out of 5 stars

Nice tool!

Additional Project Details

Operating Systems

Linux, Windows

Languages

English, German, Hindi, Italian

Intended Audience

Developers, Science/Research

User Interface

Web-based

Programming Language

C++, Java

Related Categories

C++ Artificial Intelligence Software, Java Artificial Intelligence Software

Registered

2004-02-18

Similar Business Software

GetResponse

GetResponse is a lifecycle automation platform for businesses that want to drive more consistent, repeatable revenue across the entire customer journey. We help you move customers from first touch to first purchase, repeat purchase, and reactivation - using email, SMS, push notifications, and...

See Software for GetResponse
JAMS Scheduler

JAMS is an automation orchestration and job scheduling solution that runs, monitors, and manages critical IT processes from a single console, from simple batch jobs to complex, cross-platform workflows. JAMS automates jobs across Windows, Linux, UNIX, IBM i, z/OS, and OpenVMS, with native...

See Software for JAMS Scheduler
Universal Knowledge

Universal Knowledge by KPSOL is a SaaS Knowledge Management System that helps organizations capture, manage, and share trusted knowledge from a single source of truth. It combines powerful enterprise search, intuitive content authoring, collaborative workflows, and analytics to ensure...

See Software for Universal Knowledge
kama.ai

The Responsible AI-Agent for organizations where the answer HAS TO BE RIGHT. kama.ai answers from knowledge your team approves, not from what a model guesses. Every response is accurate, consistent, and traceable to its source. Governed by design. How it works: At its core, the kama.ai...

See Software for kama.ai
Pipefy

Pipefy is the AI-driven Business Orchestration and Automation Technologies (BOAT) platform that delivers enterprise results in days, not months. Designed as a secure orchestration layer, Pipefy bridges the gap between rigid legacy systems (ERPs/CRMs) and agile business needs. It allows IT...

See Software for Pipefy
StackAI

StackAI is an enterprise AI automation platform to build end-to-end internal tools and processes with AI agents in a fully compliant and secure way. Designed for large, regulated organizations, it enables teams to automate complex workflows across operations, compliance, finance, IT, and support...

See Software for StackAI

Report inappropriate content