Skip navigation links
Cyc Core API
A B C D E F G H I K L M N O P Q R S T U V 

A

ABDUCTION_ALLOWED - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for abduction allowed.
absolute(int) - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.absolute(int).
addArgGenl(int, KbCollection, Context) - Method in interface com.cyc.kb.Relation
creates a new Fact stating that col must be a generalization of any object in the argPos position of this relation, in the context.
addArgGenl(int, KbCollection, Context) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
addArgIsa(int, KbCollection, Context) - Method in interface com.cyc.kb.Relation
creates a new Fact stating that any object in the argPos position of this relation should be an instance of the Collection col, in the context ctx.
addArgIsa(int, KbCollection, Context) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
addArgIsaSentence(int, KbCollection) - Method in interface com.cyc.kb.Relation
Return a sentence to add argIsa for a relation.
addArgIsaSentence(int, KbCollection) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
addCategory(String) - Method in interface com.cyc.query.ModifiableQuerySpecification
Add a new category to which this query belongs.
addComment(String, Context) - Method in interface com.cyc.kb.Assertion
Add a new comment for this in the context specified
addComment(String, Context) - Method in interface com.cyc.kb.KbTerm
Add a new comment for this in the context specified
addComment(String, Context) - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
addComment(String, Context) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
addExtension(Context) - Method in interface com.cyc.kb.Context
Creates a new Fact stating that the #$Microtheory represented by moreSpecific is a specialization (i.e. an extension) of this context.
addExtension(Context) - Method in class com.cyc.kb.wrapper.ContextWrapper
 
addFact(Context, Object, Object) - Method in interface com.cyc.kb.BinaryPredicate
Finds or creates a new Fact in the underlying KB
addFact(Context, Object...) - Method in interface com.cyc.kb.KbPredicate
Finds or creates a new Fact in the underlying KB
addFact(Context, Object, Object) - Method in class com.cyc.kb.wrapper.BinaryPredicateWrapper
 
addFact(Context, Object...) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
addGeneralization(KbCollection, Context) - Method in interface com.cyc.kb.FirstOrderCollection
Creates a new Fact stating that the moreGeneral is a generalization of this KbCollection in the context.
addGeneralization(KbCollection) - Method in interface com.cyc.kb.KbCollection
Creates a new Fact stating that the moreGeneral is a generalization of this KbCollection in the default assertion context.
addGeneralization(KbCollection, Context) - Method in interface com.cyc.kb.KbCollection
Creates a new Fact stating that the moreGeneral is a generalization of this KbCollection in the context.
addGeneralization(KbPredicate, Context) - Method in interface com.cyc.kb.KbPredicate
creates a new Fact stating that moreGeneral is a more general predicate than this in the context.
addGeneralization(KbCollection, Context) - Method in class com.cyc.kb.wrapper.FirstOrderCollectionWrapper
 
