Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Sigma_knowledge_engineering_environment> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- Sigma_knowledge_engineering_environment abstract "In the computer science fields of knowledge engineering and ontology, the Sigma knowledge engineering environment is an open source computer program for the development of formal ontologies. It is designed for use with the Suggested Upper Merged Ontology. It originally included only the Vampire theorem prover as its core deductive inference engine, but now allows use of many other provers that have participated in the TPTP/CADE competitions.".
- Sigma_knowledge_engineering_environment wikiPageExternalLink ~tptp.
- Sigma_knowledge_engineering_environment wikiPageExternalLink sigmakee.sourceforge.net.
- Sigma_knowledge_engineering_environment wikiPageID "13215862".
- Sigma_knowledge_engineering_environment wikiPageLength "1053".
- Sigma_knowledge_engineering_environment wikiPageOutDegree "8".
- Sigma_knowledge_engineering_environment wikiPageRevisionID "630984080".
- Sigma_knowledge_engineering_environment wikiPageWikiLink Category:Ontology_(information_science).
- Sigma_knowledge_engineering_environment wikiPageWikiLink Computer_science.
- Sigma_knowledge_engineering_environment wikiPageWikiLink Knowledge_engineering.
- Sigma_knowledge_engineering_environment wikiPageWikiLink Ontology_(information_science).
- Sigma_knowledge_engineering_environment wikiPageWikiLink Open_source.
- Sigma_knowledge_engineering_environment wikiPageWikiLink Suggested_Upper_Merged_Ontology.
- Sigma_knowledge_engineering_environment wikiPageWikiLink Vampire_(theorem_prover).
- Sigma_knowledge_engineering_environment wikiPageWikiLinkText "Sigma KEE".
- Sigma_knowledge_engineering_environment wikiPageWikiLinkText "Sigma knowledge engineering environment".
- Sigma_knowledge_engineering_environment wikiPageUsesTemplate Template:Cite_journal.
- Sigma_knowledge_engineering_environment wikiPageUsesTemplate Template:Software-stub.
- Sigma_knowledge_engineering_environment subject Category:Ontology_(information_science).
- Sigma_knowledge_engineering_environment hypernym Program.
- Sigma_knowledge_engineering_environment type Software.
- Sigma_knowledge_engineering_environment type Work.
- Sigma_knowledge_engineering_environment type CreativeWork.
- Sigma_knowledge_engineering_environment type Thing.
- Sigma_knowledge_engineering_environment type Q386724.
- Sigma_knowledge_engineering_environment type Q7397.
- Sigma_knowledge_engineering_environment comment "In the computer science fields of knowledge engineering and ontology, the Sigma knowledge engineering environment is an open source computer program for the development of formal ontologies. It is designed for use with the Suggested Upper Merged Ontology. It originally included only the Vampire theorem prover as its core deductive inference engine, but now allows use of many other provers that have participated in the TPTP/CADE competitions.".
- Sigma_knowledge_engineering_environment label "Sigma knowledge engineering environment".
- Sigma_knowledge_engineering_environment sameAs Q7512412.
- Sigma_knowledge_engineering_environment sameAs m.03bz3_v.
- Sigma_knowledge_engineering_environment sameAs Q7512412.
- Sigma_knowledge_engineering_environment wasDerivedFrom Sigma_knowledge_engineering_environment?oldid=630984080.
- Sigma_knowledge_engineering_environment isPrimaryTopicOf Sigma_knowledge_engineering_environment.