- absolute(int) - Method in interface com.cyc.query.QueryResultSet
-
- addArg1(BinaryPredicate, Object, Context) - Method in interface com.cyc.kb.KbObject
-
Adds a new Fact in ctx
using binPred
, with
arg1
as the first argument, and this
as the
second argument.
- addArg2(BinaryPredicate, Object, Context) - Method in interface com.cyc.kb.KbObject
-
Adds a new Fact in ctx
using binPred
, with
this
as the first argument, and arg2
as the
second argument.
- addArgGenl(int, String, String) - 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
ctx
.
- 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.
- addArgIsa(int, String, String) - 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 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
.
- addArgIsaSentence(int, KbCollection) - Method in interface com.cyc.kb.Relation
-
Return a sentence to add argIsa for a relation.
- addCategory(String) - Method in interface com.cyc.query.Query
-
Add a new category to which this query belongs.
- addComment(String, String) - Method in interface com.cyc.kb.KbObject
-
Add a new comment for this
in the context specified
- addComment(String, Context) - Method in interface com.cyc.kb.KbObject
-
Add a new comment for this
in the context specified
- addExtension(String) - Method in interface com.cyc.kb.Context
-
Creates a new Fact
stating that the #$Microtheory
represented by
moreSpecificStr is a specialization (an extension) of this context.
- 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.
- addFact(Context, KbPredicate, int, Object...) - Method in interface com.cyc.kb.KbObject
-
finds or creates a new Fact in the underlying KB
- addGeneralization(String, String) - Method in interface com.cyc.kb.FirstOrderCollection
-
Creates a new Fact
stating that the #$Collection represented
by moreGeneralStr
is a generalization of this
in
the context.
- addGeneralization(KbCollection, Context) - Method in interface com.cyc.kb.FirstOrderCollection
-
Creates a new Fact
stating that the moreGeneral
is a generalization of this
in the context.
- addGeneralization(String) - Method in interface com.cyc.kb.KbCollection
-
Creates a new Fact
stating that the #$Collection represented
by moreGeneralStr
is a generalization of this
in
the default assertion context.
- addGeneralization(String, String) - Method in interface com.cyc.kb.KbCollection
-
Creates a new Fact
stating that the #$Collection represented
by moreGeneralStr
is a generalization of this
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
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
in the context.
- addGeneralization(String, String) - Method in interface com.cyc.kb.KbPredicate
-
creates a new Fact
stating that moreGeneral
is a
more general predicate than this
in the context
ctx
.
- 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.
- addGeneralizationSentence(KbCollection) - Method in interface com.cyc.kb.KbCollection
-
This method returns the Sentence (#$genls this moreGeneral)
.
- addInheritsFrom(String) - Method in interface com.cyc.kb.Context
-
Creates a new Fact stating that this context inherits from moreGeneral
.
- addInheritsFrom(Context) - Method in interface com.cyc.kb.Context
-
Creates a new Fact stating that this context inherits from moreGeneral
.
- addInterArgDifferent(Integer, Integer, Context) - Method in interface com.cyc.kb.Relation
-
Add a new interArgDifferent condition of this
relation.
- addListener(QueryListener) - Method in interface com.cyc.query.Query
-
Adds a listener to this query.
- addListener(CycSession.SessionListener) - Method in interface com.cyc.session.CycSession
-
- addQueryVariable(Variable) - Method in interface com.cyc.query.Query
-
Designates var as a variable to return bindings for.
- addQuotedIsa(KbCollection, Context) - Method in interface com.cyc.kb.KbObject
-
A quotedIsa
assertion relates CycL expression to
SubLExpressionType
.
- addResultGenl(String, String) - Method in interface com.cyc.kb.KbFunction
-
creates a new
#$resultGenl
Fact
in the specified
context.
- addResultGenl(KbCollection, Context) - Method in interface com.cyc.kb.KbFunction
-
creates a new
#$resultGenl
Fact
in the specified
context.
- addResultIsa(String, String) - Method in interface com.cyc.kb.KbFunction
-
creates a new
#$resultIsa
Fact
in the supplied
context.
- addResultIsa(KbCollection, Context) - Method in interface com.cyc.kb.KbFunction
-
creates a new
#$resultIsa
Fact
in the supplied
context.
- addSpecialization(String) - Method in interface com.cyc.kb.KbCollection
-
Creates a new Fact stating that the #$Collection
represented
by moreSpecificStr
is a specialization of this
in
the default assertion context.
- addSpecialization(String, String) - Method in interface com.cyc.kb.KbCollection
-
Creates a new Fact stating that the #$Collection
represented
by moreSpecificStr
is a specialization of this
in
the context.
- addSpecialization(KbCollection) - Method in interface com.cyc.kb.KbCollection
-
Creates a new Fact stating that moreSpecific
is a
specialization of this
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
in the Context ctx.
- addSpecialization(String, String) - 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(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.
- afterLast() - Method in interface com.cyc.query.QueryResultSet
-
- ALL_KEYS - Static variable in interface com.cyc.session.SessionConfigurationProperties
-
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(String) - Method in interface com.cyc.kb.KbCollection
-
Finds all the generalizations of this KbCollection
in the
context ctx
, including the entire upward transitive closure.
- 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.
- 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(String) - Method in interface com.cyc.kb.KbCollection
-
Finds all the specializations of this
KbCollection
in the context including the entire downward
transitive closure.
- 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
- and(Sentence...) - Static method in class com.cyc.kb.SentenceFactory
-
Conjoin sentences.
- and(Iterable<Sentence>) - Static method in class com.cyc.kb.SentenceFactory
-
Conjoin sentences.
- and(Sentence...) - Method in interface com.cyc.kb.spi.SentenceService
-
- and(Iterable<Sentence>) - Method in interface com.cyc.kb.spi.SentenceService
-
- ArgPosition - Interface in com.cyc.kb
-
- assertIn(Context) - Method in interface com.cyc.kb.Sentence
-
Assert this
sentence in the context ctx
.
- 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.
- AssertionFactory - Class in com.cyc.kb
-
- AssertionService<T extends Assertion> - Interface in com.cyc.kb.spi
-
- Fact - Interface in com.cyc.kb
-
- FactFactory - Class in com.cyc.kb
-
- FactService<T extends Fact> - Interface in com.cyc.kb.spi
-
- 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
.
- findOrCreate(String) - Static method in class com.cyc.kb.AssertionFactory
-
Finds or creates the Assertion
object that corresponds to formulaStr
in the default assertion context.
- findOrCreate(String, String) - Static method in class com.cyc.kb.AssertionFactory
-
Finds or creates the Assertion
object that corresponds to formulaStr
in the context corresponding to ctxStr
.
- findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Static method in class com.cyc.kb.AssertionFactory
-
Finds or creates the Assertion
object that corresponds to formulaStr
in the context corresponding to ctxStr
.
- findOrCreate(Sentence) - Static method in class com.cyc.kb.AssertionFactory
-
Find or creates the Assertion
object that corresponds to formula
in
the default assertion context (@link DefaultContext}.
- findOrCreate(Sentence, Context) - Static method in class com.cyc.kb.AssertionFactory
-
Finds or creates the Assertion
object that corresponds to formula
in
ctx
.
- findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Static method in class com.cyc.kb.AssertionFactory
-
Finds or creates the Assertion
object that corresponds to formula
in
ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.BinaryPredicateFactory
-
Find or create a BinaryPredicate
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.BinaryPredicateFactory
-
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) - Static method in class com.cyc.kb.BinaryPredicateFactory
-
Find or create a BinaryPredicate
object named nameOrId
, and also make
it an instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.BinaryPredicateFactory
-
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) - Static method in class com.cyc.kb.BinaryPredicateFactory
-
Find or create a BinaryPredicate
object named nameOrId
, and also make
it an instance of constraintCol
in ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.ContextFactory
-
Find or create a Context
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.ContextFactory
-
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 class com.cyc.kb.ContextFactory
-
Find or create a Context
object named nameOrId
, and also make it an
instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.ContextFactory
-
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 class com.cyc.kb.ContextFactory
-
Find or create a Context
object named nameOrId
, and also make it an
instance of constraintCol
in ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.FactFactory
-
Finds or creates the Fact
object that corresponds to formulaStr
in
the default assertion context.
- findOrCreate(String, String) - Static method in class com.cyc.kb.FactFactory
-
Finds or creates the Fact
object that corresponds to formulaStr
in
the context corresponding to ctxStr
.
- findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Static method in class com.cyc.kb.FactFactory
-
Finds or creates the Fact
object that corresponds to formulaStr
in
the context corresponding to ctxStr
.
- findOrCreate(Sentence) - Static method in class com.cyc.kb.FactFactory
-
Finds or creates the Fact
object that corresponds to formula
in the
default assertion context.
- findOrCreate(Sentence, Context) - Static method in class com.cyc.kb.FactFactory
-
Finds or creates the Fact
object that corresponds to formula
in
ctx
.
- findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Static method in class com.cyc.kb.FactFactory
-
Finds or creates the Fact
object that corresponds to formula
in
ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.FirstOrderCollectionFactory
-
Find or create a FirstOrderCollection
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.FirstOrderCollectionFactory
-
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) - Static method in class com.cyc.kb.FirstOrderCollectionFactory
-
Find or create a FirstOrderCollection
object named nameOrId
, and also
make it an instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.FirstOrderCollectionFactory
-
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) - Static method in class com.cyc.kb.FirstOrderCollectionFactory
-
Find or create a FirstOrderCollection
object named nameOrId
, and also
make it an instance of constraintCol
in ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.KbCollectionFactory
-
Find or create a KbCollection
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.KbCollectionFactory
-
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 class com.cyc.kb.KbCollectionFactory
-
Find or create a KbCollection
object named nameOrId
, and also make it
an instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.KbCollectionFactory
-
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 class com.cyc.kb.KbCollectionFactory
-
Find or create a KbCollection
object named nameOrId
, and also make it
an instance of constraintCol
in ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.KbFunctionFactory
-
Find or create a KbFunction
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.KbFunctionFactory
-
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) - Static method in class com.cyc.kb.KbFunctionFactory
-
Find or create a KbFunction
object named nameOrId
, and also make it
an instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.KbFunctionFactory
-
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) - Static method in class com.cyc.kb.KbFunctionFactory
-
Find or create a KbFunction
object named nameOrId
, and also make it
an instance of constraintCol
in ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.KbIndividualFactory
-
Find or create a KbIndividual
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.KbIndividualFactory
-
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 class com.cyc.kb.KbIndividualFactory
-
Find or create a KbIndividual
object named nameOrId
, and also make it
an instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.KbIndividualFactory
-
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 class com.cyc.kb.KbIndividualFactory
-
Find or create a KbIndividual
object named nameOrId
, and also make it
an instance of constraintCol
in ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.KbPredicateFactory
-
Find or create a KbPredicate
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.KbPredicateFactory
-
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) - Static method in class com.cyc.kb.KbPredicateFactory
-
Find or create a KbPredicate
object named nameOrId
, and also make it
an instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.KbPredicateFactory
-
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) - Static method in class com.cyc.kb.KbPredicateFactory
-
Find or create a KbPredicate
object named nameOrId
, and also make it
an instance of constraintCol
in ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.KbTermFactory
-
Find or create a KbTerm
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.KbTermFactory
-
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) - Static method in class com.cyc.kb.KbTermFactory
-
Find or create a KbTerm
object named nameOrId
, and also make it an
instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.KbTermFactory
-
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) - Static method in class com.cyc.kb.KbTermFactory
-
Find or create a KbTerm
object named nameOrId
, and also make it an
instance of constraintCol
in ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.RelationFactory
-
Find or create a Relation
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.RelationFactory
-
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) - Static method in class com.cyc.kb.RelationFactory
-
Find or create a Relation
object named nameOrId
, and also make it an
instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.RelationFactory
-
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) - Static method in class com.cyc.kb.RelationFactory
-
Find or create a Relation
object named nameOrId
, and also make it an
instance of constraintCol
in ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.RuleFactory
-
Finds or creates the Rule
that corresponds to formulaStr
in the
default assertion context.
- findOrCreate(String, String) - Static method in class com.cyc.kb.RuleFactory
-
Finds or creates the Rule
that corresponds to formulaStr
in the
context ctxStr
.
- findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Static method in class com.cyc.kb.RuleFactory
-
Finds or creates the Rule
that corresponds to formulaStr
in the
context ctxStr
with the specified strength and direction.
- findOrCreate(Sentence) - Static method in class com.cyc.kb.RuleFactory
-
Finds or creates the
Rule
object that corresponds to
formula
in the
default assertion context
DefaultContext
.
- findOrCreate(Sentence, Context) - Static method in class com.cyc.kb.RuleFactory
-
Finds or creates the Rule
object that corresponds to formula
in
ctx
.
- findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Static method in class com.cyc.kb.RuleFactory
-
Finds or creates the Rule
object that corresponds to formula
in
ctx
using the specified strength and direction.
- findOrCreate(Sentence, Sentence, Context) - Static method in class com.cyc.kb.RuleFactory
-
Finds or creates the Rule
that corresponds to a formula with
antecedent
and consequent
in the context ctx
.
- findOrCreate(String) - Static method in class com.cyc.kb.SecondOrderCollectionFactory
-
Find or create a SecondOrderCollection
object named nameOrId
.
- findOrCreate(String, String) - Static method in class com.cyc.kb.SecondOrderCollectionFactory
-
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) - Static method in class com.cyc.kb.SecondOrderCollectionFactory
-
Find or create a SecondOrderCollection
object named nameOrId
, and
also make it an instance of constraintCol
in ctx
.
- findOrCreate(String, KbCollection) - Static method in class com.cyc.kb.SecondOrderCollectionFactory
-
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) - Static method in class com.cyc.kb.SecondOrderCollectionFactory
-
Find or create a SecondOrderCollection
object named nameOrId
, and
also make it an instance of constraintCol
in ctx
.
- findOrCreate(String) - Method in interface com.cyc.kb.spi.AssertionService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.AssertionService
-
- findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.AssertionService
-
- findOrCreate(Sentence) - Method in interface com.cyc.kb.spi.AssertionService
-
- findOrCreate(Sentence, Context) - Method in interface com.cyc.kb.spi.AssertionService
-
- findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.AssertionService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.BinaryPredicateService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.BinaryPredicateService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.ContextService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.ContextService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.ContextService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.ContextService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.ContextService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.FactService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.FactService
-
- findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.FactService
-
- findOrCreate(Sentence) - Method in interface com.cyc.kb.spi.FactService
-
- findOrCreate(Sentence, Context) - Method in interface com.cyc.kb.spi.FactService
-
- findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.FactService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.KbCollectionService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbCollectionService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbCollectionService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbCollectionService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbCollectionService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.KbFunctionService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbFunctionService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbFunctionService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbFunctionService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbFunctionService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.KbIndividualService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbIndividualService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbIndividualService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbIndividualService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbIndividualService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.KbPredicateService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbPredicateService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbPredicateService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbPredicateService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbPredicateService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.KbTermService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.KbTermService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.KbTermService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.KbTermService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.KbTermService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.RelationService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.RelationService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.RelationService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.RelationService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.RelationService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.RuleService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.RuleService
-
- findOrCreate(String, String, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.RuleService
-
- findOrCreate(Sentence) - Method in interface com.cyc.kb.spi.RuleService
-
- findOrCreate(Sentence, Context) - Method in interface com.cyc.kb.spi.RuleService
-
- findOrCreate(Sentence, Context, Assertion.Strength, Assertion.Direction) - Method in interface com.cyc.kb.spi.RuleService
-
- findOrCreate(Sentence, Sentence, Context) - Method in interface com.cyc.kb.spi.RuleService
-
- findOrCreate(String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
-
- findOrCreate(String, String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
-
- findOrCreate(String, String, String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
-
- findOrCreate(String, KbCollection) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
-
- findOrCreate(String, KbCollection, Context) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
-
- 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
.
- findRedundantClauses() - Method in interface com.cyc.query.Query
-
Identifies redundant clauses in this query.
- findUnconnectedClauses() - Method in interface com.cyc.query.Query
-
Identifies unconnected clauses in this query.
- 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
-
- FirstOrderCollection - Interface in com.cyc.kb
-
- FirstOrderCollectionFactory - Class in com.cyc.kb
-
- FirstOrderCollectionService<T extends FirstOrderCollection> - Interface in com.cyc.kb.spi
-
- forAssertion() - Method in interface com.cyc.kb.DefaultContext
-
- formulaArity() - Method in interface com.cyc.kb.KbObject
-
Returns the syntactic arity of this object.
- forQuery() - Method in interface com.cyc.kb.DefaultContext
-
- fromName(String) - Static method in enum com.cyc.query.StandardInferenceMetric
-
Return the standard inference metric with the specified name, if there is one.
- fromString(String) - Static method in enum com.cyc.session.CycServerReleaseType
-
Returns the CycServerReleaseType constant matching the specified String.
- GenerationMode - Interface in com.cyc.nl
-
- get(String) - Static method in class com.cyc.kb.AssertionFactory
-
Get the Assertion
object that corresponds to hlid
.
- get(String, String) - Static method in class com.cyc.kb.AssertionFactory
-
Get the Assertion
object that corresponds to formulaStr
in the
context corresponding to ctxStr
.
- get(Sentence, Context) - Static method in class com.cyc.kb.AssertionFactory
-
Get the Assertion
object that corresponds to formula
in the context
ctx
.
- get(String) - Static method in class com.cyc.kb.BinaryPredicateFactory
-
Get the BinaryPredicate
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.ContextFactory
-
Get the Context
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.FactFactory
-
Get the Fact
object that corresponds to hlid
.
- get(String, String) - Static method in class com.cyc.kb.FactFactory
-
Get the Fact
object that corresponds to formulaStr
in the context
corresponding to ctxStr
.
- get(Sentence, Context) - Static method in class com.cyc.kb.FactFactory
-
Get the Fact
object that corresponds to formula
in the context
ctx
.
- get(String) - Static method in class com.cyc.kb.FirstOrderCollectionFactory
-
Get the FirstOrderCollection
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.KbCollectionFactory
-
Get the KbCollection
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.KbFunctionFactory
-
Get the KbFunction
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.KbIndividualFactory
-
Get the KbIndividual
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.KbPredicateFactory
-
Get the KbPredicate
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.KbTermFactory
-
Get the KbTerm
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.RelationFactory
-
Get the Relation
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.RuleFactory
-
Get the Rule
that corresponds to hlid
.
- get(String, String) - Static method in class com.cyc.kb.RuleFactory
-
Get the Rule
for formulaStr
in the context ctxStr
.
- get(Sentence, Context) - Static method in class com.cyc.kb.RuleFactory
-
Get the Rule
that corresponds to formula
in the context
ctx
.
- get(Sentence, Sentence, Context) - Static method in class com.cyc.kb.RuleFactory
-
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 class com.cyc.kb.SecondOrderCollectionFactory
-
Get the SecondOrderCollection
with the name nameOrId
.
- get(String) - Static method in class com.cyc.kb.SentenceFactory
-
Attempts to convert a CycL string into a CycFormulaSentence and thus into a KbObject, Sentence.
- get(Relation, Object...) - Static method in class com.cyc.kb.SentenceFactory
-
Builds a sentence based on pred
and other args
.
- get(Object...) - Static method in class com.cyc.kb.SentenceFactory
-
Builds an arbitrary sentence based on the args
provided.
- get(String) - Method in interface com.cyc.kb.spi.AssertionService
-
- get(String, String) - Method in interface com.cyc.kb.spi.AssertionService
-
- get(Sentence, Context) - Method in interface com.cyc.kb.spi.AssertionService
-
- get(String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
-
- get(String) - Method in interface com.cyc.kb.spi.ContextService
-
- get(String) - Method in interface com.cyc.kb.spi.FactService
-
- get(String, String) - Method in interface com.cyc.kb.spi.FactService
-
- get(Sentence, Context) - Method in interface com.cyc.kb.spi.FactService
-
- get(String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
-
- get(String) - Method in interface com.cyc.kb.spi.KbCollectionService
-
- get(String) - Method in interface com.cyc.kb.spi.KbFunctionService
-
- get(String) - Method in interface com.cyc.kb.spi.KbIndividualService
-
- get(String) - Method in interface com.cyc.kb.spi.KbPredicateService
-
- get(String) - Method in interface com.cyc.kb.spi.KbTermService
-
- get(String) - Method in interface com.cyc.kb.spi.RelationService
-
- get(String) - Method in interface com.cyc.kb.spi.RuleService
-
- get(String, String) - Method in interface com.cyc.kb.spi.RuleService
-
- get(Sentence, Context) - Method in interface com.cyc.kb.spi.RuleService
-
- get(Sentence, Sentence, Context) - Method in interface com.cyc.kb.spi.RuleService
-
- get(String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
-
- get(String) - Method in interface com.cyc.kb.spi.SentenceService
-
- get(Relation, Object...) - Method in interface com.cyc.kb.spi.SentenceService
-
- get(Object...) - Method in interface com.cyc.kb.spi.SentenceService
-
- get(String) - Method in interface com.cyc.kb.spi.SymbolService
-
- get(String) - Method in interface com.cyc.kb.spi.VariableService
-
- get(String) - Static method in class com.cyc.kb.SymbolFactory
-
Creates an instance of #$CycLSubLSymbol represented by symStr in the underlying KB.
- get(String) - Static method in class com.cyc.kb.VariableFactory
-
Creates an instance of #$CycLVariable represented by varStr in the underlying KB.
- get(String) - Method in interface com.cyc.query.InferenceParameters
-
- getAbbreviation() - Method in enum com.cyc.session.CycServerReleaseType
-
- getAbductionAllowed() - Method in interface com.cyc.query.InferenceParameterGetter
-
Check whether the Query allows abduction.
- getAlternateValue() - Method in interface com.cyc.query.InferenceParameter
-
- getAnswer(int) - Method in interface com.cyc.query.Query
-
Returns the nth answer for this query.
- getAnswerCount() - Method in interface com.cyc.query.Query
-
Returns the number of answers found for this query.
- getAnswerId() - Method in interface com.cyc.query.InferenceAnswerIdentifier
-
- getAnswerLanguage() - Method in interface com.cyc.query.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 query.
- getAnswerSentence(QueryAnswer) - Method in interface com.cyc.query.Query
-
Get the CycL sentence from the specified answer to this query.
- getAntecedent() - Method in interface com.cyc.kb.Rule
-
Return the first argument of the Rule assertion.
- getArgGenl(int) - Method in interface com.cyc.kb.Relation
-
- getArgGenl(int, String) - Method in interface com.cyc.kb.Relation
-
gets the KbCollection
s that all arguments in position
argPos
of the relation must be specializations of, as viewed
from the context ctx
.
- getArgGenl(int, Context) - Method in interface com.cyc.kb.Relation
-
gets the KbCollection
s that all arguments in position
argPos
of the relation must be specializations of, as viewed
from the context ctx
- 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.
- getArgIsa(int) - Method in interface com.cyc.kb.Relation
-
- getArgIsa(int, String) - Method in interface com.cyc.kb.Relation
-
gets the KbCollection
s that all arguments in position
argPos
of the relation most be instances of, as viewed from
the context ctx
.
- getArgIsa(int, Context) - Method in interface com.cyc.kb.Relation
-
gets the KbCollection
s that all arguments in position
argPos
of the relation most be instances of, as viewed from
the context ctx
.
- 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.
- 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.
- getArgument(int) - Method in interface com.cyc.kb.Fact
-
gets the object in getPos
argument position of the fact as an
object of type O
- getArgument(int) - Method in interface com.cyc.kb.KbObject
-
gets the object in getPos
argument position of this KbObject
as an object of type O
.
- getArity() - Method in interface com.cyc.kb.Relation
-
Return the number of arguments required for this
relation.
- getArityMax() - Method in interface com.cyc.kb.Relation
-
find the maximum number of arguments required for the relation
this
.
- getArityMin() - Method in interface com.cyc.kb.Relation
-
find the minimum number of arguments required for the relation
this
.
- getAssertionService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getBasePort() - Method in interface com.cyc.session.CycServerAddress
-
The Cyc server's base port number.
- getBinaryPredicateService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getBinding(Variable) - Method in interface com.cyc.query.QueryAnswer
-
Get the value to which the specified variable is bound.
- getBindings() - Method in interface com.cyc.query.QueryAnswer
-
Get the values to which the all variables are bound.
- getBoolean(int) - Method in interface com.cyc.query.QueryResultSet
-
- getBoolean(String) - Method in interface com.cyc.query.QueryResultSet
-
- 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.Query
-
Returns the categories to which this query belongs.
- getCfaslPort() - Method in interface com.cyc.session.CycServerAddress
-
The Cyc server's binary (CFASL) communications port number.
- getCloseTimeout() - Method in interface com.cyc.query.Query
-
- getCollectionService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- 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.KbObject
-
- getComments(String) - Method in interface com.cyc.kb.KbObject
-
gets all the comments for this
visible from the context
- getComments(Context) - Method in interface com.cyc.kb.KbObject
-
gets all the comments for this
visible from the context
- getConfiguration() - Method in interface com.cyc.session.CycSession
-
Returns the CycSessionConfiguration used to configure this session.
- getConfiguration() - Method in interface com.cyc.session.spi.SessionConfigurationLoader
-
Returns a new CycSessionConfiguration.
- getConfiguration() - Method in interface com.cyc.session.spi.SessionManager
-
Returns a CycSessionConfiguration, suitable for creating a new CycSession.
- 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.
- getContext() - Method in interface com.cyc.kb.Assertion
-
the context associated with the assertion.
- getContext() - Method in interface com.cyc.query.Query
-
Returns the Context of this Query.
- getContextService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getConvenienceService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getCore() - Method in interface com.cyc.kb.KbObject
-
provides direct access to the encapsulated object.
- getCreationDate() - Method in interface com.cyc.kb.KbTerm
-
Return the date and time at which this term was created.
- getCreator() - Method in interface com.cyc.kb.KbTerm
-
Return the #$Cyclist (not necessarily #$HumanCyclist) who created this term.
- getCurrentRowCount() - Method in interface com.cyc.query.QueryResultSet
-
Returns the number of rows currently in the result set.
- getCurrentSession() - Static method in class com.cyc.session.CycSessionManager
-
Returns the CycSession currently assigned to this thread.
- getCurrentSession() - Method in interface com.cyc.session.spi.SessionManager
-
Returns the CycSession currently assigned to this thread.
- 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.CycSessionConfiguration.DefaultSessionOptions
-
Returns the value of the Cyclist.
- getCyclistName() - Method in interface com.cyc.session.SessionOptions
-
Returns the value of the Cyclist.
- 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).
- getCycServer() - Method in interface com.cyc.session.CycServerInfo
-
Returns the address of the server the Session is actually connected to (or
was connected to).
- getCycServer() - Method in interface com.cyc.session.CycSessionConfiguration
-
Returns the address of the Cyc server to be connected to.
- getCycSession() - Method in interface com.cyc.query.Query
-
Get the Cyc session to be used for this query.
- 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 class com.cyc.kb.ContextFactory
-
Returns a DefaultContext for a given assertion and query Context.
- getDefaultContext(String, String) - Static method in class com.cyc.kb.ContextFactory
-
Returns a DefaultContext for a given assertion and query Context.
- getDefaultContext(Context, Context) - Method in interface com.cyc.kb.spi.ContextService
-
- getDefaultContext(String, String) - Method in interface com.cyc.kb.spi.ContextService
-
- getDefaultContext() - Method in interface com.cyc.session.CycSessionConfiguration.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.CycSessionConfiguration
-
- getDefaultValue() - Method in interface com.cyc.query.InferenceParameter
-
Get the default value for this parameter.
- getDescription() - Method in interface com.cyc.query.InferenceMode
-
- getDirection() - Method in interface com.cyc.kb.Assertion
-
the direction of the assertion.
- getDisjunctionFreeElVarsPolicy() - Method in interface com.cyc.query.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
-
- getDouble(int) - Method in interface com.cyc.query.QueryResultSet
-
- 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
.
- getEnvironmentConfiguration() - Method in interface com.cyc.session.spi.SessionManager
-
Returns an EnvironmentConfiguration, drawn from the System properties.
- getExtensions() - Method in interface com.cyc.kb.Context
-
- getExtent() - Method in interface com.cyc.kb.KbPredicate
-
- getExtent(Context) - Method in interface com.cyc.kb.KbPredicate
-
- getFact(Context, KbPredicate, int, Object...) - Method in interface com.cyc.kb.KbObject
-
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.
- getFacts(KbPredicate, int, Context) - Method in interface com.cyc.kb.KbObject
-
gets the asserted Facts visible from ctx
, using the predicate
predicate
with this
at position thisArgPos
of the Fact
- getFactService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getFirstOrderCollectionService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getFirstProofId(Integer) - Method in interface com.cyc.query.InferenceIdentifier
-
- getFloat(int) - Method in interface com.cyc.query.QueryResultSet
-
- 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
.
- 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.
- getFunctionService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getGeneralizations() - Method in interface com.cyc.kb.FirstOrderCollection
-
- getGeneralizations(String) - 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
-
- getGeneralizations(String) - Method in interface com.cyc.kb.KbCollection
-
Finds the asserted generalizations of this
KbCollection
, from a context specified by ctx
.
- 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
-
- getGeneralizations(String) - Method in interface com.cyc.kb.KbPredicate
-
finds the asserted generalizations of this
, from a context
ctx
.
- getGeneralizations(Context) - Method in interface com.cyc.kb.KbPredicate
-
finds the asserted generalizations of this
, from the context
ctx
.
- getGeneralizationSentence(KbPredicate) - Method in interface com.cyc.kb.KbPredicate
-
This method returns the Sentence (#$genlPreds this moreGeneral)
.
- getHideExplicitUniversals() - Method in interface com.cyc.nl.NlGenerationParams
-
- getHostName() - Method in interface com.cyc.session.CycServerAddress
-
The server's host name
- getHttpPort() - Method in interface com.cyc.session.CycServerAddress
-
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 interface com.cyc.query.Query
-
Get the Cyc term that defines this query.
- getId() - Method in interface com.cyc.query.QueryAnswer
-
Get the identifier for this answer.
- getIndividualService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- 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 query.
- getInferenceIdentifier() - Method in interface com.cyc.query.QueryResultSet
-
- getInferenceMode() - Method in interface com.cyc.query.InferenceParameterGetter
-
Get the inference mode to use.
- getInferenceParameters() - Method in interface com.cyc.query.Query
-
Return 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
-
- getInstance() - Static method in class com.cyc.session.CycSessionManager
-
- getInstances() - Method in interface com.cyc.kb.KbCollection
-
- getInstances(String) - Method in interface com.cyc.kb.KbCollection
-
Finds the asserted instances of this
KbCollection
from a particular context.
- getInstances(Context) - Method in interface com.cyc.kb.KbCollection
-
Finds the asserted instances of this
KbCollection
from a particular context.
- 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.
- 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)
.
- getKbFactoryServices() - Static method in class com.cyc.core.service.CoreServicesLoader
-
- getKbObject(String) - Static method in class com.cyc.kb.KbFactory
-
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.ConvenienceService
-
- getKbObject(Variable, Class<T>) - 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<T>) - 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<T>) - Method in interface com.cyc.query.QueryResultSet
-
Return the object at columnIndex
as a KbObject
or java
primitive, with an expected type of T
.
- getKbObjectService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getKePurposeName() - Method in interface com.cyc.session.CycSessionConfiguration.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).
- getLanguageContext() - Method in interface com.cyc.nl.NlGenerationParams
-
- getLanguageContext() - Method in interface com.cyc.nl.Paraphraser
-
- 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.InferenceParameter
-
Get a long description of this parameter.
- getLongDescription() - Method in interface com.cyc.query.InferenceParameterValueDescription
-
- getMaxAnswerCount() - Method in interface com.cyc.query.InferenceParameterGetter
-
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.InferenceParameterGetter
-
Returns the soft timeout for the Query in seconds.
- getMaxTransformationDepth() - Method in interface com.cyc.query.InferenceParameterGetter
-
Returns the max transformation depth value.
- getMessage() - Method in error com.cyc.session.CycSessionManager.CycSessionManagerInitializationError
-
- getMetrics() - Method in interface com.cyc.query.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.
- getName() - Method in interface com.cyc.kb.Variable
-
Get the name of this variable.
- 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.StandardInferenceMetric
-
- getName() - Method in enum com.cyc.session.CycServerReleaseType
-
- getName() - Method in interface com.cyc.session.spi.SessionConfigurationLoader
-
The convenience name of this implementation, making it easier to specify a particular
configuration loader in System properties (or properties files, or whatever.) This name may be
almost anything, but should be reasonably descriptive: "interactive," "default-properties,"
etc.
- getNlPreds() - Method in interface com.cyc.nl.NlGenerationParams
-
- getNlPreds() - Method in interface com.cyc.nl.Paraphraser
-
- getObject(Variable, Class<T>) - Method in interface com.cyc.query.QueryResultSet
-
Return the binding for variable as an instance of type.
- getObject(String, Class<T>) - Method in interface com.cyc.query.QueryResultSet
-
Return the object at the column with columnLabel as an instance of type.
- getObject(int, Class<T>) - Method in interface com.cyc.query.QueryResultSet
-
Return the object at columnIndex as an instance of type.
- 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.
- getParams() - Method in interface com.cyc.nl.Paraphraser
-
Returns the NL generation parameters used by default to generate paraphrases.
- 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.CycServerAddress
-
The server's port number.
- getPredicateService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getPrettyRepresentation(Object) - Method in interface com.cyc.query.InferenceParameter
-
Get a human-friendly string representation of the specified value.
- getProblemReusePolicy() - Method in interface com.cyc.query.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.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.
- getQuantifyVars() - Method in interface com.cyc.nl.NlGenerationParams
-
- getQuery(String) - Static method in class com.cyc.query.QueryFactory
-
constructs a Query working with the string queryStr.
- getQuery(String, String) - Static method in class com.cyc.query.QueryFactory
-
Returns a query object defined by queryStr asked in Microtheory ctxStr, with default inference
parameters.
- getQuery(String, String, String) - Static method in class com.cyc.query.QueryFactory
-
Returns a query object defined by queryStr asked in Microtheory ctxStr, with inference
parameters, queryParams.
- getQuery(Sentence, Context, InferenceParameters) - Static method in class com.cyc.query.QueryFactory
-
- getQuery(Sentence, Context) - Static method in class com.cyc.query.QueryFactory
-
- getQuery(KbIndividual) - Static method in class com.cyc.query.QueryFactory
-
Constructs a Query from a KbIndividual corresponding to #$CycLQuerySpecification.
- getQuery(KbIndividual, Map<KbObject, Object>) - Static method in class com.cyc.query.QueryFactory
-
Returns a new Query loaded from a term in Cyc specifying its properties.
- getQuery(String, Map<String, String>) - Static method in class com.cyc.query.QueryFactory
-
Returns a Query object defined by a CycLQuerySpecification term, and substitutes in relevant
values from the indexicals Map.
- getQuery(String) - Method in interface com.cyc.query.spi.QueryFactoryService
-
constructs a Query working with the string queryStr.
- getQuery(String, String) - Method in interface com.cyc.query.spi.QueryFactoryService
-
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.QueryFactoryService
-
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.QueryFactoryService
-
- getQuery(Sentence, Context) - Method in interface com.cyc.query.spi.QueryFactoryService
-
- getQuery(KbIndividual) - Method in interface com.cyc.query.spi.QueryFactoryService
-
Constructs a Query from a CycLQuerySpecification KbIndividual.
- getQuery(KbIndividual, Map<KbObject, Object>) - Method in interface com.cyc.query.spi.QueryFactoryService
-
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.QueryFactoryService
-
Returns a Query object defined by a CycLQuerySpecification term, and substitutes in relevant
values from the indexicals Map.
- getQueryFactoryService() - Static method in class com.cyc.core.service.CoreServicesLoader
-
- getQuerySentence() - Method in interface com.cyc.query.Query
-
- getQuerySentenceHypothesizedClause() - Method in interface com.cyc.query.Query
-
- getQuerySentenceMainClause() - Method in interface com.cyc.query.Query
-
- getQueryVariables() - Method in interface com.cyc.query.Query
-
Return 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.
- getRawProperties() - Method in interface com.cyc.session.CycSessionConfiguration
-
Returns a copy of the original Properties object used to initialize the CycSessionConfiguration
implementation.
- getRelationService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getResolvedHostName() - Method in interface com.cyc.session.CycServerAddress
-
Returns the resolved hostname of this address.
- getRestriction() - Method in interface com.cyc.kb.KbObject
-
This method returns a sentence with the type restriction of the KbObject or
its subclasses, even the ones extended outside of KB API.
- getResultGenl() - Method in interface com.cyc.kb.KbFunction
-
- getResultGenl(String) - Method in interface com.cyc.kb.KbFunction
-
Returns the #$resultGenl
s of this KbFunction
from
the context.
- getResultGenl(Context) - Method in interface com.cyc.kb.KbFunction
-
Returns the #$resultGenl
s of this KbFunction
from
the context.
- getResultIsa() - Method in interface com.cyc.kb.KbFunction
-
- getResultIsa(String) - Method in interface com.cyc.kb.KbFunction
-
Returns the #$resultIsa
as of this KbFunction
from
the context ctx
.
- getResultIsa(Context) - Method in interface com.cyc.kb.KbFunction
-
Returns the #$resultIsa
s of this KbFunction
from
the context.
- getResultSet() - Method in interface com.cyc.query.Query
-
- getResultUniqueness() - Method in interface com.cyc.query.InferenceParameterGetter
-
Get the criteria for determining when two answers are the same, or null if
unspecified.
- getRow() - Method in interface com.cyc.query.QueryResultSet
-
- getRuleService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getSecondOrderCollectionService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getSentence(String) - Static method in class com.cyc.kb.KbFactory
-
Attempts to convert a CycL string into a CycFormulaSentence and thus into a KbObject, Sentence.
- getSentence(Relation, Object...) - Static method in class com.cyc.kb.KbFactory
-
Builds a sentence based on pred
and other args
.
- getSentence(Object...) - Static method in class com.cyc.kb.KbFactory
-
Builds an arbitrary sentence based on the args
provided.
- getSentence(KbPredicate, int, Object...) - Method in interface com.cyc.kb.KbObject
-
construct a sentence, that has pred
as its predicate,
this
in the thisArgPos
argument position, and
otherArgs
as its other arguments.
- getSentenceService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- 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.CycServerAddress
-
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
-
- getShortDescription() - Method in interface com.cyc.query.InferenceParameter
-
Get a short description of this parameter.
- getShortDescription() - Method in interface com.cyc.query.InferenceParameterValueDescription
-
- getShouldTranscriptOperations() - Method in interface com.cyc.session.CycSessionConfiguration.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
-
- getSpecializations(String) - Method in interface com.cyc.kb.KbCollection
-
Finds the asserted specializations of this
KbCollection
, from the context ctx
.
- 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
-
- getSpecializations(String) - Method in interface com.cyc.kb.KbPredicate
-
finds the asserted specializations of this
KbPredicate
, from the context ctx
.
- getSpecializations(Context) - Method in interface com.cyc.kb.KbPredicate
-
finds the asserted specializations of this
KbPredicate
, from the context ctx
- getStatus(String) - Static method in class com.cyc.kb.BinaryPredicateFactory
-
Returns an KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$BinaryPredicate
.
- getStatus(String) - Static method in class com.cyc.kb.ContextFactory
-
Returns an KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$Microtheory
.
- getStatus(String) - Static method in class com.cyc.kb.FirstOrderCollectionFactory
-
Returns an KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$FirstOrderCollection
.
- getStatus(String) - Static method in class com.cyc.kb.KbCollectionFactory
-
Returns a KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$Collection
.
- getStatus(String) - Static method in class com.cyc.kb.KbFunctionFactory
-
Returns an KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$Function-Denotational
.
- getStatus(String) - Static method in class com.cyc.kb.KbIndividualFactory
-
Returns an KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$Individual
.
- getStatus(String) - Static method in class com.cyc.kb.KbPredicateFactory
-
Returns an KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$Predicate
.
- getStatus(String) - Static method in class com.cyc.kb.KbTermFactory
-
Returns an KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$Thing
.
- getStatus(String) - Static method in class com.cyc.kb.RelationFactory
-
Returns an KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$Relation
.
- getStatus(String) - Static method in class com.cyc.kb.SecondOrderCollectionFactory
-
Returns an KbStatus enum which describes whether nameOrId
exists in the KB and is
an instance of #$SecondOrderCollection
.
- getStatus(String) - Method in interface com.cyc.kb.spi.BinaryPredicateService
-
- getStatus(String) - Method in interface com.cyc.kb.spi.ContextService
-
- getStatus(String) - Method in interface com.cyc.kb.spi.FirstOrderCollectionService
-
- getStatus(String) - Method in interface com.cyc.kb.spi.KbCollectionService
-
- getStatus(String) - Method in interface com.cyc.kb.spi.KbFunctionService
-
- getStatus(String) - Method in interface com.cyc.kb.spi.KbIndividualService
-
- getStatus(String) - Method in interface com.cyc.kb.spi.KbPredicateService
-
- getStatus(String) - Method in interface com.cyc.kb.spi.KbTermService
-
- getStatus(String) - Method in interface com.cyc.kb.spi.RelationService
-
- getStatus(String) - Method in interface com.cyc.kb.spi.SecondOrderCollectionService
-
- 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
.
- 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.
- getSuspendReason() - Method in interface com.cyc.query.Query
-
Return the reason why this Query was suspended (if it was).
- getSymbol(String) - Static method in class com.cyc.kb.KbFactory
-
Creates an instance of #$CycLSubLSymbol represented by symStr in the underlying KB.
- getSymbolService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getSystemReleaseType() - Method in interface com.cyc.session.CycServerInfo
-
Returns an enum representing the Cyc server type.
- getTermService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- getTransitiveClosureMode() - Method in interface com.cyc.query.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.
- getUseBulletsInHtmlMode() - Method in interface com.cyc.nl.NlGenerationParams
-
- getValue() - Method in interface com.cyc.query.InferenceParameterValueDescription
-
- getValue(InferenceMetric) - Method in interface com.cyc.query.metrics.InferenceMetricsValues
-
- getValue(String) - Method in interface com.cyc.query.metrics.InferenceMetricsValues
-
- getValues(String, int, int, String) - Method in interface com.cyc.kb.KbObject
-
This method gets asserted facts visible from ctx
with
predicate represented by pred
and this
at the
thisArgPos
arg position of the fact, and returns as
O
objects based on the arguments in the getArgPos
argument position of the facts.
- getValues(KbPredicate, int, int, Context) - Method in interface com.cyc.kb.KbObject
-
This method gets all facts with predicate pred
and
this
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.
- getValues(KbPredicate, int, int, Object, int, Context) - Method in interface com.cyc.kb.KbObject
-
This method gets all facts visible from ctx
that use predicate
pred
, have this
in the thisArgPos
arg position, and also have matchArg
in the
matchArgPos
arg position; it returns a list of O
objects from the getArgPos
argument position of the fact.
- getVariable(String) - Static method in class com.cyc.kb.KbFactory
-
Creates an instance of #$CycLVariable represented by varStr in the underlying KB.
- getVariableService() - Method in interface com.cyc.kb.spi.KbFactoryServices
-
- implies(Collection<Sentence>, Sentence) - Static method in class com.cyc.kb.SentenceFactory
-
Make a new conditional sentence with the specified antecedent and consequent.
- implies(Sentence, Sentence) - Static method in class com.cyc.kb.SentenceFactory
-
Make a new conditional sentence with the specified antecedent and consequent.
- implies(Collection<Sentence>, Sentence) - Method in interface com.cyc.kb.spi.SentenceService
-
- implies(Sentence, Sentence) - Method in interface com.cyc.kb.spi.SentenceService
-
- INFERENCE_PSC - Static variable in class com.cyc.kb.ContextFactory
-
Context for #$InferencePSC
- InferenceAnswerIdentifier - Interface in com.cyc.query
-
InferenceAnswerIdentifier is designed to...
- InferenceAnswerLanguage - Enum in com.cyc.query
-
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
-
- InferenceMetricsValues - Interface in com.cyc.query.metrics
-
- InferenceMode - Interface in com.cyc.query
-
- InferenceParameter - Interface in com.cyc.query
-
- InferenceParameterGetter - Interface in com.cyc.query
-
An interface defining the getters of Cyc inference parameters.
- InferenceParameters - Interface in com.cyc.query
-
InferenceParameters is designed to encode the parameters that can be
specified for running a Cyc query.
- InferenceParameterSetter - Interface in com.cyc.query
-
An interface defining the setters of Cyc inference parameters.
- InferenceParameterSymbolValue - Interface in com.cyc.query
-
- InferenceParameterValue - Interface in com.cyc.query
-
A representation of a value for an inference parameter.
- InferenceParameterValueDescription - Interface in com.cyc.query
-
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(String) - Method in interface com.cyc.kb.KbIndividual
-
finds the types this KbIndividual is an instance of to, from a context.
- instanceOf(Context) - Method in interface com.cyc.kb.KbIndividual
-
finds the types this KbIndividual is an instance of to, from a context.
- instancesOf() - Method in interface com.cyc.kb.KbCollection
-
- instancesOf(String) - Method in interface com.cyc.kb.KbCollection
-
Finds the asserted types this
KbCollection
belongs to, from a context ctx
.
- instancesOf(Context) - Method in interface com.cyc.kb.KbCollection
-
Finds the asserted types this
KbCollection
belongs to, from a context ctx
.
- instantiates(String, String) - Method in interface com.cyc.kb.KbCollection
-
Creates a new Fact stating that this
object is an instance of
the #$Collection
represented by col
in the
context ctx
.
- instantiates(KbCollection, Context) - Method in interface com.cyc.kb.KbCollection
-
Creates a new Fact stating that this
object is an instance of
the #$Collection
represented by col
in the
context ctx
.
- instantiates(String, String) - Method in interface com.cyc.kb.KbObject
-
creates a new Fact
stating that this
KbIndividual
instantiates the #$Collection
represented by col
in the context represented by
ctx
.
- instantiates(KbCollection, Context) - Method in interface com.cyc.kb.KbObject
-
creates a new Fact
stating that this KbIndividual
instantiates the col
in ctx
.
- instantiates(KbCollection) - Method in interface com.cyc.kb.KbObject
-
- instantiatesSentence(KbCollection) - Method in interface com.cyc.kb.KbObject
-
This method returns the Sentence (#$isa this col)
.
- 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(Throwable) - Constructor for exception com.cyc.kb.exception.InvalidFormulaInContextException
-
- InvalidFormulaInContextException(String) - Constructor for exception com.cyc.kb.exception.InvalidFormulaInContextException
-
- InvalidFormulaInContextException(String, Throwable) - 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(Throwable) - Constructor for exception com.cyc.kb.exception.InvalidNameException
-
- InvalidNameException(String) - Constructor for exception com.cyc.kb.exception.InvalidNameException
-
- InvalidNameException(String, Throwable) - Constructor for exception com.cyc.kb.exception.InvalidNameException
-
- isAfterLast() - Method in interface com.cyc.query.QueryResultSet
-
- isAlternateValue(Object) - Method in interface com.cyc.query.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, KbPredicate, int, Object...) - Method in interface com.cyc.kb.KbObject
-
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.
- 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).
- isAssertible(Context) - Method in interface com.cyc.kb.Sentence
-
Checks if a given sentence meets the constraints necessary to be assertible in
ctx
.
- isAssertion() - Method in interface com.cyc.kb.KbObject
-
Does this
correspond to any kind of Cyc assertion?
- isAtomic() - Method in interface com.cyc.kb.KbObject
-
Is this
a non-decomposable KbObject? This will return true for
KbObject
s that represent Cyc constants, Cyc variables, or Cyc
symbols.
- isBasicParameter() - Method in interface com.cyc.query.InferenceParameter
-
- isBeforeFirst() - Method in interface com.cyc.query.QueryResultSet
-
- isBrowsable() - Method in interface com.cyc.query.InferenceParameterGetter
-
Check whether the Query (once run) is browsable.
- isCapableOfSuccess() - Method in interface com.cyc.session.spi.SessionConfigurationLoader
-
Whether the SessionConfigurationLoader believes it has a chance of success.
- isClosed() - Method in interface com.cyc.query.QueryResultSet
-
- isClosed() - Method in interface com.cyc.session.CycSession
-
Returns whether the CycSession is closed.
- isClosed() - Method in interface com.cyc.session.spi.SessionManager
-
Returns whether the SessionManager is closed.
- isConfigurationCachingAllowed() - Method in interface com.cyc.session.CycSessionConfiguration
-
Is the SessionManager permitted to cache configurations? This is useful
when loading configurations is expensive or annoying.
- isContinuable() - Method in interface com.cyc.query.InferenceParameterGetter
-
Check whether the Query is continuable.
- isContinuable() - Method in interface com.cyc.query.InferenceSuspendReason
-
Can an inference suspended for this reason be continued?
- 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.
- isDefined() - Method in interface com.cyc.session.CycServerAddress
-
Checks whether the CycServerAddress instance contains enough information to be useful
(i.e., a plausible hostname and base port.)
- 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?
- isFirst() - Method in interface com.cyc.query.QueryResultSet
-
- isGeneralizationOf(KbCollection, Context) - Method in interface com.cyc.kb.KbCollection
-
Determine whether this
is a generalization of
moreSpecific
in some context.
- isGeneralizationOf(String) - Method in interface com.cyc.kb.KbCollection
-
Determine whether this
is a generalization of
moreSpecific
in some context.
- isGeneralizationOf(KbCollection) - Method in interface com.cyc.kb.KbCollection
-
Determine whether this
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
.
- isGroundAtomicFormula() - Method in interface com.cyc.kb.Assertion
-
Is this
a ground atomic formula? This will return true for
Assertion
s that represent Cyc GAFs, and false for anything
else.
- isGuiInteractionAllowed() - Method in interface com.cyc.session.CycSessionConfiguration
-
Does this configuration allow for the end-user to be prompted for configuration properties via
GUI elements?
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.
- 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.KbObject
-
Is this
an instance of col
in any context? This
does not require that (#$isa this col)
be asserted, merely
that it be trivially inferable.
- isInstanceOf(String) - Method in interface com.cyc.kb.KbObject
-
Is this
an instance of col
in any context? This
does not require that (#$isa this col)
be asserted, merely
that it be trivially inferable.
- isInstanceOf(KbCollection, Context) - Method in interface com.cyc.kb.KbObject
-
Is this
an instance of col
in context
ctx
? This does not require that (#$isa this col)
be asserted, merely that it be trivially inferable.
- isInstanceOf(String, String) - Method in interface com.cyc.kb.KbObject
-
Is this
an instance of col
in context
ctx
? This does not require that (#$isa this col)
be asserted, merely that it be trivially inferable.
- isLast() - Method in interface com.cyc.query.QueryResultSet
-
- 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 query either True (if a boolean query) or does it have bindings (if
non-boolean)
- isQueryStaticParameter() - Method in interface com.cyc.query.InferenceParameter
-
- 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(String) - 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(String, String) - 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
.
- isServerPatchingAllowed() - Method in interface com.cyc.session.CycSessionConfiguration
-
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.
- isSessionCachingAllowed() - Method in interface com.cyc.session.CycSessionConfiguration
-
Is the SessionManager permitted to cache sessions?
- isTrue() - Method in interface com.cyc.query.Query
-
- isValid() - Method in interface com.cyc.kb.KbObject
-
Returns false if the KB object behind this object has been deleted or
otherwise rendered invalid on the Cyc server.
- isValidValue(Object) - Method in interface com.cyc.query.InferenceParameter
-
Determine whether the specified value is valid for this parameter.
- save() - Method in interface com.cyc.query.Query
-
Saves this Query as the term which is its current ID.
- saveAs(String) - Method in interface com.cyc.query.Query
-
Saves this Query as a new query term with the specified name.
- SecondOrderCollection - Interface in com.cyc.kb
-
- SecondOrderCollectionFactory - Class in com.cyc.kb
-
- SecondOrderCollectionService<T extends SecondOrderCollection> - Interface in com.cyc.kb.spi
-
- Sentence - Interface in com.cyc.kb
-
The interface for Cyc sentences.
- SentenceFactory - Class in com.cyc.kb
-
- SentenceService<T extends Sentence> - Interface in com.cyc.kb.spi
-
- SERVER_KEY - Static variable in interface com.cyc.session.SessionConfigurationProperties
-
The address of Cyc server to be connected to, as a serialized CycServer
object;
e.g.
- SERVER_PATCHING_ALLOWED_KEY - Static variable in interface com.cyc.session.SessionConfigurationProperties
-
Whether the APIs permitted to apply code patches to the Cyc server.
- 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.
- SessionCommandException(String, Throwable) - Constructor for exception com.cyc.session.exception.SessionCommandException
-
Construct a SessionCommandException object with a specified message
and throwable.
- SessionCommandException(Throwable) - Constructor for exception com.cyc.session.exception.SessionCommandException
-
Construct a SessionCommandException object with a specified throwable.
- 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 CycConfigurationException object with no specified message.
- SessionCommunicationException(String) - Constructor for exception com.cyc.session.exception.SessionCommunicationException
-
Construct a CycConfigurationException object with a specified message.
- SessionCommunicationException(String, Throwable) - Constructor for exception com.cyc.session.exception.SessionCommunicationException
-
Construct a CycConfigurationException object with a specified message
and throwable.
- SessionCommunicationException(Throwable) - Constructor for exception com.cyc.session.exception.SessionCommunicationException
-
Construct a CycConfigurationException object with a specified throwable.
- 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 CycConfigurationException object with no specified message.
- SessionConfigurationException(String) - Constructor for exception com.cyc.session.exception.SessionConfigurationException
-
Construct a CycConfigurationException object with a specified message.
- SessionConfigurationException(String, Throwable) - Constructor for exception com.cyc.session.exception.SessionConfigurationException
-
Construct a CycConfigurationException object with a specified message
and throwable.
- SessionConfigurationException(Throwable) - Constructor for exception com.cyc.session.exception.SessionConfigurationException
-
Construct a CycConfigurationException object with a specified throwable.
- SessionConfigurationLoader - Interface in com.cyc.session.spi
-
- SessionConfigurationProperties - Interface in com.cyc.session
-
This defines the canonical set of names for all CycSessionConfiguration properties.
- SessionException - Exception in com.cyc.session.exception
-
SessionApiException 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.
- SessionException(String, Throwable) - Constructor for exception com.cyc.session.exception.SessionException
-
Constructs a new exception with a specified message and throwable.
- SessionException(Throwable) - Constructor for exception com.cyc.session.exception.SessionException
-
Constructs a new exception with a specified throwable.
- 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.
- SessionInitializationException(String, Throwable) - Constructor for exception com.cyc.session.exception.SessionInitializationException
-
Construct a SessionInitializationException object with a specified message
and throwable.
- SessionInitializationException(Throwable) - Constructor for exception com.cyc.session.exception.SessionInitializationException
-
Construct a SessionInitializationException object with a specified throwable.
- SessionManager<T extends CycSession> - Interface in com.cyc.session.spi
-
The SessionManager is responsible for managing the lifecycle of
CycSession
s, from
configuration, to creation, to caching, to cleanup, and providing appropriate CycSessions to
API and application code that requires them.
- 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.
- SessionRuntimeException - Exception in com.cyc.session.exception
-
SessionApiRuntimeException 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.
- SessionRuntimeException(String, Throwable) - Constructor for exception com.cyc.session.exception.SessionRuntimeException
-
Constructs a new exception with a specified message and throwable.
- SessionRuntimeException(Throwable) - Constructor for exception com.cyc.session.exception.SessionRuntimeException
-
Constructs a new exception with a specified throwable.
- SessionSelector<T extends SessionException> - Interface in com.cyc.session.selection
-
A SessionSelector uses an arbitrary set of criteria to select a subset of
CycSession
objects.
- 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 CycConfigurationException object with no specified message.
- SessionServiceException(Class, String) - Constructor for exception com.cyc.session.exception.SessionServiceException
-
Construct a CycConfigurationException object with a specified message.
- SessionServiceException(Class, String, Throwable) - Constructor for exception com.cyc.session.exception.SessionServiceException
-
Construct a CycConfigurationException object with a specified message
and throwable.
- SessionServiceException(Class, Throwable) - Constructor for exception com.cyc.session.exception.SessionServiceException
-
Construct a CycConfigurationException object with a specified throwable.
- setAnswerLanguage(InferenceAnswerLanguage) - Method in interface com.cyc.query.InferenceParameterSetter
-
Set the flavor of CycL to use for answers.
- setArity(int) - Method in interface com.cyc.kb.Relation
-
Set the arity for a Cyc relation.
- setAritySentence(int) - Method in interface com.cyc.kb.Relation
-
Return a sentence to set the arity of a Cyc relation.
- 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.InferenceParameterSetter
-
Specify whether inferences should be browsable.
- setCloseTimeout(long) - Method in interface com.cyc.query.Query
-
- setContext(Context) - Method in interface com.cyc.query.Query
-
Set the Context of this Query.
- setContinuable(boolean) - Method in interface com.cyc.query.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.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
-
- setEnvironment(EnvironmentConfiguration) - Method in interface com.cyc.session.spi.SessionConfigurationLoader
-
Passes an EnvironmentConfiguration to the configuration loader.
- 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..."?
- setInferenceMode(InferenceMode) - Method in interface com.cyc.query.InferenceParameterSetter
-
Set the inference mode.
- setInferenceParameters(InferenceParameters) - Method in interface com.cyc.query.Query
-
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.
- setMaxAnswerCount(Integer) - Method in interface com.cyc.query.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.InferenceParameterSetter
-
Set the max time value (in seconds).
- setMaxTransformationDepth(Integer) - Method in interface com.cyc.query.InferenceParameterSetter
-
Set the max transformation depth value.
- setMetrics(InferenceMetrics) - Method in interface com.cyc.query.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 KbTerm>) - Method in interface com.cyc.nl.NlGenerationParams
-
Set the list of agreement predicates to use
- 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.InferenceParameterSetter
-
Set the criteria for when to try to reuse problems.
- setProblemStoreId(int) - Method in interface com.cyc.query.InferenceParameters
-
Specify the problem store in which to run the query.
- setProblemStorePath(String) - Method in interface com.cyc.query.InferenceParameters
-
- setProofValidationMode(ProofValidationMode) - Method in interface com.cyc.query.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.Query
-
- setQuerySentenceHypothesizedClause(Sentence) - Method in interface com.cyc.query.Query
-
Sets the hypothesized clause of this Query.
- setQuerySentenceMainClause(Sentence) - Method in interface com.cyc.query.Query
-
Sets the main (i.e.
- setQueryVariables(Collection<Variable>) - Method in interface com.cyc.query.Query
-
Designates vars as the variables to return bindings for.
- setResultUniqueness(ResultUniqueness) - Method in interface com.cyc.query.InferenceParameterSetter
-
Set the criteria for determining when two answers are the same.
- 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.
- setTransitiveClosureMode(TransitiveClosureMode) - Method in interface com.cyc.query.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.InferenceParameterValueDescription
-
- shouldDisambiguate() - Method in interface com.cyc.nl.NlGenerationParams
-
- shouldUseBlanksForVars() - Method in interface com.cyc.nl.NlGenerationParams
-
- 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
-
- StaleKbObjectException(Throwable) - Constructor for exception com.cyc.kb.exception.StaleKbObjectException
-
- StaleKbObjectException(String, Throwable) - Constructor for exception com.cyc.kb.exception.StaleKbObjectException
-
- StandardInferenceMetric - Enum in com.cyc.query
-
An enumeration of inference metrics that are commonly used.
- start() - Method in interface com.cyc.query.Query
-
Starts the query.
- stop(Integer) - Method in interface com.cyc.query.Query
-
Issues a request that the query stop immediately.
- 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 interface com.cyc.query.InferenceAnswerIdentifier
-
- stringApiValue() - Method in interface com.cyc.query.InferenceIdentifier
-
- stringApiValue() - Method in interface com.cyc.query.InferenceParameters
-
- stringApiValue() - Method in interface com.cyc.query.ProofIdentifier
-
- substituteTerms(Map<KbObject, Object>) - Method in interface com.cyc.query.Query
-
- Symbol - Interface in com.cyc.kb
-
The interface for symbols of the SubL
language.
- SymbolFactory - Class in com.cyc.kb
-
- SymbolService<T extends Symbol> - Interface in com.cyc.kb.spi
-