jar

com.cyc : cyc-kb

Maven & Gradle

Oct 30, 2015
4 usages
35 stars

KB API Implementation · The KB API provides basic functionality for manipulating CycL-based Java objects. The API extracts the main Predicate Logic constructs in the Cyc KB as Java classes. A set of factory methods allow finding and creating terms and assertions. These can be used to build sentences, to create new assertions, or to build queries.

Table Of Contents

Latest Version

Download com.cyc : cyc-kb JAR file - Latest Versions:

All Versions

Download com.cyc : cyc-kb JAR file - All Versions:

Version Vulnerabilities Size Updated
1.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window cyc-kb-1.0.0-rc4.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

com.cyc.kb.config

├─ com.cyc.kb.config.KBAPIBuildInfo.class - [JAR]

├─ com.cyc.kb.config.KBAPIConfiguration.class - [JAR]

├─ com.cyc.kb.config.KBAPIDefaultContext.class - [JAR]

com.cyc.kb.quant

├─ com.cyc.kb.quant.ForAllQuantifiedInstanceRestrictedVariable.class - [JAR]

├─ com.cyc.kb.quant.ForAllQuantifiedRestrictedVariable.class - [JAR]

├─ com.cyc.kb.quant.InstanceRestrictedVariable.class - [JAR]

├─ com.cyc.kb.quant.QuantifiedInstanceRestrictedVariable.class - [JAR]

├─ com.cyc.kb.quant.QuantifiedRestrictedVariable.class - [JAR]

├─ com.cyc.kb.quant.RestrictedVariable.class - [JAR]

├─ com.cyc.kb.quant.SpecializationRestrictedVariable.class - [JAR]

├─ com.cyc.kb.quant.ThereExistsQuantifiedInstanceRestrictedVariable.class - [JAR]

├─ com.cyc.kb.quant.ThereExistsQuantifiedRestrictedVariable.class - [JAR]

├─ com.cyc.kb.quant.forAll.class - [JAR]

├─ com.cyc.kb.quant.thereExists.class - [JAR]

com.cyc.kb.client

├─ com.cyc.kb.client.ArgPositionImpl.class - [JAR]

├─ com.cyc.kb.client.AssertionImpl.class - [JAR]

├─ com.cyc.kb.client.BinaryPredicateImpl.class - [JAR]

├─ com.cyc.kb.client.Constants.class - [JAR]

├─ com.cyc.kb.client.ContextImpl.class - [JAR]

├─ com.cyc.kb.client.FactImpl.class - [JAR]

├─ com.cyc.kb.client.FirstOrderCollectionImpl.class - [JAR]

├─ com.cyc.kb.client.KBApiExceptionHandler.class - [JAR]

├─ com.cyc.kb.client.KBCollectionImpl.class - [JAR]

├─ com.cyc.kb.client.KBFunctionImpl.class - [JAR]

├─ com.cyc.kb.client.KBIndividualImpl.class - [JAR]

├─ com.cyc.kb.client.KBObjectCache.class - [JAR]

├─ com.cyc.kb.client.KBObjectFactory.class - [JAR]

├─ com.cyc.kb.client.KBObjectImpl.class - [JAR]

├─ com.cyc.kb.client.KBObjectLibraryLoader.class - [JAR]

├─ com.cyc.kb.client.KBPredicateImpl.class - [JAR]

├─ com.cyc.kb.client.KBTermImpl.class - [JAR]

├─ com.cyc.kb.client.KBUtils.class - [JAR]

├─ com.cyc.kb.client.LogicalConnectiveImpl.class - [JAR]

├─ com.cyc.kb.client.QuantifierImpl.class - [JAR]

├─ com.cyc.kb.client.RelationImpl.class - [JAR]

├─ com.cyc.kb.client.RuleImpl.class - [JAR]

├─ com.cyc.kb.client.ScopingRelationImpl.class - [JAR]

├─ com.cyc.kb.client.SecondOrderCollectionImpl.class - [JAR]

├─ com.cyc.kb.client.SentenceImpl.class - [JAR]

├─ com.cyc.kb.client.StandardKBObject.class - [JAR]

├─ com.cyc.kb.client.SubLConstants.class - [JAR]

├─ com.cyc.kb.client.SymbolImpl.class - [JAR]

├─ com.cyc.kb.client.TypeFactImpl.class - [JAR]

├─ com.cyc.kb.client.VariableImpl.class - [JAR]

Advertisement

Dependencies from Group

Jan 16, 2019
9 usages
2 stars
Jan 16, 2019
7 usages
35 stars
Oct 30, 2015
5 usages
35 stars
Jan 16, 2019
5 usages
2 stars
Jan 16, 2019
5 usages
2 stars

Discover Dependencies

Jul 24, 2015
5 usages
Jul 24, 2015
4 usages
Jul 24, 2015
12 usages
Jul 24, 2015
13 usages
Jul 24, 2015
5 usages
Jul 24, 2015
4 usages