]> 2026-04-26T20:59:52+00:00 SigmaKEE 0 en true Optional remarks true Optional remarks false Optional remarks false Optional remarks false Optional remarks true Optional remarks true Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false not a meaningful question for an expressive logic false Optional remarks true Optional remarks false Optional remarks false Optional remarks false Optional remarks Adam Pease false Optional remarks true Optional remarks true Optional remarks true Optional remarks true Optional remarks false Optional remarks true Optional remarks true Optional remarks false Optional remarks Adam Pease true Optional remarks 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 false Optional remarks true Optional remarks false Optional remarks false Optional remarks true Optional remarks false Optional remarks false This question seems to presuppose description logic true Optional remarks true because in an expressive logical language there is no such "proper" separation false Optional remarks false Optional remarks true Optional remarks false Optional remarks true Optional remarks false Optional remarks false Optional remarks false Optional remarks Sigma Knowledge Engineering Environment false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks true Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks true Optional remarks false Optional remarks true Optional remarks false Optional remarks false Optional remarks true Optional remarks false This question seems to presuppose description logic false Optional remarks false Optional remarks true Optional remarks false Optional remarks true Optional remarks true Optional remarks true Optional remarks 2012-06-12 GPL true Optional remarks true Optional remarks false Optional remarks false Optional remarks false Optional remarks true Optional remarks false Optional remarks true Optional remarks true Optional remarks false Optional remarks Sigma can do full first order and higher order consistency checking of ontologies through automated theorem proving. Sigma also provides a number of other static checks on the ontologies and their mappings to WordNet. false Optional remarks false Optional remarks false Optional remarks true Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks false Optional remarks 2013-04-20T20:28:28Z 2456403.3531019 SigmaKEE