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/sigmakeeRecursos
- 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.