EnglishFrenchGermanItalianPortugueseRussianSpanish

Sigma para rodar em Linux download online para Linux

OnWorks favicon

Free download Sigma to run in Linux online Linux app to run online in Ubuntu online, Fedora online or Debian online

Este é o aplicativo Linux chamado Sigma para rodar em Linux online, cuja versão mais recente pode ser baixada como sigma-2-02.zip. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.

 
 

Baixe e execute online este aplicativo chamado Sigma para rodar em Linux online com OnWorks gratuitamente.

Siga estas instruções para executar este aplicativo:

- 1. Baixe este aplicativo em seu PC.

- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.

- 3. Carregue este aplicativo em tal gerenciador de arquivos.

- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.

- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.

- 6. Baixe o aplicativo, instale-o e execute-o.

CAPTURAS DE TELA:


Sigma para rodar em Linux online


DESCRIÇÃO:

O sistema de engenharia de conhecimento Sigma é um sistema para desenvolver, visualizar e depurar teorias em lógica de primeira ordem. Ele funciona com Knowledge Interchange Format (KIF) e é otimizado para a Ontologia Superior Mergulhada Sugerida (SUMO) www.ontologiaportal.org . Sigma mudou para github.com/ontologyportal/sigmakee

Recursos

  • geração de linguagem natural
  • prova de teorema
  • navegação ontológica


Público

Ciência / Pesquisa, Desenvolvedores


Interface com o usuário

Baseado na Web-


Linguagem de Programação

C ++, Java



Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/sigmakee/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil a partir de um de nossos Sistemas Operativos gratuitos.



Programas online mais recentes para Linux e Windows


Categorias para baixar software e programas para Windows e Linux