-
Notifications
You must be signed in to change notification settings - Fork 35
/
index.html
71 lines (61 loc) · 2.83 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
<!doctype html>
<html>
<head>
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="chrome=1">
<title>Sigmakee by ontologyportal</title>
<link rel="stylesheet" href="stylesheets/styles.css">
<link rel="stylesheet" href="stylesheets/github-light.css">
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
<!--[if lt IE 9]>
<script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
</head>
<body>
<div class="wrapper">
<header>
<h1>Sigmakee</h1>
<p>Sigma Knowledge Engineering Environment</p>
<p class="view"><a href="https://github.com/ontologyportal/sigmakee">View the Project on GitHub
<small>ontologyportal/sigmakee</small></a></p>
<ul>
<li><a href="https://github.com/ontologyportal/sigmakee/zipball/master">Download
<strong>ZIP File</strong></a></li>
<li><a href="https://github.com/ontologyportal/sigmakee/tarball/master">Download
<strong>TAR Ball</strong></a></li>
<li><a href="https://github.com/ontologyportal/sigmakee">View On <strong>GitHub</strong></a></li>
</ul>
</header>
<section>
<p>The <strong>Sigma knowledge engineering environment</strong> 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 <a href="http://www.ontologyportal.org">Suggested
Upper Merged Ontology</a> (SUMO).</p>
<p>Sigma includes a number of useful features for knowledge engineering work, including term and
hierarchy browsing, the ability to load different files of logical theories, a full first order
inference capability with structured proof results, a natural language paraphrase capability for
logical axioms, support for displaying mappings to the WordNet lexicon and a number of knowledge base diagnostics.</p>
<p><img width=300 src="walking.gif"></P>
Project Documentation
<ul>
<li>a user's manual
<li>programmers manual
<li>SUO-KIF language manual
<li>Javadoc for Sigma
</ul>
</section>
<footer>
<p>This project is maintained by <a href="http://www.adampease.org/professional">Adam Pease</a></p>
</footer>
</div>
<script src="javascripts/scale.fix.js"></script>
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-68418651-1', 'auto');
ga('send', 'pageview');
</script>
</body>
</html>