addGeneralization(KbCollection) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
addGeneralization(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
addGeneralization(KbPredicate, Context) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
addGeneralizationSentence(KbCollection) - Method in interface com.cyc.kb.KbCollection
This method returns the Sentence (#$genls this moreGeneral).
addGeneralizationSentence(KbCollection) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
addInheritsFrom(Context) - Method in interface com.cyc.kb.Context
Creates a new Fact stating that this context inherits from moreGeneral.
addInheritsFrom(Context) - Method in class com.cyc.kb.wrapper.ContextWrapper
 
addInterArgDifferent(Integer, Integer, Context) - Method in interface com.cyc.kb.Relation
Add a new interArgDifferent condition of this relation.
addInterArgDifferent(Integer, Integer, Context) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
addListener(QueryListener) - Method in interface com.cyc.query.Query
Adds a listener to this getQueryService.
addListener(CycSession.SessionListener) - Method in interface com.cyc.session.CycSession
Adds a CycSession.SessionListener to this session.
addQueryVariable(Variable) - Method in interface com.cyc.query.ModifiableQuerySpecification
Designates var as a variable to return bindings for.
addQuotedIsa(KbCollection, Context) - Method in interface com.cyc.kb.Assertion
A quotedIsa assertion relates CycL expression to SubLExpressionType.
addQuotedIsa(KbCollection, Context) - Method in interface com.cyc.kb.KbTerm
A quotedIsa assertion relates CycL expression to SubLExpressionType.
addQuotedIsa(KbCollection, Context) - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
addQuotedIsa(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
addResultGenl(KbCollection, Context) - Method in interface com.cyc.kb.KbFunction
creates a new #$resultGenl Fact in the specified context.
addResultGenl(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbFunctionWrapper
 
addResultIsa(KbCollection, Context) - Method in interface com.cyc.kb.KbFunction
creates a new #$resultIsa Fact in the supplied context.
addResultIsa(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbFunctionWrapper
 
addSpecialization(KbCollection) - Method in interface com.cyc.kb.KbCollection
Creates a new Fact stating that moreSpecific is a specialization of this KbCollection in the default assertion context.
addSpecialization(KbCollection, Context) - Method in interface com.cyc.kb.KbCollection
Creates a new Fact stating that moreSpecific is a specialization of this KbCollection in the Context ctx.
addSpecialization(KbPredicate, Context) - Method in interface com.cyc.kb.KbPredicate
creates a new Fact stating that this is a more specific predicate than moreSpecific in the specified context.
addSpecialization(KbCollection) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
addSpecialization(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
addSpecialization(KbPredicate, Context) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
addSubParaphrase(SubParaphrase) - Method in interface com.cyc.nl.Paraphrase
 
addSubstitutions(Map<KbObject, Object>) - Method in interface com.cyc.query.ModifiableQuerySpecification
Applies substitutions to the current query, even if it has already had some substitutions applied.
afterLast() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.afterLast().
ALL_KEYS - Static variable in interface com.cyc.session.CycSessionConfigurationProperties
Returns an array of all property names.
ALL_KEYS - Static variable in interface com.cyc.session.SessionManagerConfigurationProperties
Returns an array of all property names.
allGeneralizations() - Method in interface com.cyc.kb.KbCollection
Finds all the generalizations of this KbCollection, including the entire upward transitive closure, in any microtheory.
allGeneralizations(Context) - Method in interface com.cyc.kb.KbCollection
Finds all the generalizations of this KbCollection in the context including the entire upward transitive closure.
allGeneralizations() - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
allGeneralizations(Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
allowAllRules() - Method in interface com.cyc.query.QueryRules
If any rules are specified on the inference parameters for this query, remove them and let Cyc decide what rules are relevant.
allowReset() - Method in interface com.cyc.query.InferenceSuspendReason
Can an inference suspended for this reason be reset?
allowStop() - Method in interface com.cyc.query.InferenceSuspendReason
Can an inference suspended for this reason be stopped?
allSpecializations() - Method in interface com.cyc.kb.KbCollection
Finds all the specializations of this KbCollection, including the entire downward transitive closure, acontextually (ignoring Microtheories.)
allSpecializations(Context) - Method in interface com.cyc.kb.KbCollection
Finds all the specializations of this KbCollection in the context including the entire downward transitive closure
allSpecializations() - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
allSpecializations(Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
and(Sentence...) - Static method in interface com.cyc.kb.Sentence
Conjoin sentences.
and(Iterable<Sentence>) - Static method in interface com.cyc.kb.Sentence
Conjoin sentences.
and(Sentence...) - Method in interface com.cyc.kb.spi.SentenceService
Conjoin sentences.
and(Iterable<Sentence>) - Method in interface com.cyc.kb.spi.SentenceService
Conjoin sentences.
ANSWER_LANGUAGE - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for answer language.
ARG - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG
ARG0 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG0
ARG1 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG1
ARG2 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG2
ARG3 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG3
ARG4 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG4
ARG5 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG5
ARG6 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG6
ARG7 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG7
ARG8 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG8
ARG9 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARG9
ARG_GENL - Static variable in class com.cyc.Cyc.Constants
 
ARG_ISA - Static variable in class com.cyc.Cyc.Constants
 
ARGN - Static variable in class com.cyc.Cyc.Constants
CycL variable ?ARGN
ArgPosition - Interface in com.cyc.kb
 
ArgUpdate - Interface in com.cyc.kb
 
ArgUpdate.ArgUpdateOperation - Enum in com.cyc.kb
 
ARITY - Static variable in class com.cyc.Cyc.Constants
 
ASSERTED_SENTENCE - Static variable in class com.cyc.Cyc.Constants
 
assertIn(Context) - Method in interface com.cyc.kb.Sentence
Assert this sentence in the context ctx.
assertIn(Context) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
Assertion - Interface in com.cyc.kb
The top-level interface for assertions in a Cyc KB.
Assertion.Direction - Enum in com.cyc.kb
Direction determines the time when inference is performed for the given assertion.
Assertion.Strength - Enum in com.cyc.kb
Strength is a component of the truth value.
AssertionService - Interface in com.cyc.kb.spi
Provides implementations of Assertion.
AssertionWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing Assertions per the decorator pattern.
AssertionWrapper() - Constructor for class com.cyc.kb.wrapper.AssertionWrapper
 

B

BASE_KB - Static variable in class com.cyc.Cyc.Constants
Context for #$BaseKB
beforeFirst() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.beforeFirst().
BinaryPredicate - Interface in com.cyc.kb
The interface for KbPredicates that take exactly two arguments.
BinaryPredicateService - Interface in com.cyc.kb.spi
Provides implementations of BinaryPredicate.
BinaryPredicateWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing BinaryPredicates per the decorator pattern.
BinaryPredicateWrapper() - Constructor for class com.cyc.kb.wrapper.BinaryPredicateWrapper
 
bindVariable(Variable, Object) - Method in interface com.cyc.query.ModifiableQuerySpecification
Bind a query variable to a specified value.
BROWSABLE - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for browsable.

C

canonicalizeValue(Object) - Method in interface com.cyc.query.parameters.InferenceParameter
Canonicalize a value for this parameter.
changeDirection(Assertion.Direction) - Method in interface com.cyc.kb.Assertion
Change the direction of the assertion to the input direction.
changeDirection(Assertion.Direction) - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
CHECK_SENTENCE - Static variable in class com.cyc.Cyc.Constants
 
clear() - Method in interface com.cyc.query.parameters.InferenceParameterSetter
 
clearCache() - Method in interface com.cyc.kb.spi.KbService
Clears all caches relating KbObjects to objects on the Cyc server.
clearResults() - Method in interface com.cyc.query.Query
Forget all results for this getQueryService.
clone() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
 
close() - Method in interface com.cyc.query.InferenceIdentifier
 
close() - Method in interface com.cyc.query.Query
Closes this getQueryService's result set, and releases resources on the Cyc server.
close() - Method in interface com.cyc.query.QueryResultSet
Releases this QueryResultSetImpl object's server side inference resources.
close() - Method in interface com.cyc.session.CycSession
Closes a session, and releases it from the local thread.
closeAllUnclosedQueries() - Method in interface com.cyc.query.spi.QueryService
Closes all unclosed queries.
com.cyc - package com.cyc
Cyc API factories and constants.
com.cyc.kb - package com.cyc.kb
Interfaces for manipulating CycL-based java objects, both for the purpose of making assertions and for retrieving terms and values via simple queries.
com.cyc.kb.exception - package com.cyc.kb.exception
KB API exception hierarchy.
com.cyc.kb.spi - package com.cyc.kb.spi
All KB API service provider interfaces.
com.cyc.kb.wrapper - package com.cyc.kb.wrapper
Abstract classes for implementing KbObjects per the decorator pattern.
com.cyc.nl - package com.cyc.nl
Provides support for the NL API, which translates back and forth between CycL and natural language.
com.cyc.nl.spi - package com.cyc.nl.spi
All NL API service provider interfaces.
com.cyc.query - package com.cyc.query
Interfaces for asking arbitrarily complex queries of a Cyc server, and processing the answers.
com.cyc.query.exception - package com.cyc.query.exception
Query API exception hierarchy.
com.cyc.query.graph - package com.cyc.query.graph
Query API graph utilities.
com.cyc.query.metrics - package com.cyc.query.metrics
Interfaces for inference metrics, which tell Cyc's inference engine to collect certain types of data for later inspection.
com.cyc.query.parameters - package com.cyc.query.parameters
Interfaces for inference parameters, which determine how Cyc performs an inference.
com.cyc.query.spi - package com.cyc.query.spi
All Query API service provider interfaces.
com.cyc.session - package com.cyc.session
Interfaces for configuring and managing connections to a Cyc server.
com.cyc.session.exception - package com.cyc.session.exception
Session API exception hierarchy.
com.cyc.session.spi - package com.cyc.session.spi
All Session API service provider interfaces.
COMMENT - Static variable in class com.cyc.Cyc.Constants
 
compareTo(Paraphrase<C>) - Method in interface com.cyc.nl.Paraphrase
 
compareTo(Object) - Method in class com.cyc.session.ServerAddress
 
CONFIGURATION_FILE_KEY - Static variable in interface com.cyc.session.CycSessionConfigurationProperties
The name of a configuration file to be loaded.
CONFIGURATION_LOADER_KEY - Static variable in interface com.cyc.session.CycSessionConfigurationProperties
A requested SessionConfigurationLoader, as either the loader class's canonical name or convenience name (i.e., matching SessionConfigurationLoader#getName()).
Constants() - Constructor for class com.cyc.Cyc.Constants
 
containsKey(String) - Method in interface com.cyc.query.parameters.InferenceParameterGetter
 
CONTENT_FOR_API_TEST - Static variable in class com.cyc.Cyc.Constants
#$ContentForAPITest, the collection of all regression tests that test the presence/production of KB content that is leveraged by a Java API unit test.
Context - Interface in com.cyc.kb
The interface for KbIndividuals that correspond to CycL microtheories.
ContextService - Interface in com.cyc.kb.spi
Provides implementations of Context.
ContextWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing Contexts per the decorator pattern.
ContextWrapper() - Constructor for class com.cyc.kb.wrapper.ContextWrapper
 
CONTINUABLE - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for continuable.
continueQuery() - Method in interface com.cyc.query.Query
Continues the getQueryService.
CoreServicesLoader - Class in com.cyc
This class is solely responsible for loading Core API services, such as KbApiService.
CreateException - Exception in com.cyc.kb.exception
Thrown when code fails to find or create something from the Cyc KB.
CreateException(String) - Constructor for exception com.cyc.kb.exception.CreateException
 
Cyc - Class in com.cyc
 
Cyc.Constants - Class in com.cyc
 
CycAddress - Interface in com.cyc.session
Describes the address of a Cyc server.
CycApiEntryPoint - Interface in com.cyc
A marker service provider interface (SPI) for Cyc API entrypoints.
CYCL_QUERY_SPECIFICATION - Static variable in class com.cyc.Cyc.Constants
#$CycLQuerySpecification, the collection of all KBQs.
cycListApiValue() - Method in interface com.cyc.query.InferenceAnswerIdentifier
 
cycListApiValue() - Method in interface com.cyc.query.parameters.InferenceParameters
 
CycServerInfo - Interface in com.cyc.session
Provides basic information about the state and location of the server to which the CycSession is connected (or was connected.) All data returned should be generated by examining the current session connection, or retrieved from the server.
CycServerReleaseType - Enum in com.cyc.session
Enum representing Cyc server types.
CycServicesLoader - Class in com.cyc
This class is solely responsible for loading Cyc API services, such as KbApiService.
CycSession - Interface in com.cyc.session
An active (or potentially active) session with a Cyc server.
CycSession.ConnectionStatus - Enum in com.cyc.session
The connection status of a CycSession.
CycSession.SessionListener - Interface in com.cyc.session
Provides notifications about changes to a CycSession.
CycSessionConfiguration - Interface in com.cyc.session
Configuration parameters used by the Session API to establish a new CycSession.
CycSessionConfigurationProperties - Interface in com.cyc.session
This defines the canonical set of names for all CycSessionConfiguration properties.

D

DATA_MT - Static variable in class com.cyc.Cyc.Constants
 
deepCopy() - Method in interface com.cyc.kb.ArgPosition
 
DEFAULT_MSG - Static variable in exception com.cyc.session.exception.OpenCycUnsupportedFeatureException
 
DefaultContext - Interface in com.cyc.kb
An immutable object interface to store default contexts for assertions and queries.
delete() - Method in interface com.cyc.kb.Assertion
Remove this Assertion from the KB.
delete() - Method in interface com.cyc.kb.KbTerm
Delete this term and all the facts using it in the KB.
delete() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
delete() - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
DeleteException - Exception in com.cyc.kb.exception
Thrown when code fails to delete something from the Cyc KB.
DeleteException(String) - Constructor for exception com.cyc.kb.exception.DeleteException
 
depth() - Method in interface com.cyc.kb.ArgPosition
Get the nesting depth of this arg position.
DIFFERENT - Static variable in class com.cyc.Cyc.Constants
 
DISJUNCTION_FREE_EL_VARS_POLICY - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for disjunction free EL vars policy.
DisjunctionFreeElVarsPolicy - Enum in com.cyc.query.parameters
 

E

entrySet() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
 
EQUALITY_REASONING_DOMAIN - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for problem reuse policy.
equals(Object) - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
equals(Object) - Method in interface com.cyc.nl.Paraphrase
 
equals(Object) - Method in interface com.cyc.query.graph.GraphNodeAbsolutePath
Indicates whether a GraphNodeAbsolutePath instance is of the same type and has the same path as this instance.
equals(Object) - Method in class com.cyc.session.ServerAddress
 
equalsSemantically(Object) - Method in interface com.cyc.kb.KbObject
Does this represent the same object in the KB as object.
equalsSemantically(Object) - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
EVERYTHING_PSC - Static variable in class com.cyc.Cyc.Constants
Context for #$EverythingPSC
existsAsType(String) - Static method in interface com.cyc.kb.BinaryPredicate
 
existsAsType(String) - Static method in interface com.cyc.kb.Context
 
existsAsType(String) - Static method in interface com.cyc.kb.FirstOrderCollection
 
existsAsType(String) - Static method in interface com.cyc.kb.KbCollection
 
existsAsType(String) - Static method in interface com.cyc.kb.KbFunction
 
existsAsType(String) - Static method in interface com.cyc.kb.KbIndividual
 
existsAsType(String) - Static method in interface com.cyc.kb.KbPredicate
 
existsAsType(String) - Static method in interface com.cyc.kb.KbTerm
 
existsAsType(String) - Static method in interface com.cyc.kb.Relation
 
existsAsType(String) - Static method in interface com.cyc.kb.SecondOrderCollection
 
existsAsType(String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
Checks whether entity exists in KB and is an instance of #$BinaryPredicate.
existsAsType(String) - Method in interface com.cyc.kb.spi.ContextService
Checks whether entity exists in KB and is an instance of #$Microtheory.
existsAsType(String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
Checks whether entity exists in KB and is an instance of #$FirstOrderCollection.
existsAsType(String) - Method in interface com.cyc.kb.spi.KbCollectionService
Checks whether nameOrId exists in KB and is an instance of #$Collection.
existsAsType(String) - Method in interface com.cyc.kb.spi.KbFunctionService
Checks whether entity exists in KB and is an instance of #$Function-Denotational.
existsAsType(String) - Method in interface com.cyc.kb.spi.KbIndividualService
Checks whether entity exists in KB and is an instance of #$Individual.
existsAsType(String) - Method in interface com.cyc.kb.spi.KbPredicateService
Checks whether entity exists in KB and is an instance of #$Predicate.
existsAsType(String) - Method in interface com.cyc.kb.spi.KbTermService
Checks whether entity exists in KB and is an instance of #$Thing.
existsAsType(String) - Method in interface com.cyc.kb.spi.RelationService
Checks whether entity exists in KB and is an instance of #$Relation.
existsAsType(String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
Checks whether entity exists in KB and is an instance of #$SecondOrderCollection.
existsInKb(String) - Static method in class com.cyc.Cyc
Checks whether a given ID or Cycl term has in the KB.
existsInKb(String) - Method in interface com.cyc.kb.spi.KbService
Checks whether a given ID or Cycl term exists in the KB.
extend(ArgPosition) - Method in interface com.cyc.kb.ArgPosition
Destructively extend this arg position by another arg position.
extend(Integer) - Method in interface com.cyc.kb.ArgPosition
Destructively extend this arg position by one argnum.

F

Fact - Interface in com.cyc.kb
The interface for Assertions that relate KbCollections and KbIndividuals to each other and to primitive values such as numbers and strings.
FactService - Interface in com.cyc.kb.spi
Provides implementations of Fact.
FactWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing Facts per the decorator pattern.
FactWrapper() - Constructor for class com.cyc.kb.wrapper.FactWrapper
 
FALSE_CYCL - Static variable in class com.cyc.Cyc.Constants
 
findColumn(Variable) - Method in interface com.cyc.query.QueryResultSet
Returns the column index for variable.
findColumn(String) - Method in interface com.cyc.query.QueryResultSet
Returns the column index for columnLabel.
findExplanationService(QueryAnswer, QueryAnswerExplanationSpecification<T>) - Static method in class com.cyc.Cyc
 
findExplanationService(CoreServicesLoader, QueryAnswer, QueryAnswerExplanationSpecification<T>) - Method in interface com.cyc.query.spi.QueryApiService
 
findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Static method in interface com.cyc.kb.Assertion
 
findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Static method in interface com.cyc.kb.Assertion
 
findOrCreate(Sentence, Context) - Static method in interface com.cyc.kb.Assertion
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.Assertion
 
findOrCreate(Sentence) - Static method in interface com.cyc.kb.Assertion
 
findOrCreate(String) - Static method in interface com.cyc.kb.Assertion
 
findOrCreate(String) - Static method in interface com.cyc.kb.BinaryPredicate
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.BinaryPredicate
 
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.BinaryPredicate
 
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.BinaryPredicate
 
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.BinaryPredicate
 
findOrCreate(String) - Static method in interface com.cyc.kb.Context
Find or create a Context object named nameOrId.
findOrCreate(String, String) - Static method in interface com.cyc.kb.Context
Find or create a Context object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext.forAssertion().
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.Context
Find or create a Context object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.Context
Find or create a Context object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext.forAssertion().
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.Context
Find or create a Context object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Static method in interface com.cyc.kb.Fact
 
findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Static method in interface com.cyc.kb.Fact
 
findOrCreate(Sentence, Context) - Static method in interface com.cyc.kb.Fact
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.Fact
 
findOrCreate(Sentence) - Static method in interface com.cyc.kb.Fact
 
findOrCreate(String) - Static method in interface com.cyc.kb.Fact
 
findOrCreate(String) - Static method in interface com.cyc.kb.FirstOrderCollection
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.FirstOrderCollection
 
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.FirstOrderCollection
 
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.FirstOrderCollection
 
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.FirstOrderCollection
 
findOrCreate(String) - Static method in interface com.cyc.kb.KbCollection
Find or create a KbCollection object named nameOrId.
findOrCreate(String, String) - Static method in interface com.cyc.kb.KbCollection
Find or create a KbCollection object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext.forAssertion().
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.KbCollection
Find or create a KbCollection object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.KbCollection
Find or create a KbCollection object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext.forAssertion().
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.KbCollection
Find or create a KbCollection object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Static method in interface com.cyc.kb.KbFunction
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.KbFunction
 
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.KbFunction
 
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.KbFunction
 
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.KbFunction
 
findOrCreate(String) - Static method in interface com.cyc.kb.KbIndividual
Find or create a KbIndividual object named nameOrId.
findOrCreate(String, String) - Static method in interface com.cyc.kb.KbIndividual
Find or create a KbIndividual object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext.forAssertion().
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.KbIndividual
Find or create a KbIndividual object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.KbIndividual
Find or create a KbIndividual object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext.forAssertion().
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.KbIndividual
Find or create a KbIndividual object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Static method in interface com.cyc.kb.KbPredicate
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.KbPredicate
 
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.KbPredicate
 
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.KbPredicate
 
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.KbPredicate
 
findOrCreate(String) - Static method in interface com.cyc.kb.KbTerm
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.KbTerm
 
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.KbTerm
 
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.KbTerm
 
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.KbTerm
 
findOrCreate(String) - Static method in interface com.cyc.kb.Relation
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.Relation
 
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.Relation
 
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.Relation
 
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.Relation
 
findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Static method in interface com.cyc.kb.Rule
 
findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Static method in interface com.cyc.kb.Rule
 
findOrCreate(Sentence, Context) - Static method in interface com.cyc.kb.Rule
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.Rule
 
findOrCreate(Sentence) - Static method in interface com.cyc.kb.Rule
 
findOrCreate(String) - Static method in interface com.cyc.kb.Rule
 
findOrCreate(Sentence, Sentence, Context) - Static method in interface com.cyc.kb.Rule
 
findOrCreate(String) - Static method in interface com.cyc.kb.SecondOrderCollection
 
findOrCreate(String, String) - Static method in interface com.cyc.kb.SecondOrderCollection
 
findOrCreate(String, String, String) - Static method in interface com.cyc.kb.SecondOrderCollection
 
findOrCreate(String, KbCollection) - Static method in interface com.cyc.kb.SecondOrderCollection
 
findOrCreate(String, KbCollection, Context) - Static method in interface com.cyc.kb.SecondOrderCollection
 
findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.AssertionService
Finds or creates the Assertion object that corresponds to formula in ctx.
findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.AssertionService
Finds or creates the Assertion object that corresponds to formulaStr in the context corresponding to ctxStr.
findOrCreate(Sentence, Context) - Method in interface com.cyc.kb.spi.AssertionService
Finds or creates the Assertion object that corresponds to formula in ctx.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.AssertionService
Finds or creates the Assertion object that corresponds to formulaStr in the context corresponding to ctxStr.
findOrCreate(Sentence) - Method in interface com.cyc.kb.spi.AssertionService
Find or creates the Assertion object that corresponds to formula in the default assertion context (@link DefaultContext}.
findOrCreate(String) - Method in interface com.cyc.kb.spi.AssertionService
Finds or creates the Assertion object that corresponds to formulaStr in the default assertion context.
findOrCreate(String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
Find or create a BinaryPredicate object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
Find or create a BinaryPredicate object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
Find or create a BinaryPredicate object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.BinaryPredicateService
Find or create a BinaryPredicate object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.BinaryPredicateService
Find or create a BinaryPredicate object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.ContextService
Find or create a Context object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.ContextService
Find or create a Context object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext.forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.ContextService
Find or create a Context object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.ContextService
Find or create a Context object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext.forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.ContextService
Find or create a Context object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.FactService
Finds or creates the Fact object that corresponds to formulaStr in the default assertion context.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.FactService
Finds or creates the Fact object that corresponds to formulaStr in the context corresponding to ctxStr.
findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.FactService
Finds or creates the Fact object that corresponds to formulaStr in the context corresponding to ctxStr.
findOrCreate(Sentence) - Method in interface com.cyc.kb.spi.FactService
Finds or creates the Fact object that corresponds to formula in the default assertion context.
findOrCreate(Sentence, Context) - Method in interface com.cyc.kb.spi.FactService
Finds or creates the Fact object that corresponds to formula in ctx.
findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.FactService
Finds or creates the Fact object that corresponds to formula in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
Find or create a FirstOrderCollection object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
Find or create a FirstOrderCollection object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
Find or create a FirstOrderCollection object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
Find or create a FirstOrderCollection object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
Find or create a FirstOrderCollection object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.KbCollectionService
Find or create a KbCollection object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbCollectionService
Find or create a KbCollection object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbCollectionService
Find or create a KbCollection object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbCollectionService
Find or create a KbCollection object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbCollectionService
Find or create a KbCollection object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.KbFunctionService
Find or create a KbFunction object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbFunctionService
Find or create a KbFunction object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbFunctionService
Find or create a KbFunction object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbFunctionService
Find or create a KbFunction object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbFunctionService
Find or create a KbFunction object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.KbIndividualService
Find or create a KbIndividual object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbIndividualService
Find or create a KbIndividual object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbIndividualService
Find or create a KbIndividual object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbIndividualService
Find or create a KbIndividual object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbIndividualService
Find or create a KbIndividual object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.KbPredicateService
Find or create a KbPredicate object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbPredicateService
Find or create a KbPredicate object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbPredicateService
Find or create a KbPredicate object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbPredicateService
Find or create a KbPredicate object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbPredicateService
Find or create a KbPredicate object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.KbTermService
Find or create a KbTerm object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbTermService
Find or create a KbTerm object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbTermService
Find or create a KbTerm object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbTermService
Find or create a KbTerm object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbTermService
Find or create a KbTerm object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.RelationService
Find or create a Relation object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.RelationService
Find or create a Relation object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.RelationService
Find or create a Relation object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.RelationService
Find or create a Relation object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.RelationService
Find or create a Relation object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.RuleService
Finds or creates the Rule that corresponds to formulaStr in the default assertion context.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.RuleService
Finds or creates the Rule that corresponds to formulaStr in the context ctxStr.
findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.RuleService
Finds or creates the Rule that corresponds to formulaStr in the context ctxStr with the specified strength and direction.
findOrCreate(Sentence) - Method in interface com.cyc.kb.spi.RuleService
Finds or creates the Rule object that corresponds to formula in the default assertion context DefaultContext.
findOrCreate(Sentence, Context) - Method in interface com.cyc.kb.spi.RuleService
Finds or creates the Rule object that corresponds to formula in ctx.
findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.RuleService
Finds or creates the Rule object that corresponds to formula in ctx using the specified strength and direction.
findOrCreate(Sentence, Sentence, Context) - Method in interface com.cyc.kb.spi.RuleService
Finds or creates the Rule that corresponds to a formula with antecedent and consequent in the context ctx.
findOrCreate(String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
Find or create a SecondOrderCollection object named nameOrId.
findOrCreate(String, String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
Find or create a SecondOrderCollection object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
Find or create a SecondOrderCollection object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
Find or create a SecondOrderCollection object named nameOrId, and also make it an instance of constraintCol in the default context specified by DefaultContext#forAssertion().
findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
Find or create a SecondOrderCollection object named nameOrId, and also make it an instance of constraintCol in ctx.
findOrCreateFunctionalTerm(Class<O>, Object...) - Method in interface com.cyc.kb.KbFunction
Create an object of type O with args as the arguments to this KbFunction.
findOrCreateFunctionalTerm(Class<O>, Object...) - Method in class com.cyc.kb.wrapper.KbFunctionWrapper
 
findRedundantClauses() - Method in interface com.cyc.query.Query
Identifies redundant clauses in this getQueryService.
findUnconnectedClauses() - Method in interface com.cyc.query.Query
Identifies unconnected clauses in this getQueryService.
first() - Method in interface com.cyc.kb.ArgPosition
Get the first element in this arg position's path.
first() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.first().
FirstOrderCollection - Interface in com.cyc.kb
The interface for KbCollections whose members are all KbIndividuals.
FirstOrderCollectionService - Interface in com.cyc.kb.spi
Provides implementations of FirstOrderCollection.
FirstOrderCollectionWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing FirstOrderCollections per the decorator pattern.
FirstOrderCollectionWrapper() - Constructor for class com.cyc.kb.wrapper.FirstOrderCollectionWrapper
 
forAssertion() - Method in interface com.cyc.kb.DefaultContext
 
forExplanationType() - Method in interface com.cyc.query.QueryAnswerExplanationSpecification
 
forExplanationType() - Method in interface com.cyc.query.spi.QueryAnswerExplanationService
The type of QueryAnswerExplanation for which this service produces potentially suitable QueryAnswerExplanationGenerators.
forQuery() - Method in interface com.cyc.kb.DefaultContext
 
fromAddress(CycAddress, Integer) - Static method in interface com.cyc.session.CycAddress
Creates a new CycAddress from an existing CycAddress, but with a new concurrencyLevel.
fromAddress(CycAddress) - Static method in interface com.cyc.session.CycAddress
Creates a new CycAddress from an existing CycAddress.
fromAddressWithDefaults(CycAddress, Integer) - Static method in interface com.cyc.session.CycAddress
Creates a new CycAddress from an existing CycAddress, setting the concurrency level if unspecified in the original address.
fromName(String) - Static method in enum com.cyc.query.parameters.StandardInferenceMetric
Return the standard inference metric with the specified name, if there is one.
fromString(String) - Static method in interface com.cyc.session.CycAddress
Creates a new CycAddress instance from a string matching the format host:port.
fromString(String) - Static method in enum com.cyc.session.CycServerReleaseType
Returns the CycServerReleaseType constant matching the specified String.
fromString(String) - Static method in class com.cyc.session.ServerAddress
Creates a new ServerAddress instance from a string matching the format host:port.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.CreateException
Converts a Throwable to a CreateException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.CreateException
Converts a Throwable to a CreateException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.DeleteException
Converts a Throwable to a DeleteException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.DeleteException
Converts a Throwable to a DeleteException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.InvalidFormulaInContextException
Converts a Throwable to a InvalidFormulaInContextException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.InvalidFormulaInContextException
Converts a Throwable to a InvalidFormulaInContextException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.InvalidNameException
Converts a Throwable to a InvalidNameException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.InvalidNameException
Converts a Throwable to a InvalidNameException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.KbException
Converts a Throwable to a KbException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.KbException
Converts a Throwable to a KbException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.KbObjectNotFoundException
Converts a Throwable to a KbObjectNotFoundException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.KbObjectNotFoundException
Converts a Throwable to a KbObjectNotFoundException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.KbRuntimeException
Converts a Throwable to a KbRuntimeException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.KbRuntimeException
Converts a Throwable to a KbRuntimeException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.KbServerSideException
Converts a Throwable to a KbServerSideException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.KbServerSideException
Converts a Throwable to a KbServerSideException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.KbTypeConflictException
Converts a Throwable to a KbTypeConflictException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.KbTypeConflictException
Converts a Throwable to a KbTypeConflictException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.KbTypeException
Converts a Throwable to a KbTypeException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.KbTypeException
Converts a Throwable to a KbTypeException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.kb.exception.StaleKbObjectException
Converts a Throwable to a StaleKbObjectException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.StaleKbObjectException
Converts a Throwable to a StaleKbObjectException with the specified detail message.
fromThrowable(String, Throwable) - Static method in exception com.cyc.kb.exception.VariableArityException
Converts a Throwable to a VariableArityException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.query.exception.ProofViewException
Converts a Throwable to a ProofViewException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.query.exception.ProofViewException
Converts a Throwable to a ProofViewException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.query.exception.QueryConstructionException
Converts a Throwable to a QueryConstructionException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.query.exception.QueryConstructionException
Converts a Throwable to a QueryConstructionException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.query.exception.QueryException
Converts a Throwable to a QueryException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.query.exception.QueryException
Converts a Throwable to a QueryException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.query.exception.QueryRuntimeException
Converts a Throwable to a QueryRuntimeException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.query.exception.QueryRuntimeException
Converts a Throwable to a QueryRuntimeException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.OpenCycUnsupportedFeatureException
Converts a Throwable to a OpenCycUnsupportedFeatureException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.OpenCycUnsupportedFeatureException
Converts a Throwable to a OpenCycUnsupportedFeatureException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.SessionCommandException
Converts a Throwable to a SessionCommandException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.SessionCommandException
Converts a Throwable to a SessionCommandException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.SessionCommunicationException
Converts a Throwable to a SessionCommunicationException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.SessionCommunicationException
Converts a Throwable to a SessionCommunicationException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.SessionConfigurationException
Converts a Throwable to a SessionConfigurationException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.SessionConfigurationException
Converts a Throwable to a SessionConfigurationException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.SessionException
Converts a Throwable to a SessionException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.SessionException
Converts a Throwable to a SessionException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.SessionInitializationException
Converts a Throwable to a SessionInitializationException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.SessionInitializationException
Converts a Throwable to a SessionInitializationException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.SessionManagerConfigurationException
Converts a Throwable to a SessionManagerConfigurationException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.SessionManagerConfigurationException
Converts a Throwable to a SessionManagerConfigurationException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.SessionManagerException
Converts a Throwable to a SessionManagerException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.SessionManagerException
Converts a Throwable to a SessionManagerException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.SessionRuntimeException
Converts a Throwable to a SessionRuntimeException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.SessionRuntimeException
Converts a Throwable to a SessionRuntimeException with the specified detail message.
fromThrowable(Class, Throwable) - Static method in exception com.cyc.session.exception.SessionServiceException
Converts a Throwable to a SessionServiceException.
fromThrowable(Class, String, Throwable) - Static method in exception com.cyc.session.exception.SessionServiceException
Converts a Throwable to a SessionServiceException with the specified detail message.
fromThrowable(Throwable) - Static method in exception com.cyc.session.exception.UnsupportedCycOperationException
Converts a Throwable to a UnsupportedCycOperationException.
fromThrowable(String, Throwable) - Static method in exception com.cyc.session.exception.UnsupportedCycOperationException
Converts a Throwable to a UnsupportedCycOperationException with the specified detail message.
fromValue(String) - Static method in enum com.cyc.kb.ArgUpdate.ArgUpdateOperation
 
fromValue(String) - Static method in enum com.cyc.nl.HtmlLinkType
 

G

generate() - Method in interface com.cyc.query.QueryAnswerExplanationGenerator
Flesh out this explanation, setting its root node and tree structure underneath the root.
GenerationMode - Interface in com.cyc.nl
 
GENL_INVERSE - Static variable in class com.cyc.Cyc.Constants
 
GENL_MT - Static variable in class com.cyc.Cyc.Constants
 
GENL_PREDS - Static variable in class com.cyc.Cyc.Constants
 
GENLS - Static variable in class com.cyc.Cyc.Constants
 
get(String) - Static method in interface com.cyc.kb.Assertion
Get the Assertion object that corresponds to hlid.
get(Sentence, Context) - Static method in interface com.cyc.kb.Assertion
Get the Assertion object that corresponds to formula in the context ctx.
get(String, String) - Static method in interface com.cyc.kb.Assertion
Get the Assertion object that corresponds to formulaStr in the context corresponding to ctxStr.
get(String) - Static method in interface com.cyc.kb.BinaryPredicate
Get the BinaryPredicate with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.Context
Get the Context with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.Fact
Get the Fact object that corresponds to hlid.
get(Sentence, Context) - Static method in interface com.cyc.kb.Fact
Get the Fact object that corresponds to formula in the context ctx.
get(String, String) - Static method in interface com.cyc.kb.Fact
Get the Fact object that corresponds to formulaStr in the context corresponding to ctxStr.
get(String) - Static method in interface com.cyc.kb.FirstOrderCollection
Get the FirstOrderCollection with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.KbCollection
Get the KbCollection with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.KbFunction
Get the KbFunction with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.KbIndividual
Get the KbIndividual with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.KbObject
Returns a KbObject which is the best representation for a given String, so long as it doesn't need to be created in the KB.
get(String) - Static method in interface com.cyc.kb.KbPredicate
Get the KbPredicate with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.KbTerm
Get the KbTerm with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.Relation
Get the Relation with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.Rule
Get the Rule that corresponds to hlid.
get(Sentence, Context) - Static method in interface com.cyc.kb.Rule
Get the Rule that corresponds to formula in the context ctx.
get(String, String) - Static method in interface com.cyc.kb.Rule
Get the Rule for formulaStr in the context ctxStr.
get(Sentence, Sentence, Context) - Static method in interface com.cyc.kb.Rule
Get the Rule that corresponds to a formula with antecedent as its antecedent and consequent as its consequent in the context ctx.
get(String) - Static method in interface com.cyc.kb.SecondOrderCollection
Get the SecondOrderCollection with the name nameOrId.
get(String) - Static method in interface com.cyc.kb.Sentence
Attempts to convert a CycL string into a CycFormulaSentence and thus into a KbObject, Sentence.
get(Relation, Object...) - Static method in interface com.cyc.kb.Sentence
Builds a sentence based on pred and other args.
get(Object...) - Static method in interface com.cyc.kb.Sentence
Builds an arbitrary sentence based on the args provided.
get(String) - Method in interface com.cyc.kb.spi.AssertionService
Get the Assertion object that corresponds to hlid.
get(Sentence, Context) - Method in interface com.cyc.kb.spi.AssertionService
Get the Assertion object that corresponds to formula in the context ctx.
get(String, String) - Method in interface com.cyc.kb.spi.AssertionService
Get the Assertion object that corresponds to formulaStr in the context corresponding to ctxStr.
get(String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
Get the BinaryPredicate with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.ContextService
Get the Context with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.FactService
Get the Fact object that corresponds to hlid.
get(String, String) - Method in interface com.cyc.kb.spi.FactService
Get the Fact object that corresponds to formulaStr in the context corresponding to ctxStr.
get(Sentence, Context) - Method in interface com.cyc.kb.spi.FactService
Get the Fact object that corresponds to formula in the context ctx.
get(String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
Get the FirstOrderCollection with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.KbCollectionService
Get the KbCollection with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.KbFunctionService
Get the KbFunction with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.KbIndividualService
Get the KbIndividual with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.KbPredicateService
Get the KbPredicate with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.KbTermService
Get the KbTerm with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.RelationService
Get the Relation with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.RuleService
Get the Rule that corresponds to hlid.
get(String, String) - Method in interface com.cyc.kb.spi.RuleService
Get the Rule for formulaStr in the context ctxStr.
get(Sentence, Context) - Method in interface com.cyc.kb.spi.RuleService
Get the Rule that corresponds to formula in the context ctx.
get(Sentence, Sentence, Context) - Method in interface com.cyc.kb.spi.RuleService
Get the Rule that corresponds to a formula with antecedent as its antecedent and consequent as its consequent in the context ctx.
get(String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
Get the SecondOrderCollection with the name nameOrId.
get(String) - Method in interface com.cyc.kb.spi.SentenceService
Attempts to convert a CycL string into a CycFormulaSentence and thus into a KbObject, Sentence.
get(Relation, Object...) - Method in interface com.cyc.kb.spi.SentenceService
Builds a sentence based on pred and other args.
get(Object...) - Method in interface com.cyc.kb.spi.SentenceService
Builds an arbitrary sentence based on the args provided.
get(String) - Method in interface com.cyc.kb.spi.SymbolService
Creates an instance of #$CycLSubLSymbol represented by symStr in the underlying KB.
get(String) - Method in interface com.cyc.kb.spi.VariableService
Creates an instance of #$CycLVariable represented by varStr in the underlying KB.
get(String) - Static method in interface com.cyc.kb.Symbol
Creates an instance of #$CycLSubLSymbol represented by symStr in the underlying KB.
get(String) - Static method in interface com.cyc.kb.Variable
Creates an instance of #$CycLVariable represented by varStr in the underlying KB.
get(Paraphraser.ParaphrasableType) - Static method in interface com.cyc.nl.Paraphraser
 
get(String) - Method in interface com.cyc.query.parameters.InferenceParameterGetter
 
get(QueryAnswer, ProofViewSpecification) - Static method in interface com.cyc.query.ProofViewGenerator
Finds and returns a ProofViewGenerator instance.
get() - Static method in interface com.cyc.query.ProofViewSpecification
Returns a new ProofViewSpecification object.
get(String) - Static method in interface com.cyc.query.Query
Constructs a Query working with the string queryStr.
get(String, String) - Static method in interface com.cyc.query.Query
Returns a getQueryService object defined by queryStr asked in Microtheory ctxStr, with default inference parameters.
get(String, String, String) - Static method in interface com.cyc.query.Query
Returns a getQueryService object defined by queryStr asked in Microtheory ctxStr, with inference parameters, queryParams.
get(Sentence, Context, InferenceParameters) - Static method in interface com.cyc.query.Query
 
get(Sentence, Context) - Static method in interface com.cyc.query.Query
 
get(KbIndividual) - Static method in interface com.cyc.query.Query
Constructs a Query from a KbIndividual corresponding to #$CycLQuerySpecification.
get(KbIndividual, Map<KbObject, Object>) - Static method in interface com.cyc.query.Query
Returns a new Query loaded from a term in Cyc specifying its properties.
get(String, Map<String, String>) - Static method in interface com.cyc.query.Query
Returns a Query object defined by a CycLQuerySpecification term, and substitutes in relevant values from the indexicals Map.
get(QueryAnswer, QueryAnswerExplanationSpecification<T>) - Static method in interface com.cyc.query.QueryAnswerExplanation
Returns an explanation for an answer, generating one if necessary via a call to QueryAnswerExplanationGenerator.generate().
get(QueryAnswer, QueryAnswerExplanationSpecification<T>) - Static method in interface com.cyc.query.QueryAnswerExplanationGenerator
Finds and returns an instance of a QueryAnswerExplanationGenerator suitable for generating and returning a QueryAnswerExplanation for a given QueryAnswerExplanationSpecification.
get(String, int, Integer) - Static method in interface com.cyc.session.CycAddress
Creates a CycAddress for the given hostName, basePort, and concurrencyLevel.
get(String, int) - Static method in interface com.cyc.session.CycAddress
Creates a CycAddress for the given hostName and basePort.
getAbbreviation() - Method in enum com.cyc.session.CycServerReleaseType
 
getAbductionAllowed() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Check whether the Query allows abduction.
getAllowedRules() - Method in interface com.cyc.query.QueryRules
 
getAlternateValue() - Method in interface com.cyc.query.parameters.InferenceParameter
 
getAnswer(int) - Method in interface com.cyc.query.Query
Returns the nth answer for this getQueryService.
getAnswer(int, Paraphraser) - Method in interface com.cyc.query.Query
Returns the nth answer for this getQueryService.
getAnswer() - Method in interface com.cyc.query.QueryAnswerExplanationGenerator
Returns the inference answer justified by this object
getAnswerCount() - Method in interface com.cyc.query.Query
Returns the number of answers found for this getQueryService.
getAnswerId() - Method in interface com.cyc.query.InferenceAnswerIdentifier
 
getAnswerLanguage() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Get the flavor of CycL to use for answers, or null if unspecified.
getAnswers() - Method in interface com.cyc.query.Query
Returns the list of answers for this getQueryService.
getAnswers(Paraphraser) - Method in interface com.cyc.query.Query
Returns the list of answers for this getQueryService.
getAnswerSentence(QueryAnswer) - Method in interface com.cyc.query.Query
Get the CycL getSentenceService from the specified answer to this getQueryService.
getAntecedent() - Method in interface com.cyc.kb.Rule
Return the first argument of the Rule assertion.
getAntecedent() - Method in class com.cyc.kb.wrapper.RuleWrapper
 
getApiObject(Object) - Static method in class com.cyc.Cyc
Returns a Object which is the best representation for a given Object (generally a String), so long as it doesn't need to be created in the KB.
getApiObject(String) - Static method in class com.cyc.Cyc
Returns a Object which is the best representation for a given String, so long as it doesn't need to be created in the KB.
getApiObject(Object) - Method in interface com.cyc.kb.spi.KbService
Returns a Object which is the best representation for a given Object (generally a String), so long as it doesn't need to be created in the KB.
getApiObject(String) - Method in interface com.cyc.kb.spi.KbService
Returns a Object which is the best representation for a given String, so long as it doesn't need to be created in the KB.
getApiObjectDwim(String) - Static method in class com.cyc.Cyc
Returns a Object which is the best representation for a given String, so long as it doesn't need to be created in the KB.
getApiObjectDwim(String) - Method in interface com.cyc.kb.spi.KbService
Returns a Object which is the best representation for a given String, so long as it doesn't need to be created in the KB.
getArgGenl(int) - Method in interface com.cyc.kb.Relation
gets the KbCollections that all arguments in position argPos of the relation must be specializations of, as viewed from the default context specified by DefaultContext.forQuery() set in SessionOptions.getDefaultContext().
getArgGenl(int, Context) - Method in interface com.cyc.kb.Relation
gets the KbCollections that all arguments in position argPos of the relation must be specializations of, as viewed from the context ctx
getArgGenl(int) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getArgGenl(int, Context) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getArgGenlList() - Method in interface com.cyc.kb.Relation
Returns an ordered list of all argGenl constraints for this Relation.
getArgGenlList(Context) - Method in interface com.cyc.kb.Relation
Returns an ordered list of all argGenl constraints for this Relation.
getArgGenlList() - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getArgGenlList(Context) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getArgIsa(int) - Method in interface com.cyc.kb.Relation
gets the KbCollections that all arguments in position argPos of the relation most be instances of, as viewed from the default context DefaultContext.forQuery() set in SessionOptions.getDefaultContext().
getArgIsa(int, Context) - Method in interface com.cyc.kb.Relation
gets the KbCollections that all arguments in position argPos of the relation most be instances of, as viewed from the context ctx.
getArgIsa(int) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getArgIsa(int, Context) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getArgIsaList() - Method in interface com.cyc.kb.Relation
Returns an ordered list of all argIsa constraints for this Relation.
getArgIsaList(Context) - Method in interface com.cyc.kb.Relation
Returns an ordered list of all argIsa constraints for this Relation.
getArgIsaList() - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getArgIsaList(Context) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getArgPosition() - Method in interface com.cyc.kb.ArgUpdate
 
getArgPosition() - Method in interface com.cyc.nl.SubParaphrase
Returns the arg position of the term paraphrased in its parent formula.
getArgPositionsForTerm(Object) - Method in interface com.cyc.kb.Sentence
Returns a set of arg positions that describe all the locations where the given term can be found in this formula.
getArgPositionsForTerm(Object) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
getArgument(int) - Method in interface com.cyc.kb.KbObject.KbObjectWithArity
Gets the object in argPosition argument position of this KbObject as an object of type O.
getArgument(int) - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
getArgument(int) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
getArgument(int) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
getArity() - Method in interface com.cyc.kb.KbObject.KbObjectWithArity
Returns the syntactic arity of this object.
getArity() - Method in interface com.cyc.kb.Relation
Return the number of arguments required for this relation.
getArity() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
getArity() - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
getArity() - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
getArityMax() - Method in interface com.cyc.kb.Relation
find the maximum number of arguments required for the relation this.
getArityMax() - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getArityMin() - Method in interface com.cyc.kb.Relation
find the minimum number of arguments required for the relation this.
getArityMin() - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getAssertionService() - Static method in class com.cyc.Cyc
Returns a Assertion factory service.
getAssertionService() - Method in interface com.cyc.kb.spi.KbApiService
 
getBasePort() - Method in interface com.cyc.session.CycAddress
The Cyc server's base port number.
getBinaryPredicateService() - Static method in class com.cyc.Cyc
Returns a BinaryPredicate factory service.
getBinaryPredicateService() - Method in interface com.cyc.kb.spi.KbApiService
 
getBinding(Variable) - Method in interface com.cyc.query.QueryAnswer
Get the value to which the specified variable is bound.
getBindingParaphrase(Variable) - Method in interface com.cyc.query.ParaphrasedQueryAnswer
 
getBindings() - Method in interface com.cyc.query.QueryAnswer
Get the values to which the all variables are bound.
getBindingsForOnlyVariable() - Method in interface com.cyc.query.QueryAnswers
Returns a List of all the values from all the answers to a single-variable query.
getBindingsForVariable(Variable) - Method in interface com.cyc.query.QueryAnswers
Returns a List of all the values for one variable from all the answers to a query.
getBoolean(int) - Method in interface com.cyc.query.QueryResultSet
Implementation of ResultSet.getBoolean(int).
getBoolean(String) - Method in interface com.cyc.query.QueryResultSet
Implementation of ResultSet.getBoolean(String).
getBoolean(Variable) - Method in interface com.cyc.query.QueryResultSet
Returns, as a boolean, the value at the current row for variable.
getBrowserUrl() - Method in interface com.cyc.session.CycServerInfo
Returns the browser URL for the Cyc image that this CycSession is connected to, as the URL would be seen from the machine where the CycSession is running.
getCategories() - Method in interface com.cyc.query.QuerySpecification
Returns the categories to which this query belongs.
getCfaslPort() - Method in interface com.cyc.session.CycAddress
The Cyc server's binary (CFASL) communications port number.
getChildren() - Method in interface com.cyc.query.ProofViewNode
 
getCloseTimeout() - Method in interface com.cyc.query.ModifiableQuerySpecification
Returns the timeout for the Query.close() method.
getColumnNames() - Method in interface com.cyc.query.QueryResultSet
Returns a list of column names that are available.
getColumns() - Method in interface com.cyc.query.QueryResultSet
Returns a list of column Variables that are available.
getComments() - Method in interface com.cyc.kb.Assertion
Gets all the comments for this visible from the default context DefaultContext.forQuery()
getComments(Context) - Method in interface com.cyc.kb.Assertion
Gets all the comments for this visible from the context
getComments() - Method in interface com.cyc.kb.KbTerm
Gets all the comments for this visible from the default Context DefaultContext.forQuery().
getComments(Context) - Method in interface com.cyc.kb.KbTerm
Gets all the comments for this visible from the context
getComments() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
getComments(Context) - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
getComments() - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
getComments(Context) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
getConcurrencyLevel() - Method in interface com.cyc.session.CycAddress
Number of simultaneous jobs this server can handle, if used in the server pool.
getConfiguration() - Method in interface com.cyc.session.CycSession
Returns the CycSessionConfiguration used to configure this session.
getConfigurationFileName() - Method in interface com.cyc.session.CycSessionConfiguration
Returns the name of a file from which to load configuration information.
getConfigurationLoaderName() - Method in interface com.cyc.session.CycSessionConfiguration
Returns the name of a requested SessionConfigurationLoader to be used to load a CycSessionConfiguration.
getConnectionStatus() - Method in interface com.cyc.session.CycSession
Returns the current status of the session's connection.
getConsequent() - Method in interface com.cyc.kb.Rule
Return the second argument of the Rule assertion.
getConsequent() - Method in class com.cyc.kb.wrapper.RuleWrapper
 
getContext() - Method in interface com.cyc.kb.Assertion
the context associated with the assertion.
getContext() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
getContext() - Method in interface com.cyc.query.QuerySpecification
Returns the Context of this Query.
getContextService() - Static method in class com.cyc.Cyc
Returns a Context factory service.
getContextService() - Method in interface com.cyc.kb.spi.KbApiService
 
getCore() - Method in interface com.cyc.kb.KbObject
Provides direct access to the encapsulated object.
getCore() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
getCreationDate() - Method in interface com.cyc.kb.KbTerm
Return the date and time at which this term was created.
getCreationDate() - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
getCreator() - Method in interface com.cyc.kb.KbTerm
Return the #$Cyclist (not necessarily #$HumanCyclist) who created this term.
getCreator() - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
getCurrent() - Static method in interface com.cyc.session.CycSession
Returns the CycSession currently assigned to this thread.
getCurrentRowCount() - Method in interface com.cyc.query.QueryResultSet
Returns the number of rows currently in the result set.
getCurrentSession() - Method in interface com.cyc.session.SessionManager
Returns the CycSession currently assigned to this thread.
getCycAddress() - Method in interface com.cyc.session.CycServerInfo
Returns the address of the server the Session is actually connected to (or was connected to).
getCycAddress() - Method in interface com.cyc.session.CycSessionConfiguration
Returns the address of the Cyc server to be connected to.
getCycKbVersionString() - Method in interface com.cyc.session.CycServerInfo
Returns the KB version string (kb_Num.operation_count) for the Cyc server.
getCycl() - Method in interface com.cyc.nl.Paraphrase
Returns the CycL term of which this is a paraphrase.
getCyclistName() - Method in interface com.cyc.session.SessionOptions.DefaultSessionOptions
Returns the value of the Cyclist.
getCyclistName() - Method in interface com.cyc.session.SessionOptions
Returns the value of the Cyclist.
getCyclString() - Method in interface com.cyc.query.ProofViewNode
 
getCycMinorRevisionNumber() - Method in interface com.cyc.session.CycServerInfo
Returns the Cyc minor revision number (akin to the patch number).
getCycRevisionString() - Method in interface com.cyc.session.CycServerInfo
Returns the Cyc revision string (akin to the build number).
getCycSession() - Method in interface com.cyc.query.Query
Get the Cyc getSessionManager to be used for this getQueryService.
getDate(int) - Method in interface com.cyc.query.QueryResultSet
Returns, as a java.sql.Date object, the value in the current row at the column identified by columnIndex position.
getDate(String) - Method in interface com.cyc.query.QueryResultSet
Returns, as a java.sql.Date object, the value in the current row at the column identified by columnLabel, which should be the name of a Variable in the original query.
getDate(Variable) - Method in interface com.cyc.query.QueryResultSet
Returns, as a java.sql.Date object, the value in the current row for variable.
getDefaultContext(Context, Context) - Static method in interface com.cyc.kb.Context
 
getDefaultContext(String, String) - Static method in interface com.cyc.kb.Context
 
getDefaultContext(Context, Context) - Method in interface com.cyc.kb.spi.ContextService
Returns a DefaultContext for a given assertion and query Context.
getDefaultContext(String, String) - Method in interface com.cyc.kb.spi.ContextService
Returns a DefaultContext for a given assertion and query Context.
getDefaultContext() - Method in interface com.cyc.session.SessionOptions.DefaultSessionOptions
Returns the current default contexts
getDefaultContext() - Method in interface com.cyc.session.SessionOptions
Returns the current default contexts
getDefaultSessionOptions() - Method in interface com.cyc.session.SessionManagerConfiguration
Returns an immutable set of options, which may provide the default values for CycSession.getOptions().
getDefaultValue() - Method in interface com.cyc.query.parameters.InferenceParameter
Get the default value for this parameter.
getDepth() - Method in interface com.cyc.query.ProofViewNode
 
getDescription() - Method in interface com.cyc.query.parameters.InferenceMode
 
getDirection() - Method in interface com.cyc.kb.Assertion
the direction of the assertion.
getDirection() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
getDisjunctionFreeElVarsPolicy() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Get the criteria for what to do when disjuncts have difference free variables.
getDomainContext() - Method in interface com.cyc.nl.NlGenerationParams
 
getDomainContext() - Method in interface com.cyc.nl.Paraphraser
 
getDomainContext() - Method in interface com.cyc.query.ProofViewSpecification
 
getDouble(int) - Method in interface com.cyc.query.QueryResultSet
Implementation of ResultSet.getDouble(int).
getDouble(String) - Method in interface com.cyc.query.QueryResultSet
Returns, as a double, the value at the current row and at the column identified by columnLabel.
getDouble(Variable) - Method in interface com.cyc.query.QueryResultSet
Returns, as a double, the value at the current row for variable.
getEntryId() - Method in interface com.cyc.query.ProofViewNode
The ID for this node.
getEntryPath() - Method in interface com.cyc.query.ProofViewNode
 
getExplanation() - Method in interface com.cyc.query.QueryAnswerExplanationGenerator
Return the explanation, generating one if necessary via a call to QueryAnswerExplanationGenerator.generate().
getExplanation(QueryAnswer, QueryAnswerExplanationSpecification<ProofView>) - Method in interface com.cyc.query.spi.ProofViewService
Returns a ProofView for an answer, generating one if necessary via a call to QueryAnswerExplanationGenerator.generate().
getExplanation(QueryAnswer, QueryAnswerExplanationSpecification<T>) - Method in interface com.cyc.query.spi.QueryAnswerExplanationService
Returns an explanation for an answer, generating one if necessary via a call to QueryAnswerExplanationGenerator.generate().
getExplanationGenerator(QueryAnswer, QueryAnswerExplanationSpecification<ProofView>) - Method in interface com.cyc.query.spi.ProofViewService
Finds and returns a ProofViewGenerator instance.
getExplanationGenerator(QueryAnswer, QueryAnswerExplanationSpecification<T>) - Method in interface com.cyc.query.spi.QueryAnswerExplanationService
Finds and returns an instance of a QueryAnswerExplanationGenerator suitable for generating and returning a QueryAnswerExplanation for a given QueryAnswerExplanationSpecification.
getExtensions() - Method in interface com.cyc.kb.Context
Finds the contexts that are asserted to extend this context, in DefaultContext.forQuery().
getExtensions() - Method in class com.cyc.kb.wrapper.ContextWrapper
 
getExtent() - Method in interface com.cyc.kb.KbPredicate
 
getExtent(Context) - Method in interface com.cyc.kb.KbPredicate
 
getExtent() - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getExtent(Context) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getFact(Context, Object...) - Method in interface com.cyc.kb.KbPredicate
find the specific existing Fact, in ctx, that has pred as its predicate, this in the thisArgPos argument position, and otherArgs as its other arguments.
getFact(Context, Object...) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getFacts(Object, int, Context) - Method in interface com.cyc.kb.KbPredicate
Gets the asserted Facts visible from ctx, using the predicate predicate with this at position thisArgPos of the Fact
getFacts(Object, int, Context) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getFactService() - Static method in class com.cyc.Cyc
Returns a Fact factory service.
getFactService() - Method in interface com.cyc.kb.spi.KbApiService
 
getFirstOrderCollectionService() - Static method in class com.cyc.Cyc
Returns a FirstOrderCollection factory service.
getFirstOrderCollectionService() - Method in interface com.cyc.kb.spi.KbApiService
 
getFirstProofId(Integer) - Method in interface com.cyc.query.InferenceIdentifier
 
getFloat(int) - Method in interface com.cyc.query.QueryResultSet
Implementation of ResultSet.getFloat(int).
getFloat(String) - Method in interface com.cyc.query.QueryResultSet
Returns, as a float, the value at the current row and at the column identified by columnLabel.
getFloat(Variable) - Method in interface com.cyc.query.QueryResultSet
Returns, as a float, the value at the current row for variable.
getForbiddenRules() - Method in interface com.cyc.query.QueryRules
 
getForce() - Method in interface com.cyc.nl.NlGenerationParams
 
getForce() - Method in interface com.cyc.nl.Paraphraser
 
getFormula() - Method in interface com.cyc.kb.Assertion
the formula of this assertion.
getFormula() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
getGeneralizations() - Method in interface com.cyc.kb.FirstOrderCollection
Finds the asserted generalizations of this KbCollection, from the default context specified by DefaultContext.forQuery().
getGeneralizations(Context) - Method in interface com.cyc.kb.FirstOrderCollection
Finds the asserted generalizations of this KbCollection, from a context specified by ctx.
getGeneralizations() - Method in interface com.cyc.kb.KbCollection
Finds the asserted generalizations of this KbCollection, from the default context specified by DefaultContext.forQuery().
getGeneralizations(Context) - Method in interface com.cyc.kb.KbCollection
Finds the asserted generalizations of this KbCollection, from a context specified by ctx.
getGeneralizations() - Method in interface com.cyc.kb.KbPredicate
finds the asserted generalizations of this, from the default context specified by DefaultContext.forQuery()
getGeneralizations(Context) - Method in interface com.cyc.kb.KbPredicate
finds the asserted generalizations of this, from the context ctx.
getGeneralizations() - Method in class com.cyc.kb.wrapper.FirstOrderCollectionWrapper
 
getGeneralizations(Context) - Method in class com.cyc.kb.wrapper.FirstOrderCollectionWrapper
 
getGeneralizations() - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
getGeneralizations(Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
getGeneralizations() - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getGeneralizations(Context) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getGeneralizationSentence(KbPredicate) - Method in interface com.cyc.kb.KbPredicate
This method returns the Sentence (#$genlPreds this moreGeneral).
getGeneralizationSentence(KbPredicate) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getHideExplicitUniversals() - Method in interface com.cyc.nl.NlGenerationParams
 
getHostName() - Method in interface com.cyc.session.CycAddress
The server's host name.
getHostName() - Method in class com.cyc.session.ServerAddress
The server's host name
getHTML() - Method in interface com.cyc.query.ProofViewNode
 
getHtmlLinkType() - Method in interface com.cyc.nl.NlGenerationParams
 
getHttpPort() - Method in interface com.cyc.session.CycAddress
The Cyc server's SubL HTTP server port number.
getId() - Method in interface com.cyc.kb.KbObject
Returns a stable, globally unique ID for this.
getId() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
getId() - Method in interface com.cyc.query.QueryAnswer
Get the identifier for this answer.
getId() - Method in interface com.cyc.query.QuerySpecification
For saved queries (aka "KBQs") this returns the Cyc term that identifies the query.
getIndexicals(boolean) - Method in interface com.cyc.kb.Sentence
Returns any #$IndexicalConcepts within the sentence.
getIndexicals() - Method in interface com.cyc.kb.Sentence
Returns any #$IndexicalConcepts within the sentence which cannot be automatically resolved by Cyc.
getIndexicals(boolean) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
getIndexicals() - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
getInferenceId() - Method in interface com.cyc.query.InferenceIdentifier
 
getInferenceId() - Method in interface com.cyc.query.ProofIdentifier
 
getInferenceIdentifier() - Method in interface com.cyc.query.InferenceAnswerIdentifier
 
getInferenceIdentifier() - Method in interface com.cyc.query.ProofIdentifier
 
getInferenceIdentifier() - Method in interface com.cyc.query.Query
Get the inference identifier for this getQueryService.
getInferenceIdentifier() - Method in interface com.cyc.query.QueryResultSet
 
getInferenceMode() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Get the inference mode to use.
getInferenceMode() - Method in interface com.cyc.query.Query
Get the inference mode to use.
getInferenceParameters() - Method in interface com.cyc.query.ModifiableQuerySpecification
Returns the inference parameters for this query.
getInferenceParameters() - Method in interface com.cyc.query.QuerySpecification
Returns the inference parameters for this query.
getInferenceStatusString() - Method in interface com.cyc.query.InferenceSuspendReason
A string to describe the status of the inference.
getInheritsFrom() - Method in interface com.cyc.kb.Context
Finds the contexts that this context is asserted to inherit from, in DefaultContext.forQuery().
getInheritsFrom() - Method in class com.cyc.kb.wrapper.ContextWrapper
 
getInstance() - Static method in interface com.cyc.session.SessionManager
Returns the current SessionManager instance.
getInstances() - Method in interface com.cyc.kb.KbCollection
Finds the asserted instances of this KbCollection from the default context specified by DefaultContext.forQuery().
getInstances(Context) - Method in interface com.cyc.kb.KbCollection
Finds the asserted instances of this KbCollection from a particular context.
getInstances() - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
getInstances(Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
getInt(int) - Method in interface com.cyc.query.QueryResultSet
Returns, as a int, the value at the current row and at the column identified by columnIndex.
getInt(String) - Method in interface com.cyc.query.QueryResultSet
Returns, as a int, the value at the current row and at the column identified by columnLabel.
getInt(Variable) - Method in interface com.cyc.query.QueryResultSet
Returns, as a int, the value at the current row for variable.
getInterArgDifferent(Context) - Method in interface com.cyc.kb.Relation
Returns a list of argument positions that should have explicitly different concepts for the truth/denotation condition to be valid.
getInterArgDifferent(Context) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
getInterfaceClass() - Method in exception com.cyc.session.exception.SessionServiceException
The interface for which the Session API expected an implementation to be provided by the service.
getInverseGeneralizationSentence(KbPredicate) - Method in interface com.cyc.kb.KbPredicate
This method returns the Sentence (#$genlInverse this moreGeneral).
getInverseGeneralizationSentence(KbPredicate) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getKbApiServices(boolean) - Method in class com.cyc.CoreServicesLoader
 
getKbApiServices() - Method in class com.cyc.CoreServicesLoader
 
getKbCollectionService() - Static method in class com.cyc.Cyc
Returns a KbCollection factory service.
getKbCollectionService() - Method in interface com.cyc.kb.spi.KbApiService
 
getKbFunctionService() - Static method in class com.cyc.Cyc
Returns a KbFunction factory service.
getKbFunctionService() - Method in interface com.cyc.kb.spi.KbApiService
 
getKbIndividualService() - Static method in class com.cyc.Cyc
Returns a KbIndividual factory service.
getKbIndividualService() - Method in interface com.cyc.kb.spi.KbApiService
 
getKbObject(String) - Static method in class com.cyc.Cyc
Returns a KbObject which is the best representation for a given String, so long as it doesn't need to be created in the KB.
getKbObject(String) - Method in interface com.cyc.kb.spi.KbService
Returns a KbObject which is the best representation for a given String, so long as it doesn't need to be created in the KB.
getKbObject(Variable, Class<O>) - Method in interface com.cyc.query.QueryResultSet
Return the binding for variable as a KbObject or java primitive, with an expected type of T.
getKbObject(String, Class<O>) - Method in interface com.cyc.query.QueryResultSet
Return the object at the column with columnLabel as a KbObject or java primitive, with an expected type of T.
getKbObject(int, Class<O>) - Method in interface com.cyc.query.QueryResultSet
Return the object at columnIndex as a KbObject or java primitive, with an expected type of T.
getKbPredicateService() - Static method in class com.cyc.Cyc
Returns a KbPredicate factory service.
getKbPredicateService() - Method in interface com.cyc.kb.spi.KbApiService
 
getKbService() - Static method in class com.cyc.Cyc
Returns a KbService factory service.
getKbService() - Method in interface com.cyc.kb.spi.KbApiService
 
getKbTermService() - Static method in class com.cyc.Cyc
Returns a KbTerm factory service.
getKbTermService() - Method in interface com.cyc.kb.spi.KbApiService
 
getKePurposeName() - Method in interface com.cyc.session.SessionOptions.DefaultSessionOptions
Returns the value of the project (KE purpose).
getKePurposeName() - Method in interface com.cyc.session.SessionOptions
Returns the value of the project (KE purpose).
getLabel() - Method in interface com.cyc.query.ProofViewNode
Get the label for this node.
getLanguageContext() - Method in interface com.cyc.nl.NlGenerationParams
 
getLanguageContext() - Method in interface com.cyc.nl.Paraphraser
 
getLanguageContext() - Method in interface com.cyc.query.ProofViewSpecification
 
getLoaderClass() - Method in interface com.cyc.session.CycSessionConfiguration
Returns the class of the SessionConfigurationLoader implementation used to instantiate and populate this instance of CycSessionConfiguration.
getLong(int) - Method in interface com.cyc.query.QueryResultSet
Returns, as a long, the value at the current row and at the column identified by columnIndex.
getLong(String) - Method in interface com.cyc.query.QueryResultSet
Returns, as a long, the value at the current row and at the column identified by columnLabel.
getLong(Variable) - Method in interface com.cyc.query.QueryResultSet
Returns, as a long, the value at the current row for variable.
getLongDescription() - Method in interface com.cyc.query.parameters.InferenceParameter
Get a long description of this parameter.
getLongDescription() - Method in interface com.cyc.query.parameters.InferenceParameterValueDescription
 
getManagerConfiguration() - Method in interface com.cyc.session.SessionManager
Returns the configuration for the current SessionManager.
getMarshaller() - Method in interface com.cyc.query.ProofViewGenerator
 
getMaxAnswerCount() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Returns the maximum number of answers (or sets of answers) that Cyc will attempt to find for the Query.
getMaxAnswerCount() - Method in interface com.cyc.query.Query
Returns the maximum number of answers (or sets of answers) that Cyc will attempt to find for the Query.
getMaxTime() - Method in interface com.cyc.nl.NlGenerationParams
 
getMaxTime() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Returns the soft timeout for the Query in seconds.
getMaxTime() - Method in interface com.cyc.query.Query
Returns the soft timeout for the Query in seconds.
getMaxTransformationDepth() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Returns the max transformation depth value.
getMaxTransformationDepth() - Method in interface com.cyc.query.Query
Returns the max transformation depth value.
getMetrics() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Get the set of inference metrics to gather for the Query.
getMetricsValues() - Method in interface com.cyc.query.Query
Get the metrics values for this Query.
getMode() - Method in interface com.cyc.nl.NlGenerationParams
 
getMode() - Method in interface com.cyc.nl.Paraphraser
 
getMonad() - Method in interface com.cyc.kb.Context
Returns the monad of this context.
getMonad() - Method in class com.cyc.kb.wrapper.ContextWrapper
 
getName() - Method in interface com.cyc.kb.Variable
Get the name of this variable.
getName() - Method in class com.cyc.kb.wrapper.VariableWrapper
 
getName() - Method in interface com.cyc.query.metrics.InferenceMetric
Return the name by which this metric is known to Cyc.
getName() - Method in enum com.cyc.query.parameters.StandardInferenceMetric
 
getName() - Method in enum com.cyc.session.CycServerReleaseType
 
getNlPreds() - Method in interface com.cyc.nl.NlGenerationParams
 
getNlPreds() - Method in interface com.cyc.nl.Paraphraser
 
getNodeId() - Method in interface com.cyc.query.graph.GraphNodeAbsolutePath
Returns the ID of current node.
getObject(Variable, Class<O>) - Method in interface com.cyc.query.QueryResultSet
Return the binding for variable as an instance of type.
getObject(String, Class<O>) - Method in interface com.cyc.query.QueryResultSet
Return the object at the column with columnLabel as an instance of type.
getObject(int, Class<O>) - Method in interface com.cyc.query.QueryResultSet
Return the object at columnIndex as an instance of type.
getOnlyAnswer() - Method in interface com.cyc.query.QueryAnswers
Returns an Optional containing the sole answer (if present) to a query.
getOnlyBinding() - Method in interface com.cyc.query.QueryAnswer
Returns the value for a single-variable query.
getOnlyBindingForOnlyVariable() - Method in interface com.cyc.query.QueryAnswers
Returns an Optional containing the single value from the sole answer (if present) to a single-variable query.
getOnlyBindingForVariable(Variable) - Method in interface com.cyc.query.QueryAnswers
Returns an Optional containing the single value for a single variable from the sole answer (if present) to a query.
getOperation() - Method in interface com.cyc.kb.ArgUpdate
 
getOptions() - Method in interface com.cyc.session.CycSession
Returns a set of modifiable options, including the name of the cyclist making assertions, and the project's KE purpose.
getOriginalQuerySentence() - Method in interface com.cyc.query.QuerySpecification
Returns the Sentence used to create this Query.
getParams() - Method in interface com.cyc.nl.Paraphraser
Returns the NL generation parameters used by default to generate paraphrases.
getParaphrasedBindings() - Method in interface com.cyc.query.ParaphrasedQueryAnswer
 
getParaphraser(Paraphraser.ParaphrasableType) - Method in interface com.cyc.nl.spi.ParaphraserFactory
 
getParaphraser() - Method in interface com.cyc.query.ParaphrasedQueryAnswer
 
getParaphraserFactory() - Method in interface com.cyc.nl.spi.NlApiService
 
getParent() - Method in interface com.cyc.query.ProofViewNode
Get the parent node of this node.
getParentParaphrase() - Method in interface com.cyc.nl.SubParaphrase
Returns the parent paraphrase of this sub-paraphrase.
getParentPath() - Method in interface com.cyc.query.graph.GraphNodeAbsolutePath
Returns the GraphNodeAbsolutePath of the current node's parent.
getPath() - Method in interface com.cyc.kb.ArgPosition
Get the list of argnums for this arg position, from top level to deepest level.
getPort() - Method in interface com.cyc.session.CycAddress
The server's port number.
getPort() - Method in class com.cyc.session.ServerAddress
The server's port number.
getPracticeRules() - Method in interface com.cyc.query.QueryRules
 
getPrettyRepresentation(Object) - Method in interface com.cyc.query.parameters.InferenceParameter
Get a human-friendly string representation of the specified value.
getProblemReusePolicy() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Get the criteria for when to try to reuse problems, or null if not specified.
getProblemStoreId() - Method in interface com.cyc.query.InferenceIdentifier
 
getProblemStoreId() - Method in interface com.cyc.query.ProofIdentifier
 
getProofId() - Method in interface com.cyc.query.ProofIdentifier
 
getProofValidationMode() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Get the criteria for how carefully to check the intermediate proofs that are used in inference for semantic well-formedness, or null if unspecified.
getProofView(QueryAnswer, ProofViewSpecification) - Static method in interface com.cyc.query.ProofView
Returns a ProofView for an answer, generating one if necessary via a call to QueryAnswerExplanationGenerator.generate().
getProofViewService() - Static method in class com.cyc.Cyc
Returns a ProofView factory service.
getProofViewService() - Method in interface com.cyc.query.spi.QueryApiService
 
getQuantifyVars() - Method in interface com.cyc.nl.NlGenerationParams
 
getQuery(String) - Method in interface com.cyc.query.spi.QueryService
constructs a Query working with the string queryStr.
getQuery(String, String) - Method in interface com.cyc.query.spi.QueryService
Returns a query object defined by queryStr asked in Microtheory ctxStr, with default inference parameters.
getQuery(String, String, String) - Method in interface com.cyc.query.spi.QueryService
Returns a query object defined by queryStr asked in Microtheory ctxStr, with inference parameters, queryParams.
getQuery(Sentence, Context, InferenceParameters) - Method in interface com.cyc.query.spi.QueryService
 
getQuery(Sentence, Context) - Method in interface com.cyc.query.spi.QueryService
 
getQuery(KbIndividual) - Method in interface com.cyc.query.spi.QueryService
Constructs a Query from a KbIndividual corresponding to a #$CycLQuerySpecification.
getQuery(KbIndividual, Map<KbObject, Object>) - Method in interface com.cyc.query.spi.QueryService
Returns a new Query loaded from a term in Cyc specifying its properties.
getQuery(String, Map<String, String>) - Method in interface com.cyc.query.spi.QueryService
Returns a Query object defined by a CycLQuerySpecification term, and substitutes in relevant values from the indexicals Map.
getQueryApiService(boolean) - Method in class com.cyc.CoreServicesLoader
 
getQueryApiService() - Method in class com.cyc.CoreServicesLoader
 
getQueryExplanationFactoryServices(CoreServicesLoader) - Method in interface com.cyc.query.spi.QueryApiService
 
getQuerySentence() - Method in interface com.cyc.query.QuerySpecification
Returns the Sentence which will be asked of Cyc, after all substitutions have been applied.
getQuerySentenceHypothesizedClause() - Method in interface com.cyc.query.QuerySpecification
 
getQuerySentenceMainClause() - Method in interface com.cyc.query.QuerySpecification
 
getQueryService() - Static method in class com.cyc.Cyc
Returns a Query factory service.
getQueryService() - Method in interface com.cyc.query.spi.QueryApiService
 
getQueryVariables() - Method in interface com.cyc.query.QuerySpecification
Returns a Collection of the variables in this query for which bindings are sought.
getQuotedIsa() - Method in interface com.cyc.kb.KbObject
Get all collections that the this object is a quoted instance of.
getQuotedIsa() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
getRawProperties() - Method in interface com.cyc.session.CycSessionConfiguration
Returns a copy of the original Properties object used to initialize the CycSessionConfiguration implementation.
getRawProperties() - Method in interface com.cyc.session.SessionManagerConfiguration
Returns a copy of the original Properties object used to initialize the SessionManagerConfiguration implementation.
getRelationService() - Static method in class com.cyc.Cyc
Returns a Relation factory service.
getRelationService() - Method in interface com.cyc.kb.spi.KbApiService
 
getResolvedHostName() - Method in interface com.cyc.session.CycAddress
Returns the resolved hostname of this address.
getResolvedHostName() - Method in class com.cyc.session.ServerAddress
Returns the resolved hostname of this address.
getResultGenl() - Method in interface com.cyc.kb.KbFunction
Returns the #$resultGenls of this KbFunction from the default context specified by DefaultContext.forQuery().
getResultGenl(Context) - Method in interface com.cyc.kb.KbFunction
Returns the #$resultGenls of this KbFunction from the context.
getResultGenl() - Method in class com.cyc.kb.wrapper.KbFunctionWrapper
 
getResultGenl(Context) - Method in class com.cyc.kb.wrapper.KbFunctionWrapper
 
getResultIsa() - Method in interface com.cyc.kb.KbFunction
Returns the #$resultIsas of this KbFunction from the default context specified by DefaultContext.forQuery().
getResultIsa(Context) - Method in interface com.cyc.kb.KbFunction
Returns the #$resultIsas of this KbFunction from the context.
getResultIsa() - Method in class com.cyc.kb.wrapper.KbFunctionWrapper
 
getResultIsa(Context) - Method in class com.cyc.kb.wrapper.KbFunctionWrapper
 
getResultSet() - Method in interface com.cyc.query.Query
 
getResultUniqueness() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Get the criteria for determining when two answers are the same, or null if unspecified.
getRow() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.getRow().
getRules() - Method in interface com.cyc.query.QuerySpecification
Returns a QueryRules object which provides access to the rules for the query.
getRuleService() - Static method in class com.cyc.Cyc
Returns a Rule factory service.
getRuleService() - Method in interface com.cyc.kb.spi.KbApiService
 
getSecondOrderCollectionService() - Static method in class com.cyc.Cyc
Returns a SecondOrderCollection factory service.
getSecondOrderCollectionService() - Method in interface com.cyc.kb.spi.KbApiService
 
getSentence(Object...) - Method in interface com.cyc.kb.KbPredicate
Constructs a Sentence, that has pred as its predicate, this in the thisArgPos argument position, and otherArgs as its other arguments.
getSentence(Object...) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getSentenceService() - Static method in class com.cyc.Cyc
Returns a Sentence factory service.
getSentenceService() - Method in interface com.cyc.kb.spi.KbApiService
 
getServerInfo() - Method in interface com.cyc.session.CycSession
Provides basic information about the state and location of the server to which the CycSession is connected (or was connected).
getServletPort() - Method in interface com.cyc.session.CycAddress
The Cyc server's Servlet HTTP server port number.
getSession() - Method in interface com.cyc.query.InferenceAnswerIdentifier
 
getSession() - Method in interface com.cyc.query.InferenceIdentifier
 
getSession() - Method in interface com.cyc.query.ProofIdentifier
 
getSessionApiService(boolean) - Method in class com.cyc.CoreServicesLoader
 
getSessionApiService() - Method in class com.cyc.CoreServicesLoader
 
getSessionConfiguration() - Method in interface com.cyc.session.SessionManager
Returns a CycSessionConfiguration, suitable for creating a new CycSession.
getSessionManager() - Static method in class com.cyc.Cyc
Returns the current Cyc SessionManager.
getSessionManager() - Method in interface com.cyc.session.spi.SessionApiService
Returns the current SessionManager instance.
getSessionManagerService() - Static method in class com.cyc.Cyc
Returns the SessionApiService.
getShortDescription() - Method in interface com.cyc.query.parameters.InferenceParameter
Get a short description of this parameter.
getShortDescription() - Method in interface com.cyc.query.parameters.InferenceParameterValueDescription
 
getShouldConvertToJavaDates() - Method in interface com.cyc.session.SessionOptions
Returns the ThreadLocal that controls whether or not to convert CycL dates to Java dates
getShouldTranscriptOperations() - Method in interface com.cyc.session.SessionOptions.DefaultSessionOptions
Will actions in the current thread that modify the KB be transcripted by the Cyc server?
getShouldTranscriptOperations() - Method in interface com.cyc.session.SessionOptions
Will actions in the current thread that modify the KB be transcripted by the Cyc server?
getSources() - Method in interface com.cyc.query.QueryAnswer
Get the attributed sources used in inferring this answer.
getSpecializations() - Method in interface com.cyc.kb.KbCollection
Finds the asserted specializations of this KbCollection, from the default context specified by DefaultContext.forQuery().
getSpecializations(Context) - Method in interface com.cyc.kb.KbCollection
Finds the asserted specializations of this KbCollection, from a context ctx.
getSpecializations() - Method in interface com.cyc.kb.KbPredicate
finds the asserted specializations of this Predicate, from the default context specified by DefaultContext.forQuery().
getSpecializations(Context) - Method in interface com.cyc.kb.KbPredicate
finds the asserted specializations of this KbPredicate, from the context ctx
getSpecializations() - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
getSpecializations(Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
getSpecializations() - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getSpecializations(Context) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getSpecification() - Method in interface com.cyc.query.spi.ProofViewService
Returns a new ProofViewSpecification object.
getStartIndex() - Method in interface com.cyc.nl.SubParaphrase
Returns the start index of this paraphrase within its parent.
getStatus(String) - Static method in interface com.cyc.kb.BinaryPredicate
 
getStatus(String) - Static method in interface com.cyc.kb.Context
 
getStatus(String) - Static method in interface com.cyc.kb.FirstOrderCollection
 
getStatus(String) - Static method in interface com.cyc.kb.KbCollection
 
getStatus(String) - Static method in interface com.cyc.kb.KbFunction
 
getStatus(String) - Static method in interface com.cyc.kb.KbIndividual
 
getStatus(String) - Static method in interface com.cyc.kb.KbPredicate
 
getStatus(String) - Static method in interface com.cyc.kb.KbTerm
 
getStatus(String) - Static method in interface com.cyc.kb.Relation
 
getStatus(String) - Static method in interface com.cyc.kb.SecondOrderCollection
 
getStatus(String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
Returns an KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$BinaryPredicate.
getStatus(String) - Method in interface com.cyc.kb.spi.ContextService
Returns an KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$Microtheory.
getStatus(String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
Returns an KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$FirstOrderCollection.
getStatus(String) - Method in interface com.cyc.kb.spi.KbCollectionService
Returns a KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$Collection.
getStatus(String) - Method in interface com.cyc.kb.spi.KbFunctionService
Returns an KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$Function-Denotational.
getStatus(String) - Method in interface com.cyc.kb.spi.KbIndividualService
Returns an KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$Individual.
getStatus(String) - Method in interface com.cyc.kb.spi.KbPredicateService
Returns an KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$Predicate.
getStatus(String) - Method in interface com.cyc.kb.spi.KbTermService
Returns an KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$Thing.
getStatus(String) - Method in interface com.cyc.kb.spi.RelationService
Returns an KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$Relation.
getStatus(String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
Returns an KbStatus enum which describes whether nameOrId exists in the KB and is an instance of #$SecondOrderCollection.
getStatus() - Method in interface com.cyc.query.Query
Return the InferenceStatus for this Query.
getString() - Method in interface com.cyc.nl.Paraphrase
Returns the NL string paraphrasing the term.
getString(int) - Method in interface com.cyc.query.QueryResultSet
Returns, as a String, the value at the current row and at the column identified by columnIndex.
getString(String) - Method in interface com.cyc.query.QueryResultSet
Returns, as a String, the value at the current row and at the column identified by columnLabel.
getString(Variable) - Method in interface com.cyc.query.QueryResultSet
Returns, as a String, the value at the current row for variable.
getSubParaphrases() - Method in interface com.cyc.nl.Paraphrase
 
getSubstitutions() - Method in interface com.cyc.query.QuerySpecification
Returns a map of the substitutions which have already been applied to the current query.
getSupportingAssertions() - Method in interface com.cyc.kb.Assertion
the collection of assertions that directly support this assertion. For assertions that are not deduced, the collection will be empty.
getSupportingAssertions() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
getSuspendReason() - Method in interface com.cyc.query.Query
Return the reason why this Query was suspended (if it was).
getSymbolService() - Static method in class com.cyc.Cyc
Returns a Symbol factory service.
getSymbolService() - Method in interface com.cyc.kb.spi.KbApiService
 
getSystemReleaseType() - Method in interface com.cyc.session.CycServerInfo
Returns an enum representing the Cyc server type.
getTransitiveClosureMode() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Get the criteria for determining when two answers are the same, or null if unspecified.
getTruthValue() - Method in interface com.cyc.query.QueryResultSet
Returns the truth value for this query.
getType() - Method in interface com.cyc.kb.KbObject
Return the KbCollection, as a KbObject, of the Cyc term that underlies this class.
getType() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
getUniqueBindingsForOnlyVariable() - Method in interface com.cyc.query.QueryAnswers
Returns a Set of all unique values from all the answers to a single-variable query.
getUniqueBindingsForVariable(Variable) - Method in interface com.cyc.query.QueryAnswers
Returns a Set of all unique values for one variable from all the answers to a query.
getUnresolvedIndexicals() - Method in interface com.cyc.query.QuerySpecification
Returns a set of all remaining #$IndexicalConcepts which the application must resolve before the query can be run.
getUseBulletsInHtmlMode() - Method in interface com.cyc.nl.NlGenerationParams
 
getValue() - Method in interface com.cyc.kb.ArgUpdate
 
getValue(InferenceMetric) - Method in interface com.cyc.query.metrics.InferenceMetricsValues
 
getValue(String) - Method in interface com.cyc.query.metrics.InferenceMetricsValues
 
getValue() - Method in interface com.cyc.query.parameters.InferenceParameterValueDescription
 
getValuesForArg(Object, Object, Context) - Method in interface com.cyc.kb.BinaryPredicate
Gets all facts for the binary predicate based on arg pattern.
getValuesForArg(Object, Object) - Method in interface com.cyc.kb.BinaryPredicate
Gets all facts for the binary predicate based on arg pattern, in the default context.
getValuesForArg(Object, Object, Context) - Method in class com.cyc.kb.wrapper.BinaryPredicateWrapper
 
getValuesForArg(Object, Object) - Method in class com.cyc.kb.wrapper.BinaryPredicateWrapper
 
getValuesForArgPosition(Object, int, int, Context) - Method in interface com.cyc.kb.KbPredicate
This method gets all facts for the predicate that have arg at the thisArgPos arg position of the fact, as visible from ctx, and returns as O objects based on the arguments in the getArgPos argument position of the facts.
getValuesForArgPosition(Object, int, int, Context) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getValuesForArgPositionWithMatchArg(Object, int, int, Object, int, Context) - Method in interface com.cyc.kb.KbPredicate
This method gets all facts visible from ctx that use the predicate, have arg in the argPosition, and also have matchArg in the matchArgPos arg position; it returns a list of O objects from the valuePosition argument position of the fact.
getValuesForArgPositionWithMatchArg(Object, int, int, Object, int, Context) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
getVariables(boolean) - Method in interface com.cyc.kb.Sentence
Returns a list of the Variables in the sentence.
getVariables(boolean) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
getVariables() - Method in interface com.cyc.query.QueryAnswer
 
getVariableService() - Static method in class com.cyc.Cyc
Returns a Variable factory service.
getVariableService() - Method in interface com.cyc.kb.spi.KbApiService
 
GraphNodeAbsolutePath<V,T extends GraphNodeAbsolutePath<V,T>> - Interface in com.cyc.query.graph
An object which represents the absolute path to a node within a graph.
GUI_INTERACTION_ALLOWED_DEFAULT_VALUE - Static variable in interface com.cyc.session.SessionManagerConfigurationProperties
 
GUI_INTERACTION_ALLOWED_KEY - Static variable in interface com.cyc.session.SessionManagerConfigurationProperties
Does this configuration allow for the end-user to be prompted for configuration properties via GUI elements in windowed environments?

H

hasBinding(Variable) - Method in interface com.cyc.query.QueryAnswer
Does the specified variable have a value in this query answer?
hashCode() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
hashCode() - Method in interface com.cyc.nl.Paraphrase
 
hashCode() - Method in class com.cyc.session.ServerAddress
 
hasParent() - Method in interface com.cyc.query.graph.GraphNodeAbsolutePath
Indicates whether the node has a parent or is the root node.
hasValidKbApiObjectType(Object) - Static method in interface com.cyc.kb.KbObject
 
HtmlLinkType - Enum in com.cyc.nl
 

I

implies(Collection<Sentence>, Sentence) - Static method in interface com.cyc.kb.Sentence
Make a new conditional sentence with the specified antecedent and consequent.
implies(Sentence, Sentence) - Static method in interface com.cyc.kb.Sentence
Make a new conditional sentence with the specified antecedent and consequent.
implies(Collection<Sentence>, Sentence) - Method in interface com.cyc.kb.spi.SentenceService
Make a new conditional sentence with the specified antecedent and consequent.
implies(Sentence, Sentence) - Method in interface com.cyc.kb.spi.SentenceService
Make a new conditional sentence with the specified antecedent and consequent.
indicatesInferenceExists() - Method in enum com.cyc.query.InferenceStatus
Does this status indicates that an inference may be currently available for this query?
INFERENCE_MODE - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for inference mode.
INFERENCE_PSC - Static variable in class com.cyc.Cyc.Constants
Context for #$InferencePSC
InferenceAnswerIdentifier - Interface in com.cyc.query
InferenceAnswerIdentifier is designed to...
InferenceAnswerLanguage - Enum in com.cyc.query.parameters
The CycL language used to express answers.
InferenceIdentifier - Interface in com.cyc.query
 
InferenceMetric - Interface in com.cyc.query.metrics
An interface representing an inference metric.
InferenceMetrics - Interface in com.cyc.query.metrics
A Set of InferenceMetric values.
InferenceMetricsValues - Interface in com.cyc.query.metrics
 
InferenceMode - Interface in com.cyc.query.parameters
 
InferenceParameter - Interface in com.cyc.query.parameters
 
InferenceParameterGetter - Interface in com.cyc.query.parameters
An interface defining the getters of Cyc inference parameters.
InferenceParameters - Interface in com.cyc.query.parameters
InferenceParameters is designed to encode the parameters that can be specified for running a Cyc query.
InferenceParameterSetter<T extends InferenceParameterSetter> - Interface in com.cyc.query.parameters
An interface defining the setters of Cyc inference parameters.
InferenceParameterSymbolValue - Interface in com.cyc.query.parameters
 
InferenceParameterValue - Interface in com.cyc.query.parameters
A representation of a value for an inference parameter.
InferenceParameterValueDescription - Interface in com.cyc.query.parameters
InferenceParameterValueDescription is designed to...
InferenceStatus - Enum in com.cyc.query
 
InferenceSuspendReason - Interface in com.cyc.query
 
instanceOf() - Method in interface com.cyc.kb.KbIndividual
finds the types this KbIndividual is asserted to be an instance of, from the default context specified by DefaultContext.forQuery().
instanceOf(Context) - Method in interface com.cyc.kb.KbIndividual
finds the types this KbIndividual is an instance of to, from a context.
instanceOf() - Method in class com.cyc.kb.wrapper.KbIndividualWrapper
 
instanceOf(Context) - Method in class com.cyc.kb.wrapper.KbIndividualWrapper
 
instancesOf() - Method in interface com.cyc.kb.KbCollection
Finds the asserted types this KbCollection belongs to, from the default context specified by DefaultContext.forQuery().
instancesOf(Context) - Method in interface com.cyc.kb.KbCollection
Finds the asserted types this KbCollection belongs to, from a context ctx.
instancesOf() - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
instancesOf(Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
instantiates(KbCollection, Context) - Method in interface com.cyc.kb.KbCollection
Creates a new Fact stating that this KbCollection object is an instance of the #$Collection represented by col in the context ctx.
instantiates(KbCollection, Context) - Method in interface com.cyc.kb.KbTerm
Creates a new Fact stating that this KbIndividual instantiates the collection in .
instantiates(KbCollection) - Method in interface com.cyc.kb.KbTerm
Creates a new Fact stating that this KbIndividual instantiates the collection in the default assertion context.
instantiates(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
instantiates(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
instantiates(KbCollection) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
instantiatesSentence(KbCollection) - Method in interface com.cyc.kb.KbTerm
This method returns the Sentence (#$isa this collection).
instantiatesSentence(KbCollection) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
INTER_ARG_DIFFERENT - Static variable in class com.cyc.Cyc.Constants
 
INTERMEDIATE_STEP_VALIDATION_LEVEL - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for proof validation mode.
interrupt(Integer) - Method in interface com.cyc.query.InferenceIdentifier
Interrupt this inference.
InvalidFormulaInContextException - Exception in com.cyc.kb.exception
Thrown when the Cyc does not allow the specified formula to be true in the specified context.
InvalidFormulaInContextException(String) - Constructor for exception com.cyc.kb.exception.InvalidFormulaInContextException
 
InvalidNameException - Exception in com.cyc.kb.exception
Thrown when code attempts to create a KB entity with an invalid name.
InvalidNameException(String) - Constructor for exception com.cyc.kb.exception.InvalidNameException
 
ISA - Static variable in class com.cyc.Cyc.Constants
 
isAfterLast() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.isAfterLast().
isAlternateValue(Object) - Method in interface com.cyc.query.parameters.InferenceParameter
 
isApiCompatible() - Method in interface com.cyc.session.CycServerInfo
Determines whether the server is expected to be able to support basic API functionality (assertions, lookups, queries, etc.) A result of true does not ensure total compatibility, and some functionality may be missing or broken.
isAsserted(Context, Object...) - Method in interface com.cyc.kb.KbPredicate
Is there an assertion in ctx with a sentence using pred, with this in the thisArgPos argument position, and with the arguments in otherArgs as the rest of its arguments? This method will not throw exceptions.
isAsserted(Context, Object...) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
isAssertedAssertion() - Method in interface com.cyc.kb.Assertion
Returns true if this assertion is asserted directly in the KB (i.e. at least one of its supporting arguments is not deduced from something else).
isAssertedAssertion() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
isAssertible(Context) - Method in interface com.cyc.kb.Sentence
Checks if a given sentence meets the constraints necessary to be assertible in ctx.
isAssertible(Context) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
isAtomic() - Method in interface com.cyc.kb.KbObject
Is this a non-decomposable KbObject? This will return true for KbObjects that represent Cyc constants, Cyc variables, or Cyc symbols.
isAtomic() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
isBasicParameter() - Method in interface com.cyc.query.parameters.InferenceParameter
 
isBasicParaphraser(Paraphraser) - Static method in interface com.cyc.nl.Paraphraser
 
isBasicParaphraser(Paraphraser) - Method in interface com.cyc.nl.spi.ParaphraserFactory
 
isBeforeFirst() - Method in interface com.cyc.query.QueryResultSet
isBrowsable() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Check whether the Query (once run) is browsable.
isClosed() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.isClosed().
isClosed() - Method in interface com.cyc.session.CycSession
Returns whether the CycSession is closed.
isClosed() - Method in interface com.cyc.session.SessionManager
Returns whether the SessionManager is closed.
isConfigurationCachingAllowed() - Method in interface com.cyc.session.SessionManagerConfiguration
Is the SessionManager permitted to cache configurations? This is useful when loading configurations is expensive or annoying.
isContinuable() - Method in interface com.cyc.query.InferenceSuspendReason
Can an inference suspended for this reason be continued?
isContinuable() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
Check whether the Query is continuable.
isContinuable() - Method in interface com.cyc.query.Query
Check whether this Query is continuable.
isDeducedAssertion() - Method in interface com.cyc.kb.Assertion
Returns true if this assertion is supported by other assertions, false if this assertion is not deduced from anything else.
isDeducedAssertion() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
isDefined() - Method in interface com.cyc.session.CycAddress
Checks whether the CycAddress instance contains enough information to be useful (i.e., a plausible hostname and base port).
isDefined() - Method in class com.cyc.session.ServerAddress
Checks whether the ServerAddress instance contains enough information to be useful (i.e., at least a plausible hostname.)
isEmpty() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
 
isEquivalent(CycSessionConfiguration) - Method in interface com.cyc.session.CycSessionConfiguration
Does this configuration share the same field values with another? Weaker than #equals, as it ignores things like Class and loader Class.
isError() - Method in interface com.cyc.query.InferenceSuspendReason
Was inference suspended because of an error?
isExpandInitially() - Method in interface com.cyc.query.ProofViewNode
Is it advised that this node be expanded when first displayed to expose its children?
isFirst() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.isFirst().
isGeneralizationOf(KbCollection, Context) - Method in interface com.cyc.kb.KbCollection
Determine whether this KbCollection is a generalization of moreSpecific in some context.
isGeneralizationOf(KbCollection) - Method in interface com.cyc.kb.KbCollection
Determine whether this KbCollection is a generalization of moreSpecific in a context.
isGeneralizationOf(KbPredicate, Context) - Method in interface com.cyc.kb.KbPredicate
Determine whether this is a generalization of moreSpecific in the context ctx.
isGeneralizationOf(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
isGeneralizationOf(KbCollection) - Method in class com.cyc.kb.wrapper.KbCollectionWrapper
 
isGeneralizationOf(KbPredicate, Context) - Method in class com.cyc.kb.wrapper.KbPredicateWrapper
 
isGroundAtomicFormula() - Method in interface com.cyc.kb.Assertion
Is this a ground atomic formula? This will return true for Assertions that represent Cyc GAFs, and false for anything else.
isGroundAtomicFormula() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
isGuiInteractionAllowed() - Method in interface com.cyc.session.SessionManagerConfiguration
Does this configuration allow for the end-user to be prompted for configuration properties via GUI elements in windowed environments? If so, and if no other sufficient configuration has specified, and if the application is not running in a headless environment, the Session API may prompt the end-user for configuration information.
isIncludeAssertionBookkeeping() - Method in interface com.cyc.query.ProofViewSpecification
 
isIncludeAssertionCyclists() - Method in interface com.cyc.query.ProofViewSpecification
 
isIncludeDetails() - Method in interface com.cyc.query.ProofViewSpecification
 
isIncludeLinear() - Method in interface com.cyc.query.ProofViewSpecification
 
isIncludeSummary() - Method in interface com.cyc.query.ProofViewSpecification
 
isIndexical() - Method in interface com.cyc.kb.KbObject
Is this object an indexical? I.e., it is an instance of #$IndexicalConcept?
isIndexical() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
isInferenceComplete() - Method in interface com.cyc.query.QueryResultSet
Returns whether the inference associated with this InferenceResultSet object is finished.
isInstanceOf(KbCollection) - Method in interface com.cyc.kb.KbTerm
Is this an instance of collection in any context? This does not require that (#$isa this collection) be asserted, merely that it be trivially inferable.
isInstanceOf(KbCollection, Context) - Method in interface com.cyc.kb.KbTerm
Is this an instance of collection in ? This does not require that (#$isa this collection) be asserted, merely that it be trivially inferable.
isInstanceOf(KbCollection) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
isInstanceOf(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
isLast() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.isLast().
isOpenCyc() - Method in interface com.cyc.session.CycServerInfo
Returns true if this KB is an OpenCyc image.
isPrecise() - Method in interface com.cyc.nl.NlGenerationParams
 
isPrefixOf(ArgPosition) - Method in interface com.cyc.kb.ArgPosition
Check if this arg position is for an ancestor of another arg position.
isProvable() - Method in interface com.cyc.query.Query
Is this getQueryService either True (if a boolean getQueryService) or does it have bindings (if non-boolean)
isQueryStaticParameter() - Method in interface com.cyc.query.parameters.InferenceParameter
 
isQuoted() - Method in interface com.cyc.kb.KbObject
Returns whether this is a quoted object; i.e., if it refers to the CycL object itself and not its meaning.
isQuoted() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
isQuotedInstanceOf(KbCollection) - Method in interface com.cyc.kb.KbObject
Is this a quoted instance of col in any context? Essentially this verifies that (#$quotedIsa this col) is true in some context.
isQuotedInstanceOf(KbCollection, Context) - Method in interface com.cyc.kb.KbObject
Is this a quoted instance of col? Essentially this verifies that (#$quotedIsa this col) is true in the context ctx.
isQuotedInstanceOf(KbCollection) - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
isQuotedInstanceOf(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
isServerPatchingAllowed() - Method in interface com.cyc.session.SessionManagerConfiguration
Are the APIs permitted to apply code patches to the Cyc server? Note that this setting only determines whether the rules of the CycSession will allow code patches; patches may still be prohibited by the Cyc server or the API implementation, regardless of this setting.
isServerReleasedWhenAllSessionsAreClosed() - Method in interface com.cyc.session.SessionManagerConfiguration
When all sessions are closed, should any underlying connections be released?
isSessionAutoCreationAllowed() - Method in interface com.cyc.session.SessionManagerConfiguration
Can CycSessions be automatically created as necessary?
isSessionCachingAllowed() - Method in interface com.cyc.session.SessionManagerConfiguration
Is the SessionManager permitted to cache sessions?
isSuitableForSpecification(QueryAnswer, QueryAnswerExplanationSpecification<T>) - Method in interface com.cyc.query.spi.QueryAnswerExplanationService
Whether this service can provide a QueryAnswerExplanationGenerator suitable for a specific QueryAnswer with a specific QueryAnswerExplanationSpecification.
isTrue() - Method in interface com.cyc.query.Query
 
isUnreifiable() - Method in interface com.cyc.kb.KbFunction
 
isUnreifiable() - Method in class com.cyc.kb.wrapper.KbFunctionWrapper
 
isValid() - Method in interface com.cyc.kb.Assertion
Returns false if the KB object behind this object has been deleted or otherwise rendered invalid on the Cyc server.
isValid() - Method in interface com.cyc.kb.KbTerm
Returns false if the KB object behind this object has been deleted or otherwise rendered invalid on the Cyc server.
isValid() - Method in interface com.cyc.kb.Sentence
Returns true if all of terms in the Sentence are valid per KbTerm.isValid().
isValid() - Method in class com.cyc.kb.wrapper.AssertionWrapper
 
isValid() - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
isValid() - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
isValidKbApiObjectType(Class) - Static method in interface com.cyc.kb.KbObject
 
isValidString(String) - Static method in interface com.cyc.session.CycAddress
Tests whether a String could be deserialized into a valid CycAddress.
isValidString(String) - Static method in class com.cyc.session.ServerAddress
Tests whether a String could be deserialized into a valid ServerAddress.
isValidValue(Object) - Method in interface com.cyc.query.parameters.InferenceParameter
Determine whether the specified value is valid for this parameter.
isVariableArity() - Method in interface com.cyc.kb.Relation
Returns true if this is a variable-arity relation.
isVariableArity() - Method in class com.cyc.kb.wrapper.RelationWrapper
 

K

KbApiService - Interface in com.cyc.kb.spi
The primary entrypoint for a KB API implementation.
KbCollection - Interface in com.cyc.kb
The top-level interface corresponding to Cyc #$Collection.
KbCollectionService - Interface in com.cyc.kb.spi
Provides implementations of KbCollection.
KbCollectionWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing KbCollections per the decorator pattern.
KbCollectionWrapper() - Constructor for class com.cyc.kb.wrapper.KbCollectionWrapper
 
KbException - Exception in com.cyc.kb.exception
Root class for exceptions thrown by the KB API.
KbException(String) - Constructor for exception com.cyc.kb.exception.KbException
 
KbFunction - Interface in com.cyc.kb
The interface for Cyc functions.
KbFunctionService - Interface in com.cyc.kb.spi
Provides implementations of KbFunction.
KbFunctionWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing KbFunctions per the decorator pattern.
KbFunctionWrapper() - Constructor for class com.cyc.kb.wrapper.KbFunctionWrapper
 
KbIndividual - Interface in com.cyc.kb
The top-level interface for Cyc #$Individuals.
KbIndividualService - Interface in com.cyc.kb.spi
Provides implementations of KbIndividual.
KbIndividualWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing KbIndividuals per the decorator pattern.
KbIndividualWrapper() - Constructor for class com.cyc.kb.wrapper.KbIndividualWrapper
 
KbObject - Interface in com.cyc.kb
The top-level interface for representing objects in a Cyc KB.
KbObject.KbObjectWithArity - Interface in com.cyc.kb
A KbObject which may potentially be non-atomic; ie., a Sentence, an Assertion, or a functional KbTerm.
KbObjectNotFoundException - Exception in com.cyc.kb.exception
Thrown when a term or a formula cannot be found from the specified context.
KbObjectNotFoundException(String) - Constructor for exception com.cyc.kb.exception.KbObjectNotFoundException
 
KbObjectWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing KbObjects per the decorator pattern.
KbObjectWrapper() - Constructor for class com.cyc.kb.wrapper.KbObjectWrapper
 
KbPredicate - Interface in com.cyc.kb
The interface for Cyc predicates.
KbPredicateService - Interface in com.cyc.kb.spi
Provides implementations of KbPredicate.
KbPredicateWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing KbPredicates per the decorator pattern.
KbPredicateWrapper() - Constructor for class com.cyc.kb.wrapper.KbPredicateWrapper
 
KbRuntimeException - Exception in com.cyc.kb.exception
Root class for runtime exceptions thrown by the KB API.
KbRuntimeException(String) - Constructor for exception com.cyc.kb.exception.KbRuntimeException
 
KbServerSideException - Exception in com.cyc.kb.exception
Wraps all Cyc server errors, when a more specific semantic error can not be thrown.
KbServerSideException(String) - Constructor for exception com.cyc.kb.exception.KbServerSideException
 
KbService - Interface in com.cyc.kb.spi
Provides various methods which facilitate working with the Cyc KB.
KbStatus - Enum in com.cyc.kb
An enumeration describing the existential status of a KB entity, and its compatibility with a particular semantic object type.
KbTerm - Interface in com.cyc.kb
The top-level interface for most kinds of KbObjects that are not Sentences.
KbTermService - Interface in com.cyc.kb.spi
Provides implementations of KbTerm.
KbTermWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing KbTerms per the decorator pattern.
KbTermWrapper() - Constructor for class com.cyc.kb.wrapper.KbTermWrapper
 
KbTypeConflictException - Exception in com.cyc.kb.exception
Thrown when an entity exists in the KB, but is incompatible with a particular semantic object type.
KbTypeConflictException(String) - Constructor for exception com.cyc.kb.exception.KbTypeConflictException
 
KbTypeException - Exception in com.cyc.kb.exception
Thrown when an entity exists in the KB, but does not currently meet the requirements of a particular semantic object type.
KbTypeException(String) - Constructor for exception com.cyc.kb.exception.KbTypeException
 
keySet() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
 

L

last() - Method in interface com.cyc.kb.ArgPosition
Get the argnum of the designated argument in its immediate context.
last() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.last().
loadAllSessionManagerFactories() - Static method in class com.cyc.CoreServicesLoader
 
loadServiceProviders(Class<T>, boolean) - Method in class com.cyc.CoreServicesLoader
 

M

makeAtLeastAsLooseAs(InferenceParameters) - Method in interface com.cyc.query.parameters.InferenceParameters
Adjust these parameters to give the inference engine at least as extensive resources as newParams.
marshal(Node) - Method in interface com.cyc.query.ProofViewGenerator
Marshal this explanation into a DOM tree.
marshal(Node) - Method in interface com.cyc.query.ProofViewMarshaller
Output the specified ProofView to the specified DOM Node.
marshal(Writer) - Method in interface com.cyc.query.ProofViewMarshaller
Output the specified ProofView to the specified writer.
marshal(OutputStream) - Method in interface com.cyc.query.ProofViewMarshaller
Output the specified ProofView to the specified stream.
matchingArgPosition(ArgPosition, boolean) - Method in interface com.cyc.kb.ArgPosition
Does this arg position match candidate?
MAX_NUMBER - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for max answer count.
MAX_TIME - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for max time.
MAX_TRANSFORMATION_DEPTH - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for max transformation depth.
merge(Query) - Method in interface com.cyc.query.Query
Conjoin this getSentenceService with otherQuery, attempting to unify and rename variables.
METRICS - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for metrics.
ModifiableQuerySpecification<T extends QuerySpecification> - Interface in com.cyc.query
A modifiable QuerySpecification.
MT_MONAD - Static variable in class com.cyc.Cyc.Constants
 
MT_TIME_INDEX - Static variable in class com.cyc.Cyc.Constants
 

N

next() - Method in interface com.cyc.query.QueryResultSet
Moves the cursor forward one row from its current position.
NlApiService - Interface in com.cyc.nl.spi
The primary entrypoint for an NL API implementation.
NlForce - Interface in com.cyc.nl
 
NlGenerationParams - Interface in com.cyc.nl
 
notAssertibleExplanation(Context) - Method in interface com.cyc.kb.Sentence
Return an explanation of why the sentence is not assertible.
notAssertibleExplanation(Context) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
notifyInferenceAnswersAvailable(Query, List<QueryAnswer>) - Method in interface com.cyc.query.QueryListener
Called when new answers have been found.
notifyInferenceCreated(Query) - Method in interface com.cyc.query.QueryListener
This method is called when Cyc has created an inference for the query.
notifyInferenceStatusChanged(InferenceStatus, InferenceStatus, InferenceSuspendReason, Query) - Method in interface com.cyc.query.QueryListener
This method is called when the inference status has changed.
notifyInferenceTerminated(Query, Exception) - Method in interface com.cyc.query.QueryListener
Called when the inference has been terminated.

O

onClose(Thread) - Method in interface com.cyc.session.CycSession.SessionListener
 
OpenCycUnsupportedFeatureException - Exception in com.cyc.session.exception
Indicates that a particular piece of functionality is categorically unsupported by OpenCyc servers.
OpenCycUnsupportedFeatureException(String) - Constructor for exception com.cyc.session.exception.OpenCycUnsupportedFeatureException
Constructs a new exception with a specified message.
OpenCycUnsupportedFeatureException() - Constructor for exception com.cyc.session.exception.OpenCycUnsupportedFeatureException
Constructs a new exception with no specified message.
or(Sentence...) - Static method in interface com.cyc.kb.Sentence
Disjoin sentences.
or(Iterable<Sentence>) - Static method in interface com.cyc.kb.Sentence
Disjoin sentences.
or(Sentence...) - Method in interface com.cyc.kb.spi.SentenceService
Disjoin sentences.
or(Iterable<Sentence>) - Method in interface com.cyc.kb.spi.SentenceService
Disjoin sentences.

P

parameterValueCycListApiValue(Object) - Method in interface com.cyc.query.parameters.InferenceParameter
 
parameterValueCycListApiValue(String, Object) - Method in interface com.cyc.query.parameters.InferenceParameters
 
Paraphrase<C> - Interface in com.cyc.nl
A class that bundles information about the rendering of a term in a natural language.
paraphrase(C) - Method in interface com.cyc.nl.Paraphraser
Returns a paraphrase of the specified object.
ParaphrasedQueryAnswer - Interface in com.cyc.query
 
Paraphraser<C> - Interface in com.cyc.nl
Interface for generating structured paraphrases of terms.
Paraphraser.ParaphrasableType - Enum in com.cyc.nl
 
ParaphraserFactory - Interface in com.cyc.nl.spi
 
paraphraseWithDisambiguation(List<C>) - Method in interface com.cyc.nl.Paraphraser
 
performInference() - Method in interface com.cyc.query.Query
Run this getQueryService and return the results.
performUpdates(List<ArgUpdate>) - Method in interface com.cyc.kb.Sentence
Apply each of the substitutions specified in
performUpdates(List<ArgUpdate>) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
possiblyResolveIndexical(Map<KbObject, Object>) - Method in interface com.cyc.kb.KbObject
Attempts to resolve the object from a substitutions map.
possiblyResolveIndexical(Map<KbObject, Object>) - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
previous() - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.previous().
printAnswersTable(PrintStream, boolean, String, String) - Method in interface com.cyc.query.QueryAnswers
 
printAnswersTable(PrintStream, boolean) - Method in interface com.cyc.query.QueryAnswers
 
PROBLEM_STORE - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for problem store ID.
ProblemReusePolicy - Enum in com.cyc.query.parameters
Which problems are considered for reuse by the Worker (aka Problem Store).
ProofIdentifier - Interface in com.cyc.query
 
ProofValidationMode - Enum in com.cyc.query.parameters
How carefully to check proofs for semantic well-formedness.
ProofView - Interface in com.cyc.query
An explanation for a specific answer to a query, expressed as a tree of ProofViewNodes.
ProofViewException - Exception in com.cyc.query.exception
The class of Exception thrown when a ProofView cannot be provided as specified.
ProofViewException(String) - Constructor for exception com.cyc.query.exception.ProofViewException
 
ProofViewGenerator - Interface in com.cyc.query
Generates a ProofView for a specific answer to a query.
ProofViewMarshaller - Interface in com.cyc.query
 
ProofViewNode - Interface in com.cyc.query
 
ProofViewNode.ProofViewNodePath - Interface in com.cyc.query
 
ProofViewService - Interface in com.cyc.query.spi
Service provider interface for factories which produce ProofViewGenerators.
ProofViewSpecification - Interface in com.cyc.query
The configuration parameters which determine how a ProofView should be generated.
provablyNotInstanceOf(KbCollection, Context) - Method in interface com.cyc.kb.KbTerm
Determine whether this is provably not an instance of col.
provablyNotInstanceOf(KbCollection, Context) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
put(String, Object) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
 
putAll(InferenceParameterGetter) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
 

Q

quantify(KbObject) - Method in interface com.cyc.kb.Sentence
 
quantify(KbObject) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
Query - Interface in com.cyc.query
Query extends QuerySpecification to represent queries posed to Cyc and provide access to their results.
QueryAnswer - Interface in com.cyc.query
Encodes one answer to a Query.
QueryAnswerExplanation - Interface in com.cyc.query
An explanation for a specific answer to a query.
QueryAnswerExplanationGenerator<T extends QueryAnswerExplanation> - Interface in com.cyc.query
An interface for representing and generating QueryAnswerExplanations for a specific answer to a query.
QueryAnswerExplanationService<T extends QueryAnswerExplanation> - Interface in com.cyc.query.spi
Service provider interface for factories which produce QueryAnswerExplanationGenerators.
QueryAnswerExplanationSpecification<T extends QueryAnswerExplanation> - Interface in com.cyc.query
The configuration parameters which determine how a QueryAnswerExplanation should be generated.
QueryAnswers<E extends QueryAnswer> - Interface in com.cyc.query
A list of answers for a Query.
QueryApiService - Interface in com.cyc.query.spi
The primary entrypoint for a Query API implementation.
QueryConstructionException - Exception in com.cyc.query.exception
The class of Exception thrown when a Query cannot be constructed as specified.
QueryConstructionException(String) - Constructor for exception com.cyc.query.exception.QueryConstructionException
 
QueryException - Exception in com.cyc.query.exception
The root of the checked exception hierarchy in the Query API.
QueryException(String) - Constructor for exception com.cyc.query.exception.QueryException
 
QueryListener - Interface in com.cyc.query
This interface is one that must be implemented by anyone wishing to listen in on events generated by a Query.
QueryResultSet - Interface in com.cyc.query
QueryResultSet defines an interface for easy access and manipulation of inference results.
QueryRules - Interface in com.cyc.query
 
QueryRuntimeException - Exception in com.cyc.query.exception
The root of the unchecked exception hierarchy in the Query API.
QueryRuntimeException(String) - Constructor for exception com.cyc.query.exception.QueryRuntimeException
 
QueryService - Interface in com.cyc.query.spi
 
QuerySpecification<T extends QuerySpecification> - Interface in com.cyc.query
QuerySpecification is designed to represent queries posed to Cyc.
QUOTE - Static variable in class com.cyc.Cyc.Constants
 
quote() - Method in interface com.cyc.kb.KbObject
Returns a quoted version of this object.
quote() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
QUOTED_ISA - Static variable in class com.cyc.Cyc.Constants
 

R

registerRequiredSksModules() - Method in interface com.cyc.query.Query
Ensure that any required Semantic Knowledge Source removal modules for this getQueryService have been registered on the Cyc Server and made available for inference.
REIFIABLE_FUNCTION - Static variable in class com.cyc.Cyc.Constants
 
Relation - Interface in com.cyc.kb
The common interface for KbPredicate and KbFunction.
RelationService - Interface in com.cyc.kb.spi
Provides implementations of Relation.
RelationWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing Relations per the decorator pattern.
RelationWrapper() - Constructor for class com.cyc.kb.wrapper.RelationWrapper
 
relative(int) - Method in interface com.cyc.query.QueryResultSet
Corresponds to ResultSet.relative(int).
reloadSessionManager(SessionManagerConfiguration) - Method in interface com.cyc.session.spi.SessionApiService
Loads a new SessionManager, configured via the supplied SessionManagerConfiguration.
reloadSessionManager() - Method in interface com.cyc.session.spi.SessionApiService
Loads a new SessionManager with the default SessionManagerConfiguration.
remove(String) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
 
removeQueryVariable(Variable) - Method in interface com.cyc.query.ModifiableQuerySpecification
Designates var as a variable to not return bindings for.
rename(String) - Method in interface com.cyc.kb.KbTerm
Change the name of an atomic term to nameString.
rename(String) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
replaceTerms(Map) - Method in interface com.cyc.kb.KbTerm
Non-destructively replace a set of objects within a non-atomic term.
replaceTerms(Map) - Method in interface com.cyc.kb.Sentence
Non-destructively replace a set of objects within a Sentence.
replaceTerms(List<Object>, List<Object>) - Method in interface com.cyc.kb.Sentence
For each element of from replace it with the element of to that's at the same index.
replaceTerms(Map) - Method in class com.cyc.kb.wrapper.KbTermWrapper
 
replaceTerms(Map) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
replaceTerms(List<Object>, List<Object>) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
reset() - Method in interface com.cyc.session.SessionOptions
Clears all values, reverting to the defaults specified in CycSessionConfiguration.
resetCyclist() - Method in interface com.cyc.session.SessionOptions
Resets the current cyclist value to the default specified in the current CycSessionConfiguration.
resetDefaultContext() - Method in interface com.cyc.session.SessionOptions
Resets the current DefaultContext value to the default specified in the current CycSessionConfiguration.
resetKePurpose() - Method in interface com.cyc.session.SessionOptions
Resets the current KB purpose value to the default specified in the current CycSessionConfiguration.
resetShouldConvertToJavaDates() - Method in interface com.cyc.session.SessionOptions
Resets the current shouldConvertToJavaDates value to the default specified in the current CycSessionConfiguration.
resetShouldTranscriptOperations() - Method in interface com.cyc.session.SessionOptions
Resets the current shouldTranscriptOperations value to the default specified in the current CycSessionConfiguration.
resolveHostName(String) - Static method in class com.cyc.session.ServerAddress
Resolves a hostname.
resolveIndexical() - Method in interface com.cyc.kb.KbObject
If the object is an indexical, attempt to resolve it and return the appropriate referent.
resolveIndexical() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
RESULT_GENL - Static variable in class com.cyc.Cyc.Constants
 
RESULT_ISA - Static variable in class com.cyc.Cyc.Constants
 
RESULT_UNIQUENESS - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for result uniqueness.
ResultUniqueness - Enum in com.cyc.query.parameters
 
retainInference() - Method in interface com.cyc.query.Query
Specify that this inference should be retained by Cyc until the Query is closed.
Rule - Interface in com.cyc.kb
The interface for CycL rules (i.e.
RuleService - Interface in com.cyc.kb.spi
Provides implementations of Rule.
RuleWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing Rules per the decorator pattern.
RuleWrapper() - Constructor for class com.cyc.kb.wrapper.RuleWrapper
 

S

save() - Method in interface com.cyc.query.ModifiableQuerySpecification
Saves this Query as the term which is its current ID.
saveAs(String) - Method in interface com.cyc.query.ModifiableQuerySpecification
Saves this Query as a new query term with the specified name.
SecondOrderCollection - Interface in com.cyc.kb
The interface for KbCollections whose instances are FirstOrderCollections.
SecondOrderCollectionService - Interface in com.cyc.kb.spi
Provides implementations of SecondOrderCollection.
SecondOrderCollectionWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing SecondOrderCollections per the decorator pattern.
SecondOrderCollectionWrapper() - Constructor for class com.cyc.kb.wrapper.SecondOrderCollectionWrapper
 
Sentence - Interface in com.cyc.kb
The interface for Cyc sentences.
SentenceService - Interface in com.cyc.kb.spi
Provides implementations of Sentence, including methods to build Sentences of Sentences.
SentenceWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing Sentences per the decorator pattern.
SentenceWrapper() - Constructor for class com.cyc.kb.wrapper.SentenceWrapper
 
SERVER_KEY - Static variable in interface com.cyc.session.CycSessionConfigurationProperties
The address of Cyc server to be connected to, as a serialized CycAddress object; e.g.
SERVER_PATCHING_ALLOWED_DEFAULT_VALUE - Static variable in interface com.cyc.session.SessionManagerConfigurationProperties
 
SERVER_PATCHING_ALLOWED_KEY - Static variable in interface com.cyc.session.SessionManagerConfigurationProperties
Whether the APIs permitted to apply code patches to the Cyc server.
SERVER_RELEASED_WHEN_ALL_SESSIONS_CLOSED_DEFAULT_VALUE - Static variable in interface com.cyc.session.SessionManagerConfigurationProperties
 
SERVER_RELEASED_WHEN_ALL_SESSIONS_CLOSED_KEY - Static variable in interface com.cyc.session.SessionManagerConfigurationProperties
When all sessions are closed, should any underlying connections be released?
ServerAddress - Class in com.cyc.session
ServerAddress describes a server's hostname and port.
SESSION_AUTO_CREATION_ALLOWED_DEFAULT_VALUE - Static variable in interface com.cyc.session.SessionManagerConfigurationProperties
 
SESSION_AUTO_CREATION_ALLOWED_KEY - Static variable in interface com.cyc.session.SessionManagerConfigurationProperties
Can CycSessions be automatically created as necessary?
SessionApiService - Interface in com.cyc.session.spi
The primary entrypoint for a Session API implementation.
SessionCommandException - Exception in com.cyc.session.exception
SessionCommandException indicates that Session implementation code could communicate with a Cyc server, but encountered a problem issuing a command or interpreting a result.
SessionCommandException() - Constructor for exception com.cyc.session.exception.SessionCommandException
Construct a SessionCommandException object with no specified message.
SessionCommandException(String) - Constructor for exception com.cyc.session.exception.SessionCommandException
Construct a SessionCommandException object with a specified message.
SessionCommunicationException - Exception in com.cyc.session.exception
SessionCommunicationException indicates that an application library encountered a problem when attempting to communicate with a Cyc server.
SessionCommunicationException() - Constructor for exception com.cyc.session.exception.SessionCommunicationException
Construct a SessionCommunicationException object with no specified message.
SessionCommunicationException(String) - Constructor for exception com.cyc.session.exception.SessionCommunicationException
Construct a SessionCommunicationException object with a specified message.
SessionConfigurationException - Exception in com.cyc.session.exception
CycSessionException indicates that a Cyc session has been mis-configured or not been configured at all.
SessionConfigurationException() - Constructor for exception com.cyc.session.exception.SessionConfigurationException
Construct a SessionConfigurationException object with no specified message.
SessionConfigurationException(String) - Constructor for exception com.cyc.session.exception.SessionConfigurationException
Construct a SessionConfigurationException object with a specified message.
SessionException - Exception in com.cyc.session.exception
SessionException is the base exception which indicates that an application library has encountered a problem in interacting with a Cyc server.
SessionException() - Constructor for exception com.cyc.session.exception.SessionException
Constructs a new exception with no specified message.
SessionException(String) - Constructor for exception com.cyc.session.exception.SessionException
Constructs a new exception with a specified message.
SessionInitializationException - Exception in com.cyc.session.exception
SessionInitializationException indicates that a problem was encountered when initializing a CycSession.
SessionInitializationException() - Constructor for exception com.cyc.session.exception.SessionInitializationException
Construct a SessionInitializationException object with no specified message.
SessionInitializationException(String) - Constructor for exception com.cyc.session.exception.SessionInitializationException
Construct a SessionInitializationException object with a specified message.
SessionManager<T extends CycSession> - Interface in com.cyc.session
The SessionManager is responsible for managing the lifecycle of CycSessions, from configuration, to creation, to caching, to cleanup, and providing appropriate CycSessions to API and application code that requires them.
SessionManagerConfiguration - Interface in com.cyc.session
Configuration parameters for a SessionManager.
SessionManagerConfigurationException - Exception in com.cyc.session.exception
Indicates that a SessionManagerConfiguration has been mis-configured or not been configured at all.
SessionManagerConfigurationException() - Constructor for exception com.cyc.session.exception.SessionManagerConfigurationException
Construct a SessionManagerConfigurationException object with no specified message.
SessionManagerConfigurationException(String) - Constructor for exception com.cyc.session.exception.SessionManagerConfigurationException
Construct a SessionManagerConfigurationException object with a specified message.
SessionManagerConfigurationProperties - Interface in com.cyc.session
This defines the canonical set of names for all SessionManagerConfiguration properties.
SessionManagerException - Exception in com.cyc.session.exception
Indicates an error with an existing SessionManager.
SessionManagerException() - Constructor for exception com.cyc.session.exception.SessionManagerException
Construct a SessionManagerException object with no specified message.
SessionManagerException(String) - Constructor for exception com.cyc.session.exception.SessionManagerException
Construct a SessionManagerException object with a specified message.
SessionOptions - Interface in com.cyc.session
A set of modifiable options, such as the name of the cyclist making assertions and the project's KE purpose.
SessionOptions.DefaultSessionOptions - Interface in com.cyc.session
An immutable set of options, including the name of the cyclist making assertions, and the project's KE purpose.
SessionRuntimeException - Exception in com.cyc.session.exception
SessionRuntimeException is the base runtime exception which indicates that an application library has encountered a problem in interacting with a Cyc server.
SessionRuntimeException() - Constructor for exception com.cyc.session.exception.SessionRuntimeException
Constructs a new exception with no specified message.
SessionRuntimeException(String) - Constructor for exception com.cyc.session.exception.SessionRuntimeException
Constructs a new exception with a specified message.
SessionServiceException - Exception in com.cyc.session.exception
SessionServiceException occur when the Session API has trouble loading a service provider.
SessionServiceException(Class) - Constructor for exception com.cyc.session.exception.SessionServiceException
Construct a SessionServiceException object with no specified message.
SessionServiceException(Class, String) - Constructor for exception com.cyc.session.exception.SessionServiceException
Construct a SessionServiceException object with a specified message.
setAnswerLanguage(InferenceAnswerLanguage) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the flavor of CycL to use for answers.
setArgPosition(ArgPosition, Object) - Method in interface com.cyc.kb.Sentence
Set the value with sentence at pos to be value.
setArgPosition(ArgPosition, Object) - Method in class com.cyc.kb.wrapper.SentenceWrapper
 
setArity(int) - Method in interface com.cyc.kb.Relation
Set the arity for a Cyc relation.
setArity(int) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
setAritySentence(int) - Method in interface com.cyc.kb.Relation
Return a sentence to set the arity of a Cyc relation.
setAritySentence(int) - Method in class com.cyc.kb.wrapper.RelationWrapper
 
setBlanksForVars(boolean) - Method in interface com.cyc.nl.NlGenerationParams
 
setBlanksForVars(boolean) - Method in interface com.cyc.nl.Paraphraser
Set the blanks-for-vars toggle.
setBrowsable(boolean) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Specify whether inferences should be browsable.
setCloseTimeout(long) - Method in interface com.cyc.query.ModifiableQuerySpecification
Sets the timeout for the Query.close() method.
setContext(Context) - Method in interface com.cyc.query.ModifiableQuerySpecification
Set the Context of this Query.
setContinuable(boolean) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Specify whether inferences should be continuable.
setCyclistName(String) - Method in interface com.cyc.session.SessionOptions
Sets the value of the default Cyclist for this CycSession, whose identity will be attached via #$myCreator bookkeeping assertions to new KB entities created in this session.
setDefaultContext(DefaultContext) - Method in interface com.cyc.session.SessionOptions
Sets the default context ThreadLocal
setDisambiguate(boolean) - Method in interface com.cyc.nl.NlGenerationParams
Should we try to generate unambiguous paraphrases?
setDisjunctionFreeElVarsPolicy(DisjunctionFreeElVarsPolicy) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the criteria for what to do when disjuncts have difference free variables.
setDomainContext(Context) - Method in interface com.cyc.nl.NlGenerationParams
Set the microtheory from which domain-related knowledge is retrieved.
setDomainContext(Context) - Method in interface com.cyc.nl.Paraphraser
 
setDomainContext(Context) - Method in interface com.cyc.query.ProofViewSpecification
 
setForce(NlForce) - Method in interface com.cyc.nl.NlGenerationParams
Set the illocutionary force to generate
setForce(NlForce) - Method in interface com.cyc.nl.Paraphraser
Set the force.
setHideExplicitUniversals(boolean) - Method in interface com.cyc.nl.NlGenerationParams
Should we say things like "for all X..."?
setHtmlLinkType(HtmlLinkType) - Method in interface com.cyc.nl.NlGenerationParams
Should we generate bulleted lists when in HTML mode
setIncludeAssertionBookkeeping(boolean) - Method in interface com.cyc.query.ProofViewSpecification
 
setIncludeAssertionCyclists(boolean) - Method in interface com.cyc.query.ProofViewSpecification
 
setIncludeDetails(boolean) - Method in interface com.cyc.query.ProofViewSpecification
 
setIncludeLinear(boolean) - Method in interface com.cyc.query.ProofViewSpecification
 
setIncludeSummary(boolean) - Method in interface com.cyc.query.ProofViewSpecification
 
setInferenceMode(InferenceMode) - Method in interface com.cyc.query.ModifiableQuerySpecification
Set the inference mode.
setInferenceMode(InferenceMode) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the inference mode.
setInferenceParameters(InferenceParameters) - Method in interface com.cyc.query.ModifiableQuerySpecification
Set the inference parameters for this query.
setKePurposeName(String) - Method in interface com.cyc.session.SessionOptions
Sets the value of the KE purpose, whose project name will be attached via #$myCreationPurpose bookkeeping assertions to new KB entities created in this session.
setLanguageContext(Context) - Method in interface com.cyc.nl.NlGenerationParams
Set the microtheory from which language-related knowledge is retrieved.
setLanguageContext(Context) - Method in interface com.cyc.nl.Paraphraser
 
setLanguageContext(Context) - Method in interface com.cyc.query.ProofViewSpecification
 
setMaxAnswerCount(Integer) - Method in interface com.cyc.query.ModifiableQuerySpecification
Set the maximum number of answers (or sets of answers) that Cyc will attempt to find for the Query.
setMaxAnswerCount(Integer) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the maximum number of answers (or sets of answers) that Cyc will attempt to find for the Query.
setMaxTime(Integer) - Method in interface com.cyc.nl.NlGenerationParams
 
setMaxTime(Integer) - Method in interface com.cyc.query.ModifiableQuerySpecification
Set the max time value (in seconds).
setMaxTime(Integer) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the max time value (in seconds).
setMaxTransformationDepth(Integer) - Method in interface com.cyc.query.ModifiableQuerySpecification
Set the max transformation depth value.
setMaxTransformationDepth(Integer) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the max transformation depth value.
setMetrics(InferenceMetrics) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Specify the set of inference metrics to gather.
setMode(GenerationMode) - Method in interface com.cyc.nl.NlGenerationParams
Set the generation mode.
setNlPreds(List<? extends KbPredicate>) - Method in interface com.cyc.nl.NlGenerationParams
Set the list of agreement predicates to use
setNlPreds(List<KbPredicate>) - Method in interface com.cyc.nl.Paraphraser
 
setParams(NlGenerationParams) - Method in interface com.cyc.nl.Paraphraser
Sets the NL generation parameters used by default to generate paraphrases.
setPrecise(boolean) - Method in interface com.cyc.nl.NlGenerationParams
Should we value precision over conciseness?
setProblemReusePolicy(ProblemReusePolicy) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the criteria for when to try to reuse problems.
setProblemStoreId(int) - Method in interface com.cyc.query.parameters.InferenceParameters
Specify the problem store in which to run the query.
setProblemStorePath(String) - Method in interface com.cyc.query.parameters.InferenceParameters
 
setProofValidationMode(ProofValidationMode) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the criteria for how carefully to check the intermediate proofs that are used in inference for semantic well-formedness.
setQuantifyVars(boolean) - Method in interface com.cyc.nl.NlGenerationParams
Should we generate NL quantifiers for open variables?
setQuerySentence(Sentence) - Method in interface com.cyc.query.ModifiableQuerySpecification
Set the Sentence for this Query.
setQuerySentenceHypothesizedClause(Sentence) - Method in interface com.cyc.query.ModifiableQuerySpecification
Sets the hypothesized clause of this Query.
setQuerySentenceMainClause(Sentence) - Method in interface com.cyc.query.ModifiableQuerySpecification
Sets the main (i.e.
setQueryVariables(Collection<Variable>) - Method in interface com.cyc.query.ModifiableQuerySpecification
Designates vars as the variables to return bindings for.
setResultUniqueness(ResultUniqueness) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the criteria for determining when two answers are the same.
setShouldConvertToJavaDates(boolean) - Method in interface com.cyc.session.SessionOptions
Sets the ThreadLocal that controls whether or not to convert CycL dates to Java dates
setShouldTranscriptOperations(boolean) - Method in interface com.cyc.session.SessionOptions
Declare that KB operations performed in this thread should or shouldn't be transcripted by the Cyc server.
setSubstitutions(Map<KbObject, Object>) - Method in interface com.cyc.query.ModifiableQuerySpecification
Applies substitutions to the original query.
setTransitiveClosureMode(TransitiveClosureMode) - Method in interface com.cyc.query.parameters.InferenceParameterSetter
Set the extent to which transitive closures are computed.
setUseBulletsInHtmlMode(boolean) - Method in interface com.cyc.nl.NlGenerationParams
Should we generate bulleted lists when in HTML mode
setValue(Object) - Method in interface com.cyc.query.parameters.InferenceParameterValueDescription
 
shouldDisambiguate() - Method in interface com.cyc.nl.NlGenerationParams
 
shouldUseBlanksForVars() - Method in interface com.cyc.nl.NlGenerationParams
 
size() - Method in interface com.cyc.query.parameters.InferenceParameterGetter
 
StaleKbObjectException - Exception in com.cyc.kb.exception
Thrown when a stale KbObject is passed to a method.
StaleKbObjectException(String) - Constructor for exception com.cyc.kb.exception.StaleKbObjectException
 
STANDARD_ASCII_PORT_OFFSET - Static variable in interface com.cyc.session.CycAddress
Default offset for a Cyc server's ASCII port.
STANDARD_CFASL_PORT_OFFSET - Static variable in interface com.cyc.session.CycAddress
Default offset for a Cyc server's binary (CFASL) port.
STANDARD_HTTP_PORT_OFFSET - Static variable in interface com.cyc.session.CycAddress
Default offset for a Cyc server's Subl HTTP port.
STANDARD_SERVLET_PORT_OFFSET - Static variable in interface com.cyc.session.CycAddress
Default offset for a Cyc server's Servlet port.
StandardInferenceMetric - Enum in com.cyc.query.parameters
An enumeration of inference metrics that are commonly used.
start() - Method in interface com.cyc.query.Query
Starts the getQueryService.
stop(Integer) - Method in interface com.cyc.query.Query
Issues a request that the getQueryService stop immediately.
STRING_VALUE_COMPARATOR - Static variable in interface com.cyc.kb.KbObject
 
stringApiValue() - Method in interface com.cyc.kb.ArgPosition
 
stringApiValue() - Method in interface com.cyc.kb.KbObject
Provides a version of the toString that is suitable for use when talking directly to a Cyc server.
stringApiValue() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
stringApiValue() - Method in interface com.cyc.query.InferenceAnswerIdentifier
 
stringApiValue() - Method in interface com.cyc.query.InferenceIdentifier
 
stringApiValue() - Method in interface com.cyc.query.parameters.InferenceParameters
 
stringApiValue() - Method in interface com.cyc.query.ProofIdentifier
 
SubParaphrase - Interface in com.cyc.nl
 
Symbol - Interface in com.cyc.kb
The interface for symbols of the SubL language.
SymbolService - Interface in com.cyc.kb.spi
Provides implementations of Symbol.
SymbolWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing Symbols per the decorator pattern.
SymbolWrapper() - Constructor for class com.cyc.kb.wrapper.SymbolWrapper
 

T

THE_LIST - Static variable in class com.cyc.Cyc.Constants
 
THE_SET - Static variable in class com.cyc.Cyc.Constants
 
toAnswersTableStrings(boolean, String, String) - Method in interface com.cyc.query.QueryAnswers
 
toAnswersTableStrings(boolean) - Method in interface com.cyc.query.QueryAnswers
 
toBaseAddress() - Method in interface com.cyc.session.CycAddress
Returns a CycAddress consisting only of the host name and base port, excluding optional fields like CycAddress.getConcurrencyLevel().
toBindingsStringsForVariable(Variable) - Method in interface com.cyc.query.QueryAnswers
 
toDepthFirstIterator() - Method in interface com.cyc.query.ProofView
 
toList() - Method in interface com.cyc.query.graph.GraphNodeAbsolutePath
Returns an ordered, unmodifiable list of IDs representing the path to this node via its ancestors.
toName() - Method in enum com.cyc.kb.ArgUpdate.ArgUpdateOperation
 
toNlString() - Method in interface com.cyc.kb.KbObject
Get the default natural-language string for this object.
toNlString() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
toPaddedString(int) - Method in interface com.cyc.query.graph.GraphNodeAbsolutePath
Returns a string representation of the node's absolute path, with each node ID padded out to a minimum length (optional operation).
toParent() - Method in interface com.cyc.kb.ArgPosition
Destructively modify this ArgPosition to be its parent arg position.
toPrettyBindingsStrings() - Method in interface com.cyc.query.QueryAnswer
 
toQuery(Context) - Method in interface com.cyc.kb.Sentence
 
toQuery(Context, InferenceParameters) - Method in interface com.cyc.kb.Sentence
 
toQuoted() - Method in interface com.cyc.kb.KbObject
Returns a quoted version of this object.
toQuoted() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
toResolvedAddressString() - Method in interface com.cyc.session.CycAddress
Returns a string representation of the server address using the resolved hostname, in the format host:port.
toResolvedAddressString() - Method in class com.cyc.session.ServerAddress
Returns a string representation of the server address using the resolved hostname, in the format host:port.
toString() - Method in interface com.cyc.kb.KbObject
Get the CycL representation of this as a String.
toString() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
toString() - Method in enum com.cyc.nl.HtmlLinkType
 
toString() - Method in interface com.cyc.nl.Paraphrase
 
toString() - Method in interface com.cyc.query.graph.GraphNodeAbsolutePath
Returns a string representation of the node's absolute path.
toString() - Method in enum com.cyc.query.parameters.DisjunctionFreeElVarsPolicy
 
toString() - Method in enum com.cyc.query.parameters.StandardInferenceMetric
 
toString() - Method in interface com.cyc.session.CycAddress
Returns a string representation of the server address in the format host:port.
toString() - Method in class com.cyc.session.ServerAddress
Returns a string representation of the server address in the format host:port.
toSymbol() - Method in interface com.cyc.nl.GenerationMode
 
toSymbol() - Method in interface com.cyc.nl.NlForce
 
toUnquoted() - Method in interface com.cyc.kb.KbObject
Returns a fully-unquoted version of this object.
toUnquoted() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
TRANSITIVE_CLOSURE_MODE - Static variable in interface com.cyc.query.parameters.InferenceParameters
Inference parameter name for transitive closure mode.
TransitiveClosureMode - Enum in com.cyc.query.parameters
The degree to which modules (such as transitiveViaArg) should generate transitive closures.
TRUE_CYCL - Static variable in class com.cyc.Cyc.Constants
 

U

UNKNOWN_SENTENCE - Static variable in class com.cyc.Cyc.Constants
 
unquote() - Method in interface com.cyc.kb.KbObject
Returns the object referred to by a quoted object.
unquote() - Method in class com.cyc.kb.wrapper.KbObjectWrapper
 
UNREIFIABLE_FUNCTION - Static variable in class com.cyc.Cyc.Constants
 
UnsupportedCycOperationException - Exception in com.cyc.session.exception
Thrown to indicate that a Cyc server does not support a particular operation.
UnsupportedCycOperationException() - Constructor for exception com.cyc.session.exception.UnsupportedCycOperationException
Constructs a new exception with no specified message.
UnsupportedCycOperationException(String) - Constructor for exception com.cyc.session.exception.UnsupportedCycOperationException
Constructs a new exception with a specified message.
updateFromPlist(List) - Method in interface com.cyc.query.parameters.InferenceParameters
Update from a plist of the type used by Cyc's inference engine.
useOnlySpecifiedRules(boolean) - Method in interface com.cyc.query.QueryRules
Relevant only for queries loaded from the KB (instances of CycLQuerySpecification), this loads all of the rules specified on the query and only allows Cyc to use those rules when running this query.
usesLoadedProblemStore() - Method in interface com.cyc.query.parameters.InferenceParameters
 
UV_MT - Static variable in class com.cyc.Cyc.Constants
Context for #$UniversalVocabularyMt

V

VALID_HOST_NAME_REGEX - Static variable in class com.cyc.session.ServerAddress
Regex matching a valid host name.
VALID_IP_ADDR_REGEX - Static variable in class com.cyc.session.ServerAddress
Regex matching a valid IP address.
VALID_KB_API_CLASSES - Static variable in interface com.cyc.kb.KbObject
 
valueOf(String) - Static method in enum com.cyc.kb.ArgUpdate.ArgUpdateOperation
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.kb.Assertion.Direction
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.kb.Assertion.Strength
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.kb.KbStatus
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.nl.HtmlLinkType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.nl.Paraphraser.ParaphrasableType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.query.InferenceStatus
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.query.parameters.DisjunctionFreeElVarsPolicy
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.query.parameters.InferenceAnswerLanguage
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.query.parameters.ProblemReusePolicy
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.query.parameters.ProofValidationMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.query.parameters.ResultUniqueness
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.query.parameters.StandardInferenceMetric
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.query.parameters.TransitiveClosureMode
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.session.CycServerReleaseType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum com.cyc.session.CycSession.ConnectionStatus
Returns the enum constant of this type with the specified name.
values() - Static method in enum com.cyc.kb.ArgUpdate.ArgUpdateOperation
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.kb.Assertion.Direction
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.kb.Assertion.Strength
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.kb.KbStatus
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.nl.HtmlLinkType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.nl.Paraphraser.ParaphrasableType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.query.InferenceStatus
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.query.parameters.DisjunctionFreeElVarsPolicy
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.query.parameters.InferenceAnswerLanguage
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.query.parameters.ProblemReusePolicy
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.query.parameters.ProofValidationMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.query.parameters.ResultUniqueness
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.query.parameters.StandardInferenceMetric
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.query.parameters.TransitiveClosureMode
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.session.CycServerReleaseType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum com.cyc.session.CycSession.ConnectionStatus
Returns an array containing the constants of this enum type, in the order they are declared.
VAR - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR
VAR1 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR1
VAR2 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR2
VAR3 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR3
VAR4 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR4
VAR5 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR5
VAR6 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR6
VAR7 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR7
VAR8 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR8
VAR9 - Static variable in class com.cyc.Cyc.Constants
CycL variable ?VAR9
Variable - Interface in com.cyc.kb
The interface for CycL variables.
VARIABLE_ARITY_FUNCTION - Static variable in class com.cyc.Cyc.Constants
 
VARIABLE_ARITY_PREDICATE - Static variable in class com.cyc.Cyc.Constants
 
VariableArityException - Exception in com.cyc.kb.exception
Thrown when the arity of a Relation without a fixed arity is requested.
VariableArityException(String) - Constructor for exception com.cyc.kb.exception.VariableArityException
 
VariableService - Interface in com.cyc.kb.spi
Provides implementations of Variable.
VariableWrapper - Class in com.cyc.kb.wrapper
An abstract base class for implementing Variables per the decorator pattern.
VariableWrapper() - Constructor for class com.cyc.kb.wrapper.VariableWrapper
 
A B C D E F G H I K L M N O P Q R S T U V 
Skip navigation links
Cyc Core API

Copyright © 2015–2018 Cycorp, Inc. All rights reserved.