s

sigma-component

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.
www.ontologyportal.org
GNU General Public License
Adam Pease Ivan Zilotti
with knowledge suggested format ontology engineering logic works upper system interchange order optimized theories sigma sumo developing ontologyportal viewing debugging first merged
Files download
File Operation
sigma-component-2.10.jar download
sigma-component-2.10.pom download
sigma-component-2.10-sources.jar download
Apache Maven 
<dependency>
  <groupId>com.articulatesoftware</groupId>
  <artifactId>sigma-component</artifactId>
  <version>2.10</version>
</dependency>
Gradle Groovy 
implementation 'com.articulatesoftware:sigma-component:2.10'
Gradle Kotlin 
implementation("com.articulatesoftware:sigma-component:2.10")
Scala SBT 
libraryDependencies += "com.articulatesoftware" % "sigma-component" % "2.10"
Groovy Grape 
@Grapes(
  @Grab(group='com.articulatesoftware', module='sigma-component', version='2.10')
)
Apache Ivy 
<dependency org="com.articulatesoftware" name="sigma-component" rev="2.10" />
Leiningen 
[com.articulatesoftware/sigma-component "2.10"]
Apache Buildr 
'com.articulatesoftware:sigma-component:jar:2.10'
Dependencies 
<parent>
  <groupId>org.sonatype.oss</groupId>
  <artifactId>oss-parent</artifactId>
  <version>9</version>
</parent>

compile

|-- org.apache.maven.plugins:maven-release-plugin:2.5.2

|-- org.apache.maven.scm:maven-scm-provider-cvs-commons:1.9.4

|-- antlr:antlr:2.7.5

|-- com.google.guava:guava:17.0

|-- javax.mail:mail:1.4.7

|-- com.servlets:cos:05Nov2002

|-- com.googlecode.json-simple:json-simple:1.1

|-- edu.stanford.nlp:stanford-corenlp:3.5.1

system

|-- edu.stanford.nlp:stanford-corenlp:1.0

test

|-- junit:junit:4.11