|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.opencyc.api.CycAccess
Provides wrappers for the OpenCyc API.
Collaborates with the CycConnection class which manages the api connections.
Copyright 2001 Cycorp, Inc., license is open source GNU LGPL.
THIS SOFTWARE AND KNOWLEDGE BASE CONTENT ARE PROVIDED ``AS IS'' AND ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OPENCYC ORGANIZATION OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE AND KNOWLEDGE BASE CONTENT, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
Inner Class Summary | |
protected class |
CycAccess.TraceWithNamesInfo
|
Field Summary | |
static CycConstant |
and
Convenient reference to #$and. |
protected org.apache.oro.util.Cache |
askCache
Least Recently Used Cache of ask results. |
static CycConstant |
baseKB
Convenient reference to #$BaseKb. |
static CycConstant |
binaryPredicate
Convenient reference to #$binaryPredicate. |
static CycConstant |
bookkeepingMt
Convenient reference to #$bookkeepingMt. |
static CycConstant |
collection
Convenient reference to #$Collection. |
static CycConstant |
comment
Convenient reference to #$comment. |
protected int |
communicationMode
|
protected org.apache.oro.util.Cache |
countAllInstancesCache
Least Recently Used Cache of countAllInstances results. |
static java.util.HashMap |
cycAccessInstances
Dictionary of CycAccess instances, indexed by thread so that the application does not have to keep passing around a CycAccess object reference. |
protected CycConnectionInterface |
cycConnection
Reference to CycConnection object which manages the api connection to the OpenCyc server. |
static boolean |
DEFAULT_CONNECTION
Default value indicating that the OpenCyc api should use one TCP socket for the entire session. |
boolean |
deferObjectCompletion
Parameter indicating whether the OpenCyc binary api defers the completion of CycConstant attributes until used for the first time. |
static CycConstant |
different
Convenient reference to #$different. |
static CycConstant |
elementOf
Convenient reference to #$elementOf. |
static CycConstant |
genlMt
Convenient reference to #$genlMt. |
static CycConstant |
genls
Convenient reference to #$genls. |
protected java.lang.String |
hostName
|
static CycConstant |
inferencePSC
Convenient reference to #$InferencePSC. |
static CycConstant |
isa
Convenient reference to #$isa. |
protected org.apache.oro.util.Cache |
isCollectionCache
Least Recently Used Cache of isCollection results. |
protected org.apache.oro.util.Cache |
isGenlOfCache
Least Recently Used Cache of isGenlOf results. |
int |
messagingMode
Parameter indicating the serial or concurrent messaging mode to the OpenCyc server. |
static CycConstant |
not
Convenient reference to #$not. |
static CycConstant |
numericallyEqual
Convenient reference to #$numericallyEqual. |
protected static java.lang.Integer |
OK_RESPONSE_CODE
|
static CycConstant |
or
Convenient reference to #$or. |
static boolean |
PERSISTENT_CONNECTION
Value indicating that the OpenCyc api should use one TCP socket for the entire session. |
boolean |
persistentConnection
Parameter indicating whether the OpenCyc api should use one TCP socket for the entire session, or if the socket is created and then closed for each api call. |
static CycConstant |
plusFn
Convenient reference to #$PlusFn. |
protected int |
port
|
protected int |
saveTrace
Parameter that, when true, causes a trace of the messages to and from the server. |
static CycAccess |
sharedCycAccessInstance
Shared CycAccess instance when thread synchronization is entirely handled by the application. |
static CycConstant |
thing
Convenient reference to #$Thing. |
boolean |
traceWithNames
When true performs tracing of binary mode messages with constant names displayed, which involves recursive api requests. |
protected java.util.Stack |
traceWithNamesStack
Stack to prevent tracing of recursive api calls whose sole purpose is to obtain names for traceWithNames. |
static boolean |
TRANSIENT_CONNECTION
Value indicating that the OpenCyc api socket is created and then closed for each api call. |
static CycConstant |
universalVocabularyMt
Convenient reference to #$UniversalVocabularyMt. |
Constructor Summary | |
CycAccess()
Constructs a new CycAccess object. |
|
CycAccess(java.lang.String hostName)
Constructs a new CycAccess object given a host name. |
|
CycAccess(java.lang.String hostName,
int basePort,
int communicationMode,
boolean persistentConnection)
Constructs a new CycAccess object given a host name, port, communication mode and persistence indicator. |
|
CycAccess(java.lang.String hostName,
int basePort,
int communicationMode,
boolean persistentConnection,
int messagingMode)
Constructs a new CycAccess object given a host name, port, communication mode, persistence indicator, and messaging mode |
|
CycAccess(java.lang.String myAgentName,
java.lang.String cycProxyAgentName,
int agentCommunity)
Constructs a new CycAccess object to the given CycProxyAgent in the given agent community. |
Method Summary | |
boolean |
areAssertedCoextensional(CycFort collection1,
CycFort collection2)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 are asserted coextensional. |
boolean |
areAssertedCoextensional(CycFort collection1,
CycFort collection2,
CycFort mt)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 are asserted coextensional. |
boolean |
areDisjoint(CycFort collection1,
CycFort collection2)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 are disjoint. |
boolean |
areDisjoint(CycFort collection1,
CycFort collection2,
CycFort mt)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 are disjoint. |
boolean |
areHierarchical(CycFort collection1,
CycFort collection2)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 are in a hierarchy. |
boolean |
areHierarchical(CycFort collection1,
CycFort collection2,
CycFort mt)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 are in a hierarchy. |
boolean |
areIntersecting(CycFort collection1,
CycFort collection2)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 intersect with regard to all-specs. |
boolean |
areIntersecting(CycFort collection1,
CycFort collection2,
CycFort mt)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 intersect with regard to all-specs. |
boolean |
areTacitCoextensional(CycFort collection1,
CycFort collection2)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 are tacitly coextensional via mutual genls of each other. |
boolean |
areTacitCoextensional(CycFort collection1,
CycFort collection2,
CycFort mt)
Returns true if CycFort COLLECION1 and CycFort COLLECTION2 are tacitly coextensional via mutual genls of each other. |
CycList |
askWithVariable(CycList query,
CycVariable variable,
CycFort mt)
Returns a list of bindings for a query with a single unbound variable. |
CycList |
askWithVariables(CycList query,
java.util.ArrayList variables,
CycFort mt)
Returns a list of bindings for a query with unbound variables. |
void |
assertArg1FormatSingleEntry(CycFort relation)
Assert an argument contraint for the given relation and argument position. |
void |
assertArg1Genl(CycFort relation,
CycFort argGenl)
Assert an argument one genls contraint for the given relation. |
void |
assertArg2Genl(CycFort relation,
CycFort argGenl)
Assert an argument two genls contraint for the given relation. |
void |
assertArg3Genl(CycFort relation,
CycFort argGenl)
Assert an argument three genls contraint for the given relation. |
void |
assertArgFormat(CycFort relation,
int argPosition,
CycFort argNFormat)
Assert an argument format contraint for the given relation and argument position. |
void |
assertArgIsa(CycFort relation,
int argPosition,
CycFort argNIsa)
Assert an argument isa contraint for the given relation and argument position. |
void |
assertComment(CycFort cycFort,
java.lang.String comment,
CycFort mt)
Assert a comment for the specified CycFort in the specified microtheory. |
void |
assertComment(java.lang.String cycConstantName,
java.lang.String comment,
java.lang.String mtName)
Assert a comment for the specified CycConstant in the specified microtheory MT. |
void |
assertConceptuallyRelated(CycFort term1,
CycFort term2,
CycFort mt)
Assert that term1 is conceptually related to term2 in the specified microtheory. |
void |
assertGaf(CycFort mt,
CycConstant predicate,
CycFort arg1,
CycFort arg2,
CycFort arg3)
Asserts a ground atomic formula (gaf) in the specified microtheory MT. |
void |
assertGaf(CycFort mt,
CycConstant predicate,
CycFort arg1,
CycList arg2)
Asserts a ground atomic formula (gaf) in the specified microtheory MT. |
void |
assertGaf(CycFort mt,
CycConstant predicate,
CycFort arg1,
int arg2)
Asserts a ground atomic formula (gaf) in the specified microtheory MT. |
void |
assertGaf(CycFort mt,
CycFort predicate,
CycFort arg1,
CycFort arg2)
Asserts a ground atomic formula (gaf) in the specified microtheory MT. |
void |
assertGaf(CycFort mt,
CycFort predicate,
CycFort arg1,
java.lang.Double arg2)
Asserts a ground atomic formula (gaf) in the specified microtheory. |
void |
assertGaf(CycFort mt,
CycFort predicate,
CycFort arg1,
java.lang.Integer arg2)
Asserts a ground atomic formula (gaf) in the specified microtheory. |
void |
assertGaf(CycFort mt,
CycFort predicate,
CycFort arg1,
java.lang.String arg2)
Asserts a ground atomic formula (gaf) in the specified microtheory MT. |
void |
assertGaf(CycList gaf,
CycFort mt)
Asserts a ground atomic formula (gaf) in the specified microtheory MT. |
void |
assertGenFormat(CycFort relation,
java.lang.String genFormatString,
CycList genFormatList)
Assert a paraphrase format for the specified CycFort in the #$EnglishParaphraseMt. |
void |
assertGenlMt(CycFort specMt,
CycFort genlsMt)
Assert that the more general micortheory is a genlMt of the more specialized microtheory, asserted in the UniversalVocabularyMt The operation will be added to the KB transcript for replication and archive. |
void |
assertGenlMt(java.lang.String specMtName,
java.lang.String genlsMtName)
Assert that the more general micortheory is a genlMt of the more specialized microtheory, asserted in the UniversalVocabularyMt The operation will be added to the KB transcript for replication and archive. |
void |
assertGenlPreds(CycFort specPred,
CycFort genlPred)
Assert that the more general predicate is a genlPreds of the more specialized predicate, asserted in the UniversalVocabularyMt The operation will be added to the KB transcript for replication and archive. |
void |
assertGenlPreds(java.lang.String specPredName,
java.lang.String genlPredName)
Assert that the more general predicate is a genlPreds of the more specialized predicate, asserted in the UniversalVocabularyMt The operation will be added to the KB transcript for replication and archive. |
void |
assertGenls(CycFort specCollection,
CycFort genlsCollection)
Assert that the genlsCollection is a genls of specCollection, in the UniveralVocabularyMt. |
void |
assertGenls(CycFort specCollection,
CycFort genlsCollection,
CycFort mt)
Assert that the genlsCollection is a genls of specCollection, in the specified defining microtheory MT. |
void |
assertGenls(java.lang.String specCollectionName,
java.lang.String genlsCollectionName)
Assert that the genlsCollection is a genls of specCollection, in the UniversalVocabularyMt The operation will be added to the KB transcript for replication and archive. |
void |
assertGenls(java.lang.String specCollectionName,
java.lang.String genlsCollectionName,
java.lang.String mtName)
Assert that the genlsCollection is a genls of specCollection, in the specified defining microtheory MT. |
void |
assertGenPhraseCountNounPlural(CycFort cycTerm,
java.lang.String phrase)
Asserts a preferred name string for the given term using lexical singular count noun assumptions. |
void |
assertGenPhraseCountNounSingular(CycFort cycTerm,
java.lang.String phrase)
Asserts a preferred name string for the given term using lexical singular count noun assumptions. |
void |
assertIsa(CycFort cycFort,
CycFort aCollection)
Assert that the cycFort is a collection, in the UniversalVocabularyMt. |
void |
assertIsa(CycFort cycFort,
CycFort aCollection,
CycFort mt)
Assert that the cycFort is a collection, in the specified defining microtheory MT. |
void |
assertIsa(java.lang.String cycFortName,
java.lang.String collectionName)
Assert that the cycFort is a collection in the UniversalVocabularyMt. |
void |
assertIsa(java.lang.String cycFortName,
java.lang.String collectionName,
java.lang.String mtName)
Assert that the cycFort is a collection, in the specified defining microtheory MT. |
void |
assertIsaBinaryPredicate(CycFort cycFort)
Assert that the specified CycConstant is a #$BinaryPredicate in the specified defining microtheory. |
void |
assertIsaBinaryPredicate(CycFort cycFort,
CycFort mt)
Assert that the specified CycConstant is a #$BinaryPredicate in the specified defining microtheory. |
void |
assertIsaCollection(CycFort cycFort)
Assert that the specified CycConstant is a collection in the UniversalVocabularyMt. |
void |
assertIsaCollection(CycFort cycFort,
CycFort mt)
Assert that the specified CycConstant is a collection in the specified defining microtheory MT. |
void |
assertIsas(java.util.ArrayList forts,
CycFort collection)
Asserts each of the given list of forts to be instances of the given collection in the UniversalVocabularyMt |
void |
assertIsas(java.util.ArrayList fortNames,
java.lang.String collectionName)
Asserts each of the given list of forts to be instances of the given collection in the UniversalVocabularyMt |
void |
assertNameString(CycFort cycFort,
java.lang.String nameString,
CycFort mt)
Assert a name string for the specified CycFort in the specified microtheory. |
void |
assertNameString(java.lang.String cycConstantName,
java.lang.String nameString,
java.lang.String mtName)
Assert a nameString for the specified CycConstant in the specified lexical microtheory. |
void |
assertResultGenl(CycFort denotationalFunction,
CycFort resultGenl)
Assert the genls result contraint for the given denotational function. |
void |
assertResultIsa(CycFort denotationalFunction,
CycFort resultIsa)
Assert the isa result contraint for the given denotational function. |
void |
assertSynonymousExternalConcept(CycFort cycTerm,
CycFort informationSource,
java.lang.String externalConcept,
CycFort mt)
Asserts that the given DAML imported term is mapped to the given Cyc term. |
void |
assertSynonymousExternalConcept(java.lang.String cycTerm,
java.lang.String informationSource,
java.lang.String externalConcept,
java.lang.String mt)
Asserts that the given DAML imported term is mapped to the given Cyc term. |
void |
assertWithTranscript(CycList sentence,
CycFort mt)
Asserts the given sentence, and then places it on the transcript queue. |
void |
assertWithTranscript(java.lang.String sentence,
CycFort mt)
Asserts the given sentence, and then places it on the transcript queue. |
void |
assertWithTranscriptAndBookkeeping(CycList sentence,
CycFort mt)
Asserts the given sentence, and then places it on the transcript queue. |
void |
assertWithTranscriptAndBookkeeping(java.lang.String sentence,
CycFort mt)
Asserts the given sentence, and then places it on the transcript queue. |
void |
close()
Closes the CycConnection object. |
protected void |
commonInitialization()
Provides common local and remote CycAccess object initialization. |
CycAssertion |
completeCycAssertion(CycAssertion cycAssertion)
Completes the instantiation of a CycAssertion returned by the binary api. |
CycConstant |
completeCycConstant(CycConstant cycConstant)
Completes the instantiation of CycConstant returned by the binary api. |
CycList |
completeCycList(CycList cycList)
Completes the instantiation of objects contained in the given CycList. |
CycNart |
completeCycNart(CycNart cycNart)
Completes the instantiation of a CycNart returned by the binary api. |
CycVariable |
completeCycVariable(CycVariable cycVariable)
Completes the instantiation of HL CycVariable returned by the binary api. |
java.lang.Object |
completeObject(java.lang.Object object)
Completes the instantiation of objects contained in the given CycList. |
CycConstant |
constantNameCaseCollision(java.lang.String name)
Returns a constant whose name differs from the given name only by case. |
protected java.lang.Object[] |
converse(java.lang.Object command)
Converses with Cyc to perform an API command. |
boolean |
converseBoolean(java.lang.Object command)
Converses with Cyc to perform an API command whose result is returned as a boolean. |
int |
converseInt(java.lang.Object command)
Converses with Cyc to perform an API command whose result is returned as an int. |
CycList |
converseList(java.lang.Object command)
Converses with Cyc to perform an API command whose result is returned as a list. |
java.lang.Object |
converseObject(java.lang.Object command)
Converses with Cyc to perform an API command whose result is returned as an object. |
java.lang.String |
converseString(java.lang.Object command)
Converses with Cyc to perform an API command whose result is returned as a String. |
void |
converseVoid(java.lang.Object command)
Converses with Cyc to perform an API command whose result is void. |
int |
countAllInstances_Cached(CycFort collection,
CycFort mt)
Returns the count of the instances of the given collection, implements a cache to avoid asking the same question twice from the KB. |
int |
countAllInstances(CycFort collection,
CycFort mt)
Returns the count of the instances of the given collection. |
int |
countUsingBestIndex(CycList formula,
CycFort mt)
Returns the count of the assertions indexed according to the given pattern, using the best index (from among the predicate and argument indices). |
CycConstant |
createBinaryPredicate(java.lang.String predicateName,
CycFort predicateType,
java.lang.String comment,
CycFort arg1Isa,
CycFort arg2Isa,
CycFort arg1Format,
CycFort arg2Format,
CycFort genlPreds,
java.lang.String genFormatString,
CycList genFormatList)
Creates a new binary predicate term. |
CycConstant |
createBinaryPredicate(java.lang.String predicateName,
java.lang.String predicateTypeName,
java.lang.String comment,
java.lang.String arg1IsaName,
java.lang.String arg2IsaName,
java.lang.String arg1FormatName,
java.lang.String arg2FormatName,
java.lang.String genlPredsName,
java.lang.String genFormatString,
java.lang.String genFormatList)
Creates a new binary predicate term. |
CycFort |
createCollection(CycFort collection,
java.lang.String comment,
CycFort commentMt,
CycFort isa,
CycFort genls)
Creates a new collection term. |
CycFort |
createCollection(java.lang.String collectionName,
java.lang.String comment,
CycFort commentMt,
CycFort isa,
CycFort genls)
Creates a new collection term. |
CycConstant |
createCollection(java.lang.String collectionName,
java.lang.String comment,
java.lang.String commentMtName,
java.lang.String isaName,
java.lang.String genlsName)
Creates a new collection term. |
CycFort |
createCollectionDenotingBinaryFunction(CycFort binaryFunction,
java.lang.String comment,
CycFort commentMt,
CycFort arg1Isa,
CycFort arg2Isa,
CycFort arg1Genls,
CycFort arg2Genls,
CycFort resultIsa)
Creates a new collection-denoting reifiable binary function term. |
CycFort |
createCollectionDenotingBinaryFunction(java.lang.String binaryFunction,
java.lang.String comment,
java.lang.String commentMt,
java.lang.String arg1IsaName,
java.lang.String arg2IsaName,
java.lang.String arg1GenlsName,
java.lang.String arg2GenlsName,
java.lang.String resultIsa)
Creates a new collection-denoting reifiable binary function term. |
CycFort |
createCollectionDenotingUnaryFunction(CycFort unaryFunction,
java.lang.String comment,
CycFort commentMt,
CycFort arg1Isa,
CycFort arg1Genl,
CycFort resultIsa,
CycFort resultGenl)
Creates a new collection-denoting reifiable unary function term. |
CycFort |
createCollectionDenotingUnaryFunction(java.lang.String unaryFunction,
java.lang.String comment,
java.lang.String commentMt,
java.lang.String arg1Isa,
java.lang.String arg1GenlName,
java.lang.String resultIsa,
java.lang.String resultGenlName)
Creates a new collection-denoting reifiable unary function term. |
CycConstant |
createCollectorMt(java.lang.String mtName,
java.lang.String comment,
java.util.ArrayList genlMts)
Creates a new Collector microtheory and links it more general mts. |
CycFort |
createIndivDenotingUnaryFunction(CycFort unaryFunction,
java.lang.String comment,
CycFort commentMt,
CycFort arg1Isa,
CycFort resultIsa)
Creates a new individual-denoting reifiable unary function term. |
CycFort |
createIndivDenotingUnaryFunction(java.lang.String unaryFunction,
java.lang.String comment,
java.lang.String commentMt,
java.lang.String arg1Isa,
java.lang.String resultIsa)
Creates a new individual-denoting reifiable unary function term. |
CycFort |
createIndividual(java.lang.String IndividualName,
java.lang.String comment,
CycFort commentMt,
CycFort isa)
Creates a new individual term. |
CycFort |
createIndividual(java.lang.String IndividualName,
java.lang.String comment,
java.lang.String commentMt,
java.lang.String isa)
Creates a new individual term. |
CycConstant |
createKbSubsetCollection(java.lang.String constantName,
java.lang.String comment)
Creates a new KB subset collection term. |
CycConstant |
createMicrotheory(java.lang.String mtName,
java.lang.String comment,
CycFort isaMt,
java.util.ArrayList genlMts)
Create a microtheory MT, with a comment, isa |
CycConstant |
createMicrotheory(java.lang.String mtName,
java.lang.String comment,
java.lang.String isaMtName,
java.util.ArrayList genlMts)
Create a microtheory MT, with a comment, isa |
CycConstant[] |
createMicrotheorySystem(java.lang.String mtRootName,
java.lang.String comment,
java.util.ArrayList genlMts)
Create a microtheory system for a new mt. |
CycConstant |
createNewPermanent(java.lang.String constantName)
Creates a new permanent Cyc constant in the KB with the specified name. |
CycConstant |
createSpindleMt(java.lang.String spindleMtName,
java.lang.String comment,
CycFort spindleHeadMt,
CycFort spindleCollectorMt)
Creates a new spindle microtheory in the given spindle system. |
CycConstant |
createSpindleMt(java.lang.String spindleMtName,
java.lang.String comment,
java.lang.String spindleHeadMtName,
java.lang.String spindleCollectorMtName)
Creates a new spindle microtheory in the given spindle system. |
static CycAccess |
current()
Returns the CycAccess object for this thread. |
void |
ensureWffConstraints(CycFort cycFort,
CycFort isaConstraint,
CycFort genlsConstraint)
Ensures that the given term meets the given isa and genl wff constraints in the UniversalVocabularyMt. |
void |
ensureWffConstraints(java.lang.String cycFort,
java.lang.String isaConstraintName,
java.lang.String genlsConstraintName)
Ensures that the given term meets the given isa and genl wff constraints in the UniversalVocabularyMt. |
CycConstant |
find(java.lang.String constantName)
Finds a Cyc constant in the KB with the specified name |
java.lang.Integer |
findNartId(CycNart cycNart)
Finds the id of a CycNart given its formula. |
CycConstant |
findOrCreate(java.lang.String constantName)
Finds or creates a Cyc constant in the KB with the specified name. |
CycList |
generateDisambiguationPhraseAndTypes(CycList objects)
Returns a list of disambiguation expressions, corresponding to each of the terms in the given list of objects. |
CycList |
getAllDependentSpecs(CycFort cycFort)
Gets the list of all of the dependent specs for a CycFort collection. |
CycList |
getAllDependentSpecs(CycFort cycFort,
CycFort mt)
Gets the list of all of the dependent specs for a CycFort collection. |
CycList |
getAllGenlPreds(CycConstant predicate)
Gets the list of all of the genlPreds for a CycConstant predicate, using an upward closure. |
CycList |
getAllGenlPreds(CycConstant predicate,
CycFort mt)
Gets the list of all of the genlPreds for a CycConstant predicate, using an upward closure. |
CycList |
getAllGenls(CycFort cycFort)
Gets the list of all of the direct and indirect genls for the given CycFort collection. |
CycList |
getAllGenls(CycFort cycFort,
CycFort mt)
Gets the list of all of the direct and indirect genls for a CycFort collection given a relevant microtheory. |
CycList |
getAllGenlsWrt(CycFort spec,
CycFort genl)
Gets the list of all of the direct and indirect genls for a CycFort SPEC which are also specs of CycFort GENL. |
CycList |
getAllGenlsWrt(CycFort spec,
CycFort genl,
CycFort mt)
Gets the list of all of the direct and indirect genls for a CycFort SPEC which are also specs of CycFort GENL. |
CycList |
getAllInstances(CycFort cycFort)
Gets a list of all the direct and indirect instances (individuals) for a CycFort collection. |
CycList |
getAllInstances(CycFort cycFort,
CycFort mt)
Gets a list of all the direct and indirect instances (individuals) for a CycFort collection in the given microtheory. |
java.util.HashSet |
getAllInstancesHashSet(CycFort cycFort)
Gets a hashset of all the direct and indirect instances (individuals) for a CycFort collection in the given microtheory. |
java.util.HashSet |
getAllInstancesHashSet(CycFort cycFort,
CycFort mt)
Gets a hashset of all the direct and indirect instances (individuals) for a CycFort collection in the given microtheory. |
CycList |
getAllIsa(CycFort cycFort)
Gets the list of the collections of which the CycFort is directly and indirectly an instance. |
CycList |
getAllIsa(CycFort cycFort,
CycFort mt)
Gets the list of the collections of which the CycFort is directly and indirectly an instance. |
CycList |
getAllSpecInverses(CycFort cycFort)
Gets the list of all of the direct and indirect specs-inverses for the given predicate in all microtheories. |
CycList |
getAllSpecInverses(CycFort cycFort,
CycFort mt)
Gets the list of all of the direct and indirect specs-inverses for the given predicate in the given microtheory. |
java.util.HashSet |
getAllSpecInversesHashSet(CycFort cycFort)
Gets the hashset of all of the direct and indirect specs-inverses for the given predicate in all microtheories. |
java.util.HashSet |
getAllSpecInversesHashSet(CycFort cycFort,
CycFort mt)
Gets the hashset of all of the direct and indirect specs-inverses for the given predicate in the given microtheory. |
CycList |
getAllSpecMts(CycFort mt)
Gets the list of all of the direct and indirect specs-mts for the given microtheory in *mt-mt* (currently #$UniversalVocabularyMt). |
java.util.HashSet |
getAllSpecMtsHashSet(CycFort mt)
Gets the hashset of all of the direct and indirect specs-mts for the given microtheory in *mt-mt* (currently #$UniversalVocabularyMt). |
CycList |
getAllSpecPreds(CycFort cycFort)
Gets the list of all of the direct and indirect specs-preds for the given predicate in all microtheories. |
CycList |
getAllSpecPreds(CycFort cycFort,
CycFort mt)
Gets the list of all of the direct and indirect specs-preds for the given predicate in the given microtheory. |
java.util.HashSet |
getAllSpecPredsHashSet(CycFort cycFort)
Gets the hashset of all of the direct and indirect specs-preds for the given predicate in all microtheories. |
java.util.HashSet |
getAllSpecPredsHashSet(CycFort cycFort,
CycFort mt)
Gets the hashset of all of the direct and indirect specs-preds for the given predicate in the given microtheory. |
CycList |
getAllSpecs(CycFort cycFort)
Gets a list of all of the direct and indirect specs for a CycFort collection. |
CycList |
getAllSpecs(CycFort cycFort,
CycFort mt)
Gets the list of all of the direct and indirect specs for the given collection in the given microtheory. |
java.util.HashSet |
getAllSpecsHashSet(CycFort cycFort)
Gets a hashset of all of the direct and indirect specs for a CycFort collection. |
java.util.HashSet |
getAllSpecsHashSet(CycFort cycFort,
CycFort mt)
Gets the hashset of all of the direct and indirect specs for the given collection in the given microtheory. |
CycList |
getApplicableBinaryPredicates(CycList kbSubsetCollections)
Returns the list of applicable binary predicates which are elements of any of the given list of KBSubsetCollections. |
CycList |
getArg1Formats(CycConstant predicate)
Gets a list of the arg1Formats for a CycConstant predicate. |
CycList |
getArg1Formats(CycConstant predicate,
CycFort mt)
Gets a list of the arg1Formats for a CycConstant predicate. |
CycList |
getArg1Isas(CycConstant predicate)
Gets a list of the arg1Isas for a CycConstant predicate. |
CycList |
getArg1Isas(CycConstant predicate,
CycFort mt)
Gets the list of the arg1Isas for a CycConstant predicate given an mt. |
CycList |
getArg1s(CycFort predicate,
CycFort arg2,
CycFort mt)
Returns the list of arg1 terms from gafs having the specified predicate and arg2 values. |
CycList |
getArg1s(java.lang.String predicate,
java.lang.String arg2,
java.lang.String mt)
Returns the list of arg1 terms from gafs having the specified predicate and arg2 values. |
java.lang.Object |
getArg2(CycFort predicate,
CycFort arg1,
CycFort mt)
Returns the first arg2 term from gafs having the specified predicate and arg1 values. |
java.lang.Object |
getArg2(CycFort predicate,
java.lang.Object arg1)
Returns the single (first) arg2 value of a binary gaf, given the predicate and arg0, looking in all microtheories. |
java.lang.Object |
getArg2(java.lang.String predicate,
CycFort arg1,
CycFort mt)
Returns the first arg2 term from gafs having the specified predicate and arg1 values. |
java.lang.Object |
getArg2(java.lang.String predicate,
java.lang.String arg1,
java.lang.String mt)
Returns the first arg2 term from gafs having the specified predicate and arg1 values. |
CycList |
getArg2Formats(CycConstant predicate)
Gets a list of the arg2Formats for a CycConstant predicate. |
CycList |
getArg2Formats(CycConstant predicate,
CycFort mt)
Gets a list of the arg2Formats for a CycConstant predicate. |
CycList |
getArg2Isas(CycConstant predicate)
Gets a list of the arg2Isas for a CycConstant predicate. |
CycList |
getArg2Isas(CycConstant predicate,
CycFort mt)
Gets the list of the arg2Isas for a CycConstant predicate given an mt. |
CycList |
getArg2s(CycFort predicate,
CycFort arg1,
CycFort mt)
Returns the list of arg2 terms from gafs having the specified predicate and arg1 values. |
CycList |
getArg2s(CycFort predicate,
java.lang.Object arg1)
Returns the list of arg2 values of binary gafs, given the predicate and arg1, looking in all microtheories. |
CycList |
getArg2s(java.lang.String predicate,
java.lang.String arg1,
java.lang.String mt)
Returns the list of arg2 terms from gafs having the specified predicate and arg1 values. |
CycList |
getArg3Isas(CycConstant predicate)
Gets a list of the arg3Isas for a CycConstant predicate. |
CycList |
getArg3Isas(CycConstant predicate,
CycFort mt)
Gets the list of the arg3Isas for a CycConstant predicate given an mt. |
CycList |
getArg4Isas(CycConstant predicate)
Gets a list of the arg4Isas for a CycConstant predicate. |
CycList |
getArg4Isas(CycConstant predicate,
CycFort mt)
Gets the list of the arg4Isas for a CycConstant predicate given an mt. |
CycList |
getArgNGenls(CycConstant predicate,
int argPosition)
Gets the list of the argNGenls for a CycConstant predicate. |
CycList |
getArgNGenls(CycConstant predicate,
int argPosition,
CycFort mt)
Gets the list of the argNGenls for a CycConstant predicate. |
CycList |
getArgNIsas(CycConstant predicate,
int argPosition)
Gets a list of the argNIsas for a CycConstant predicate. |
CycList |
getArgNIsas(CycConstant predicate,
int argPosition,
CycFort mt)
Gets the list of the argNIsas for a CycConstant predicate given an mt. |
int |
getArity(CycFort predicate)
Returns the arity of the given predicate. |
CycAssertion |
getAssertionById(java.lang.Integer id)
Gets a CycAssertion by using its id. |
CycList |
getBackchainImplicationRules(CycConstant predicate,
CycList formula,
CycFort mt)
Gets a list of the backchaining implication rules which might apply to the given rule. |
CycList |
getBackchainRules(CycConstant predicate,
CycFort mt)
Gets a list of the backchaining implication rules which might apply to the given predicate. |
CycList |
getCoExtensionals(CycFort cycFort)
Gets a list of the coExtensionals for a CycFort. |
CycList |
getCoExtensionals(CycFort cycFort,
CycFort mt)
Gets a list of the coExtensionals for a CycFort. |
CycList |
getCollectionLeaves(CycFort cycFort)
Gets the list of the collection leaves (most specific of the all-specs) for a CycFort collection. |
CycList |
getCollectionLeaves(CycFort cycFort,
CycFort mt)
Gets the list of the collection leaves (most specific of the all-specs) for a CycFort collection. |
java.lang.String |
getComment(CycFort cycFort)
Gets the comment for a CycFort. |
java.lang.String |
getComment(CycFort cycFort,
CycFort mt)
Gets the comment for a CycFort in the relevant mt. |
int |
getCommunicationMode()
Returns the communication mode. |
CycConstant |
getConstantByGuid(Guid guid)
Gets a CycConstant by using its GUID. |
CycConstant |
getConstantById(java.lang.Integer id)
Gets a CycConstant by using its ID. |
CycConstant |
getConstantByName(java.lang.String constantName)
Gets a CycConstant by using its constant name. |
Guid |
getConstantGuid(CycConstant cycConstant)
Gets the Guid for the given CycConstant, raising an exception if the constant does not exist. |
Guid |
getConstantGuid(java.lang.Integer id)
Gets the Guid for the given constant id. |
Guid |
getConstantGuid(java.lang.String constantName)
Gets the Guid for the given constant name, raising an exception if the constant does not exist. |
java.lang.Integer |
getConstantId(CycConstant cycConstant)
Gets the ID for the given CycConstant. |
java.lang.Integer |
getConstantId(java.lang.String constantName)
Gets the ID for the given constant name. |
java.lang.String |
getConstantName(java.lang.Integer id)
Gets the name for the given constant id. |
CycConnectionInterface |
getCycConnection()
Returns the CycConnection object. |
CycNart |
getCycNartById(java.lang.Integer id)
Gets a CycNart by using its id. |
CycNart |
getCycNartFromCons(CycList elCons)
Gets the CycNart object from a Cons object that lists the names of its functor and its arguments. |
CycList |
getDisjointWiths(CycFort cycFort)
Gets a list of the disjointWiths for a CycFort. |
CycList |
getDisjointWiths(CycFort cycFort,
CycFort mt)
Gets a list of the disjointWiths for a CycFort. |
CycList |
getForwardChainRules(CycConstant predicate,
CycFort mt)
Gets a list of the forward chaining implication rules which might apply to the given predicate. |
CycList |
getForwardChainRules(CycConstant predicate,
CycList formula,
CycFort mt)
Gets a list of the forward chaining implication rules which might apply to the given rule. |
CycList |
getGafs(CycFort cycFort,
CycFort predicate)
Returns the list of gafs in which the predicate is the given predicate and in which the given term appears in the first argument position. |
CycList |
getGafs(CycFort cycFort,
CycFort predicate,
CycFort mt)
Returns the list of gafs in which the predicate is the given predicate and in which the given term appears in the first argument position. |
CycList |
getGafs(CycFort cycFort,
CycList predicates)
Returns the list of gafs in which the predicate is a element of the given list of predicates and in which the given term appears in the first argument position. |
CycList |
getGafs(CycFort cycFort,
CycList predicates,
CycFort mt)
Returns the list of gafs in which the predicate is a element of the given list of predicates and in which the given term appears in the first argument position. |
java.lang.String |
getGeneratedPhrase(CycFort cycFort)
Gets the default generated phrase for a CycFort (intended for predicates). |
CycList |
getGenlPreds(CycConstant predicate)
Gets the list of the genlPreds for a CycConstant predicate. |
CycList |
getGenlPreds(CycConstant predicate,
CycFort mt)
Gets the list of the genlPreds for a CycConstant predicate. |
CycList |
getGenls(CycFort cycFort)
Gets the list of the directly asserted true genls for the given CycFort collection. |
CycList |
getGenls(CycFort cycFort,
CycFort mt)
Gets the list of the directly asserted true genls for the given CycFort collection. |
CycList |
getGenlSiblings(CycFort cycFort)
Gets the list of the direct genls of the direct specs for the given CycFort collection. |
CycList |
getGenlSiblings(CycFort cycFort,
CycFort mt)
Gets the list of the direct genls of the direct specs for the given CycFort collection. |
java.lang.String |
getImpreciseParaphrase(CycList assertion)
Gets the imprecise paraphrase for a Cyc assertion. |
java.lang.String |
getImpreciseParaphrase(java.lang.String assertionString)
Gets the imprecise paraphrase for a Cyc assertion. |
java.lang.String |
getImprecisePluralGeneratedPhrase(CycFort cycFort)
Gets the imprecise plural generated phrase for a CycFort (intended for collections). |
java.lang.String |
getImpreciseSingularGeneratedPhrase(CycFort cycFort)
Gets the imprecise singular generated phrase for a CycFort (intended for individuals). |
CycList |
getInstances(CycFort cycFort)
Gets the list of the instances (who are individuals) of a CycFort collection. |
CycList |
getInstances(CycFort cycFort,
CycFort mt)
Gets the list of the instances (who are individuals) of a CycFort collection. |
CycList |
getInstanceSiblings(CycFort cycFort)
Gets the list of the instance siblings of a CycFort, for all collections of which it is an instance. |
CycList |
getInstanceSiblings(CycFort cycFort,
CycFort mt)
Gets the list of the instance siblings of a CycFort, for all collections of which it is an instance. |
CycList |
getInterArgIsa1_2_forArg2(CycConstant predicate,
CycFort arg1)
Gets the list of the interArgIsa1-2 isa constraints for arg2, given the predicate and arg1. |
CycList |
getInterArgIsa1_2_forArg2(CycConstant predicate,
CycFort arg1,
CycFort mt)
Gets the list of the interArgIsa1-2 isa constraints for arg2, given the predicate and arg1. |
CycList |
getInterArgIsa1_2s(CycConstant predicate)
Gets the list of the interArgIsa1-2 isa constraint pairs for the given predicate. |
CycList |
getInterArgIsa1_2s(CycConstant predicate,
CycFort mt)
Gets the list of the interArgIsa1-2 isa constraint pairs for the given predicate. |
CycList |
getIsas(CycFort cycFort)
Gets the list of the isas for the given CycFort. |
CycList |
getIsas(CycFort cycFort,
CycFort mt)
Gets the list of the isas for the given CycFort. |
CycList |
getKbSubset(CycFort cycKbSubsetCollection)
Gets a list of the elements of the given CycKBSubsetCollection. |
CycConstant |
getKnownConstantByGuid(Guid guid)
Gets a known CycConstant by using its GUID. |
CycConstant |
getKnownConstantByGuid(java.lang.String guidString)
Gets a known CycConstant by using its GUID string. |
CycConstant |
getKnownConstantByName(java.lang.String constantName)
Gets a known CycConstant by using its constant name. |
CycList |
getLocalDisjointWith(CycFort cycFort)
Gets the list of the collections asserted to be disjoint with a CycFort collection. |
CycList |
getLocalDisjointWith(CycFort cycFort,
CycFort mt)
Gets the list of the collections asserted to be disjoint with a CycFort collection. |
CycList |
getMaxSpecs(CycFort cycFort)
Gets the list of the least specific specs for the given CycFort collection. |
CycList |
getMaxSpecs(CycFort cycFort,
CycFort mt)
Gets the list of the least specific specs for the given CycFort collection. |
CycFort |
getMinCol(CycList collections)
Returns the single most specific collection from the given list of collectons. |
CycList |
getMinGenls(CycFort cycFort)
Gets a list of the minimum (most specific) genls for a CycFort collection. |
CycList |
getMinGenls(CycFort cycFort,
CycFort mt)
Gets a list of the minimum (most specific) genls for a CycFort collection. |
CycList |
getMinIsas(CycFort cycFort)
Gets the list of the most specific collections (having no subsets) which contain a CycFort term. |
CycList |
getMinIsas(CycFort cycFort,
CycFort mt)
Gets the list of the most specific collections (having no subsets) which contain a CycFort term. |
CycList |
getNameStrings(CycFort cycFort,
CycFort mt)
Gets the list of name strings for the given CycFort. |
java.lang.String |
getParaphrase(CycList assertion)
Gets the paraphrase for a Cyc assertion. |
java.lang.String |
getPluralGeneratedPhrase(CycFort cycFort)
Gets the plural generated phrase for a CycFort (intended for collections). |
CycList |
getPublicConstants()
Gets a list of the public Cyc constants. |
CycList |
getResultIsas(CycConstant function)
Gets the list of the resultIsa for a CycConstant function. |
CycList |
getResultIsas(CycConstant function,
CycFort mt)
Gets the list of the resultIsa for a CycConstant function. |
CycList |
getSampleLeafSpecs(CycFort cycFort,
int numberOfSamples)
Gets the list with the specified number of sample specs of the given CycFort collection. |
CycList |
getSampleLeafSpecs(CycFort cycFort,
int numberOfSamples,
CycFort mt)
Gets the list with the specified number of sample specs of the given CycFort collection. |
CycList |
getSiblings(CycFort cycFort)
Gets the list of the siblings (direct specs of the direct genls) for the given CycFort collection. |
CycList |
getSiblings(CycFort cycFort,
CycFort mt)
Gets the list of the siblings (direct specs of the direct genls) for the given CycFort collection. |
java.lang.String |
getSingularGeneratedPhrase(CycFort cycFort)
Gets the singular generated phrase for a CycFort (intended for individuals). |
CycList |
getSpecs(CycFort cycFort)
Gets the list of the directly asserted true specs for the given CycFort collection. |
CycList |
getSpecs(CycFort cycFort,
CycFort mt)
Gets the list of the directly asserted true specs for the given CycFort collection. |
CycList |
getSpecSiblings(CycFort cycFort)
Gets the list of the siblings (direct specs of the direct genls) for the given CycFort collection. |
CycList |
getSpecSiblings(CycFort cycFort,
CycFort mt)
Gets the list of the siblings (direct specs of the direct genls) for the given CycFort collection. |
java.lang.Object |
getSymbolValue(CycSymbol cycSymbol)
Gets the value of a given KB symbol. |
CycList |
getSynonymousExternalConcepts(CycFort informationSource,
CycFort mt)
Gets the list of mappings from the specified information source given the inference microtheory. |
CycList |
getSynonymousExternalConcepts(java.lang.String informationSource,
java.lang.String mt)
Gets the list of mappings from the specified information source given the inference microtheory. |
java.lang.String |
getVariableName(java.lang.Integer id)
Gets the name for the given variable id. |
CycList |
getWhyCollectionsIntersect(CycFort collection1,
CycFort collection2)
Gets the list of the justifications of why CycFort COLLECTION1 and a CycFort COLLECTION2 intersect. |
CycList |
getWhyCollectionsIntersect(CycFort collection1,
CycFort collection2,
CycFort mt)
Gets the list of the justifications of why CycFort COLLECTION1 and a CycFort COLLECTION2 intersect. |
java.util.ArrayList |
getWhyCollectionsIntersectParaphrase(CycFort collection1,
CycFort collection2)
Gets the English parapharse of the justifications of why CycFort COLLECTION1 and a CycFort COLLECTION2 intersect. |
java.util.ArrayList |
getWhyCollectionsIntersectParaphrase(CycFort collection1,
CycFort collection2,
CycFort mt)
Gets the English parapharse of the justifications of why CycFort COLLECTION1 and a CycFort COLLECTION2 intersect. |
CycList |
getWhyGenl(CycFort spec,
CycFort genl)
Gets the list of the justifications of why CycFort SPEC is a SPEC of CycFort GENL. |
CycList |
getWhyGenl(CycFort spec,
CycFort genl,
CycFort mt)
Gets the list of the justifications of why CycFort SPEC is a SPEC of CycFort GENL. |
java.util.ArrayList |
getWhyGenlParaphrase(CycFort spec,
CycFort genl)
Gets the English parapharse of the justifications of why CycFort SPEC is a SPEC of CycFort GENL. |
java.util.ArrayList |
getWhyGenlParaphrase(CycFort spec,
CycFort genl,
CycFort mt)
Gets the English parapharse of the justifications of why CycFort SPEC is a SPEC of CycFort GENL. |
CycList |
getWhyIsa(CycFort spec,
CycFort genl)
Gets the list of the justifications of why CycFort TERM is an instance of CycFort COLLECTION. |
CycList |
getWhyIsa(CycFort spec,
CycFort genl,
CycFort mt)
Gets the list of the justifications of why CycFort TERM is an instance of CycFort COLLECTION. |
java.util.ArrayList |
getWhyIsaParaphrase(CycFort spec,
CycFort genl)
Gets the English parapharse of the justifications of why CycFort TERM is an instance of CycFort COLLECTION. |
java.util.ArrayList |
getWhyIsaParaphrase(CycFort spec,
CycFort genl,
CycFort mt)
Gets the English parapharse of the justifications of why CycFort TERM is an instance of CycFort COLLECTION. |
boolean |
hasSomePredicateUsingTerm(CycConstant predicate,
CycFort term,
java.lang.Integer argumentPosition,
CycFort mt)
Returns true iff any ground formula instances exist having the given predicate, and the given term in the given argument position. |
int |
importMucExpression(CycList mucExpression,
java.lang.String mtName)
Imports a MUC (Message Understanding Conference) formatted symbolic expression into cyc via the function which parses the expression and creates assertions for the contained concepts and relations between them. |
boolean |
isa(CycFort term,
CycFort collection)
Returns true if CycFort TERM is a instance of CycFort COLLECTION, defaulting to all microtheories. |
boolean |
isa(CycFort term,
CycFort collection,
CycFort mt)
Returns true if CycFort TERM is a instance of CycFort COLLECTION, using the given microtheory. |
boolean |
isa(CycFort term,
java.lang.String collectionName)
Returns true if CycFort TERM is a instance of CycFort COLLECTION, defaulting to all microtheories. |
boolean |
isBackchainDiscouraged(CycConstant predicate,
CycFort mt)
Returns true iff backchain inference on the given predicate is discouraged. |
boolean |
isBackchainEncouraged(CycConstant predicate,
CycFort mt)
Returns true iff backchain inference on the given predicate is encouraged. |
boolean |
isBackchainForbidden(CycConstant predicate,
CycFort mt)
Returns true iff backchain inference on the given predicate is forbidden. |
boolean |
isBackchainRequired(CycConstant predicate,
CycFort mt)
Returns true iff backchain inference on the given predicate is required. |
boolean |
isBinaryPredicate(CycConstant cycConstant)
Returns true if cycConstant is a BinaryPredicate. |
boolean |
isCollection_Cached(CycFort cycFort)
Returns true if cycConstant is a Collection, implements a cache to avoid asking the same question twice from the KB. |
boolean |
isCollection(CycFort cycFort)
Returns true if cycConstant is a Collection. |
boolean |
isConstantNameAvailable(java.lang.String candidateName)
Returns true if the candidate name is an available CycConstant name, case insensitive. |
boolean |
isCycLNonAtomicReifableTerm(CycList formula)
Returns true if formula is well-formed Non Atomic Reifable Term. |
boolean |
isCycLNonAtomicUnreifableTerm(CycList formula)
Returns true if formula is well-formed Non Atomic Un-reifable Term. |
boolean |
isEvaluatablePredicate(CycConstant predicate)
Returns true if cycConstant is an evaluatable predicate. |
boolean |
isFormulaWellFormed(CycList formula,
CycFort mt)
Returns true if formula is well-formed in the relevant mt. |
boolean |
isFunction(CycConstant cycConstant)
Returns true if cycConstant is a Function. |
boolean |
isGenlInverseOf(CycFort genlPred,
CycFort specPred)
Returns true if CycFort GENLPRED is a genl-inverse of CycFort SPECPRED in any MT. |
boolean |
isGenlInverseOf(CycFort genlPred,
CycFort specPred,
CycFort mt)
Returns true if CycFort GENLPRED is a genl-inverse of CycFort SPECPRED in MT. |
boolean |
isGenlMtOf(CycFort genlMt,
CycFort specMt)
Returns true if CycFort GENLMT is a genl-mt of CycFort SPECPRED in *mt-mt* (currently #$UniversalVocabularyMt). |
boolean |
isGenlOf_Cached(CycFort genl,
CycFort spec)
Returns true if CycFort GENL is a genl of CycFort SPEC, implements a cache to avoid asking the same question twice from the KB. |
boolean |
isGenlOf(CycFort genl,
CycFort spec)
Returns true if CycFort GENL is a genl of CycFort SPEC. |
boolean |
isGenlOf(CycFort genl,
CycFort spec,
CycFort mt)
Returns true if CycFort GENL is a genl of CycFort SPEC in MT. |
boolean |
isGenlPredOf(CycFort genlPred,
CycFort specPred)
Returns true if CycFort GENLPRED is a genl-pred of CycFort SPECPRED in any MT. |
boolean |
isGenlPredOf(CycFort genlPred,
CycFort specPred,
CycFort mt)
Returns true if CycFort GENLPRED is a genl-pred of CycFort SPECPRED in MT. |
boolean |
isIndividual(CycFort cycFort)
Returns true if cycConstant is an Individual. |
boolean |
isIrreflexivePredicate(CycConstant predicate,
CycFort mt)
Returns true iff the predicate has the irreflexive property: (#$isa ?PRED #$IrreflexsiveBinaryPredicate). |
boolean |
isMicrotheory(CycFort cycFort)
Returns true if cycConstant is a microtheory. |
boolean |
isOpenCyc()
Returns true if this KB is OpenCyc. |
boolean |
isPredicate(CycFort cycFort)
Returns true if cycFort is a Predicate. |
boolean |
isPublicConstant(CycConstant cycConstant)
Returns true if cycConstant is a PublicConstant. |
boolean |
isQueryTrue_Cached(CycList query,
CycFort mt)
Returns true iff the query is true in the knowledge base, implements a cache to avoid asking the same question twice from the KB. |
boolean |
isQueryTrue(CycList query,
CycFort mt)
Returns true iff the ground query is true in the knowledge base. |
boolean |
isQuotedCollection(CycFort cycFort)
Returns true if term is a quotedCollection, in any microtheory |
boolean |
isQuotedCollection(CycFort cycFort,
CycFort mt)
Returns true if term is a quotedCollection is a quotedCollection. |
boolean |
isSpecOf(CycFort spec,
CycFort genl)
Returns true if CycFort SPEC is a spec of CycFort GENL. |
boolean |
isSpecOf(CycFort spec,
CycFort genl,
CycFort mt)
Returns true if CycFort SPEC is a spec of CycFort GENL. |
boolean |
isUnaryPredicate(CycConstant cycConstant)
Returns true if cycConstant is a UnaryPredicate. |
boolean |
isValidConstantName(java.lang.String candidateName)
Returns true if the candidate name uses valid CycConstant characters. |
boolean |
isWellFormedFormula(CycList cycList)
Returns true iff CycList represents a well formed formula. |
void |
kill(java.util.ArrayList cycConstants)
Kills the given Cyc constants. |
void |
kill(CycConstant cycConstant)
Kills a Cyc constant. |
void |
kill(CycConstant[] cycConstants)
Kills the given Cyc constants. |
void |
kill(CycFort cycFort)
Kills a Cyc NART (Non Atomic Reified Term). |
CycConstant |
makeCycConstant(java.lang.String name)
Returns a new CycConstant object using the constant name, recording bookkeeping information and archiving to the Cyc transcript. |
CycList |
makeCycList(java.lang.String string)
Constructs a new CycList object by parsing a string. |
boolean |
predicateRelates(CycConstant binaryPredicate,
CycFort arg1,
CycFort arg2)
Returns true if CycConstant BINARYPREDICATE relates CycFort ARG1 and CycFort ARG2. |
boolean |
predicateRelates(CycConstant binaryPredicate,
CycFort arg1,
CycFort arg2,
CycFort mt)
Returns true if CycConstant BINARYPREDICATE relates CycFort ARG1 and CycFort ARG2. |
CycList |
rkfPhraseReader(java.lang.String text,
CycFort parsingMt,
CycFort domainMt)
Returns a list of parsing expressions, each consisting of a parsing span expression, and a list of parsed terms. |
void |
setCyclist(CycConstant cyclist)
Sets the value of the Cyclist, whose identity will be attached via #$myCreator bookkeeping assertions to new KB entities created in this session. |
void |
setCyclist(java.lang.String cyclistName)
Sets the value of the Cyclist, whose identity will be attached via #$myCreator bookkeeping assertions to new KB entities created in this session. |
void |
setKePurpose(CycConstant project)
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. |
void |
setKePurpose(java.lang.String projectName)
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. |
void |
setReadableNarts()
Sets the *print-readable-narts* feature on. |
static void |
setSharedCycAccessInstance(CycAccess sharedCycAccessInstance)
Sets the shared CycAccess instance. |
void |
setSymbolValue(CycSymbol cycSymbol,
java.lang.Object value)
Sets a KB symbol to have the specified value. |
java.lang.String |
toString()
Returns a string representation of this object. |
void |
traceNamesOff()
Turns on the diagnostic trace of messages with constant names looked up via recursive api request. |
void |
traceNamesOn()
Turns on the diagnostic trace of messages with constant names looked up via recursive api request. |
void |
traceOff()
Turns off the diagnostic trace of socket messages. |
void |
traceOn()
Turns on the diagnostic trace of socket messages. |
void |
traceOnDetailed()
Turns on the detailed diagnostic trace of socket messages. |
void |
unassertGaf(CycList gaf,
CycFort mt)
Unasserts the given ground atomic formula (gaf) in the specified microtheory MT. |
protected java.lang.String |
withBookkeepingInfo()
Returns a with-bookkeeping-info macro expresssion. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static java.util.HashMap cycAccessInstances
public static CycAccess sharedCycAccessInstance
public boolean traceWithNames
protected java.util.Stack traceWithNamesStack
public static final boolean TRANSIENT_CONNECTION
public static final boolean PERSISTENT_CONNECTION
public static final boolean DEFAULT_CONNECTION
public boolean deferObjectCompletion
public boolean persistentConnection
public int messagingMode
protected java.lang.String hostName
protected int port
protected int communicationMode
protected static final java.lang.Integer OK_RESPONSE_CODE
protected int saveTrace
public static CycConstant baseKB
public static CycConstant isa
public static CycConstant genls
public static CycConstant genlMt
public static CycConstant comment
public static CycConstant collection
public static CycConstant binaryPredicate
public static CycConstant elementOf
public static CycConstant and
public static CycConstant or
public static CycConstant not
public static CycConstant numericallyEqual
public static CycConstant plusFn
public static CycConstant different
public static CycConstant thing
public static CycConstant inferencePSC
public static CycConstant universalVocabularyMt
public static CycConstant bookkeepingMt
protected org.apache.oro.util.Cache askCache
protected org.apache.oro.util.Cache countAllInstancesCache
protected org.apache.oro.util.Cache isCollectionCache
protected org.apache.oro.util.Cache isGenlOfCache
protected CycConnectionInterface cycConnection
Constructor Detail |
public CycAccess() throws java.io.IOException, java.net.UnknownHostException, CycApiException
java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycAccess(java.lang.String myAgentName, java.lang.String cycProxyAgentName, int agentCommunity) throws java.io.IOException, CycApiException
myAgentName
- the name of the local agentcycProxyAgentName
- the name of the cyc proxy agentagentCommunity
- the agent community to which the cyc proxy agent belongsjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycAccess(java.lang.String hostName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
hostName
- the host namejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycAccess(java.lang.String hostName, int basePort, int communicationMode, boolean persistentConnection) throws java.io.IOException, java.net.UnknownHostException, CycApiException
hostName
- the host namebasePort
- the base (HTML serving) TCP socket port numbercommunicationMode
- either ASCII_MODE or BINARY_MODEpersistentConnection
- when true keep a persistent socket connection with
the OpenCyc serverjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycAccess(java.lang.String hostName, int basePort, int communicationMode, boolean persistentConnection, int messagingMode) throws java.io.IOException, java.net.UnknownHostException, CycApiException
hostName
- the host namebasePort
- the base (HTML serving) TCP socket port numbercommunicationMode
- either ASCII_MODE or BINARY_MODEpersistentConnection
- when true keep a persistent socket connection with
the OpenCyc servermessagingMode
- either SERIAL_MESSAGING_MODE or CONCURRENT_MESSAGING_MODEjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorMethod Detail |
protected void commonInitialization() throws java.io.IOException, CycApiException
java.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String toString()
toString
in class java.lang.Object
public static CycAccess current()
public static void setSharedCycAccessInstance(CycAccess sharedCycAccessInstance)
the
- shared CycAccess instancepublic void traceOn()
public void traceOnDetailed()
public void traceOff()
public void traceNamesOn()
public void traceNamesOff()
public CycConnectionInterface getCycConnection()
public void close()
public int getCommunicationMode()
protected java.lang.Object[] converse(java.lang.Object command) throws java.io.IOException, java.net.UnknownHostException, CycApiException
command
- the command string or CycListjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.Object converseObject(java.lang.Object command) throws java.io.IOException, java.net.UnknownHostException, CycApiException
command
- the command string or CycListjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList converseList(java.lang.Object command) throws java.io.IOException, java.net.UnknownHostException, CycApiException
command
- the command string or CycListjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String converseString(java.lang.Object command) throws java.io.IOException, java.net.UnknownHostException, CycApiException
command
- the command string or CycListjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean converseBoolean(java.lang.Object command) throws java.io.IOException, java.net.UnknownHostException, CycApiException
command
- the command string or CycListjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic int converseInt(java.lang.Object command) throws java.io.IOException, java.net.UnknownHostException, CycApiException
command
- the command string or CycListjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void converseVoid(java.lang.Object command) throws java.io.IOException, java.net.UnknownHostException, CycApiException
command
- the command string or CycListjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void setReadableNarts() throws java.io.IOException, java.net.UnknownHostException, CycApiException
java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant getKnownConstantByName(java.lang.String constantName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
constantName
- the name of the constant to be instantiatedpublic CycConstant getConstantByName(java.lang.String constantName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
constantName
- the name of the constant to be instantiatedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.Integer getConstantId(CycConstant cycConstant) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the CycConstant object for which the id is soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.Integer getConstantId(java.lang.String constantName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
constantName
- the name of the constant object for which the id is soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic Guid getConstantGuid(CycConstant cycConstant) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the CycConstant object for which the id is soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic Guid getConstantGuid(java.lang.String constantName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
constantName
- the name of the constant object for which the Guid is soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic Guid getConstantGuid(java.lang.Integer id) throws java.io.IOException, java.net.UnknownHostException, CycApiException
id
- the id of the CycConstant whose guid is soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant getConstantById(java.lang.Integer id) throws java.io.IOException, java.net.UnknownHostException, CycApiException
id
- the id of the CycConstant soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getConstantName(java.lang.Integer id) throws java.io.IOException, java.net.UnknownHostException, CycApiException
id
- the id of the constant object for which the name is soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getVariableName(java.lang.Integer id) throws java.io.IOException, java.net.UnknownHostException, CycApiException
id
- the id of the variable object for which the name is soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant getKnownConstantByGuid(java.lang.String guidString) throws java.io.IOException, java.net.UnknownHostException, CycApiException
guid
- the globally unique ID string of the constant to be instantiatedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant getKnownConstantByGuid(Guid guid) throws java.io.IOException, java.net.UnknownHostException, CycApiException
guid
- the globally unique ID of the constant to be instantiatedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant getConstantByGuid(Guid guid) throws java.io.IOException, java.net.UnknownHostException, CycApiException
guid
- the GUID from which to find the constantjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.Object completeObject(java.lang.Object object) throws java.io.IOException, java.net.UnknownHostException, CycApiException
object
- the CycConstant to be completed, or the Object whose
embedded constants are to be completedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant completeCycConstant(CycConstant cycConstant) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the CycConstant whose name and guid are to be completedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycVariable completeCycVariable(CycVariable cycVariable) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycVariable
- the CycVariable whose name is to be completedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList completeCycList(CycList cycList) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycList
- the CycList whose constants are to be completedthe
- completed CycList objectjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycNart completeCycNart(CycNart cycNart) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycNart
- the CycNart whose constants are to be completedthe
- completed CycNart objectjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycAssertion completeCycAssertion(CycAssertion cycAssertion) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycAssertion
- the CycAssertion whose constants are to be completedthe
- completed CycAssertion objectjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.Integer findNartId(CycNart cycNart) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycNart
- the CycNart object with functor and arguments instantiatedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycNart getCycNartById(java.lang.Integer id) throws java.io.IOException, java.net.UnknownHostException, CycApiException
id
- the nart id (local to the KB)java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycAssertion getAssertionById(java.lang.Integer id) throws java.io.IOException, java.net.UnknownHostException, CycApiException
id
- the assertion id (which is local to the given KB).java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycNart getCycNartFromCons(CycList elCons)
elCons
- the given list which names the functor and argumentspublic boolean predicateRelates(CycConstant binaryPredicate, CycFort arg1, CycFort arg2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
binaryPredicate
- the predicatearg1
- the first argument related by the predicatearg2
- the second argument related by the predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean predicateRelates(CycConstant binaryPredicate, CycFort arg1, CycFort arg2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
binaryPredicate
- the predicatearg1
- the first argument related by the predicatearg2
- the second argument related by the predicatemt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getImprecisePluralGeneratedPhrase(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the term for paraphrasingjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getPluralGeneratedPhrase(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the term for paraphrasingjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getImpreciseSingularGeneratedPhrase(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the term for paraphrasingjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getSingularGeneratedPhrase(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the term for paraphrasingjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getGeneratedPhrase(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the predicate term for paraphrasingjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getParaphrase(CycList assertion) throws java.io.IOException, java.net.UnknownHostException, CycApiException
assertion
- the assertion formulajava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getImpreciseParaphrase(java.lang.String assertionString) throws java.io.IOException, java.net.UnknownHostException, CycApiException
assertionString
- the assertion formulajava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getImpreciseParaphrase(CycList assertion) throws java.io.IOException, java.net.UnknownHostException, CycApiException
assertion
- the assertion formulajava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getComment(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the term for which the comment is soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.String getComment(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the term for which the comment is soughtmt
- the relevant mt from which the comment is visiblejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getIsas(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the term for which its isas are soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getIsas(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the term for which its isas are soughtmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getGenls(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getGenls(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getMinGenls(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collection termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getMinGenls(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collectionmt
- the microtheory in which to lookjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getSpecs(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getSpecs(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionmt
- the microtheory in which to lookjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getMaxSpecs(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getMaxSpecs(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionmt
- the microtheory in which to lookjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getGenlSiblings(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getGenlSiblings(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionmt
- the microtheory in which to lookjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getSiblings(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getSiblings(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionmt
- the microtheory in which to lookjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getSpecSiblings(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getSpecSiblings(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionmt
- the microtheory in which to lookjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllGenls(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllGenls(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllSpecs(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllSpecs(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.HashSet getAllSpecsHashSet(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.HashSet getAllSpecsHashSet(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllGenlsWrt(CycFort spec, CycFort genl) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the given collectiongenl
- the more general collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllGenlsWrt(CycFort spec, CycFort genl, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the given collectiongenl
- the more general collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllDependentSpecs(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllDependentSpecs(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getSampleLeafSpecs(CycFort cycFort, int numberOfSamples) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionnumberOfSamples
- the maximum number of sample specs returnedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getSampleLeafSpecs(CycFort cycFort, int numberOfSamples, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionnumberOfSamples
- the maximum number of sample specs returnedmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycFort getMinCol(CycList collections) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collections
- the given collectionsjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isSpecOf(CycFort spec, CycFort genl) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the considered spec collectiongenl
- the considered genl collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isSpecOf(CycFort spec, CycFort genl, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the considered spec collectiongenl
- the considered genl collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isGenlOf(CycFort genl, CycFort spec) throws java.io.IOException, java.net.UnknownHostException, CycApiException
genl
- the collection for genl determinationspec
- the collection for spec determinationjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isGenlOf_Cached(CycFort genl, CycFort spec) throws java.io.IOException, java.net.UnknownHostException, CycApiException
genl
- the collection for genl determinationspec
- the collection for spec determinationjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isGenlOf(CycFort genl, CycFort spec, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
genl
- the collection for genl determinationspec
- the collection for spec determinationmt
- the microtheory for spec determinationjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isGenlPredOf(CycFort genlPred, CycFort specPred, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
genlPred
- the predicate for genl-pred determinationspecPred
- the predicate for spec-pred determinationmt
- the microtheory for subsumption determinationjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isGenlPredOf(CycFort genlPred, CycFort specPred) throws java.io.IOException, java.net.UnknownHostException, CycApiException
genlPred
- the predicate for genl-pred determinationspecPred
- the predicate for spec-pred determinationjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isGenlInverseOf(CycFort genlPred, CycFort specPred, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
genlPred
- the predicate for genl-inverse determinationspecPred
- the predicate for spec-inverse determinationmt
- the microtheory for inverse subsumption determinationjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isGenlInverseOf(CycFort genlPred, CycFort specPred) throws java.io.IOException, java.net.UnknownHostException, CycApiException
genlPred
- the predicate for genl-inverse determinationspecPred
- the predicate for spec-inverse determinationjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isGenlMtOf(CycFort genlMt, CycFort specMt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
genlMt
- the microtheory for genl-mt determinationspecMt
- the microtheory for spec-mt determinationjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areTacitCoextensional(CycFort collection1, CycFort collection2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first given collectioncollection2
- the second given collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areTacitCoextensional(CycFort collection1, CycFort collection2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first given collectioncollection2
- the second given collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areAssertedCoextensional(CycFort collection1, CycFort collection2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areAssertedCoextensional(CycFort collection1, CycFort collection2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areIntersecting(CycFort collection1, CycFort collection2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areIntersecting(CycFort collection1, CycFort collection2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areHierarchical(CycFort collection1, CycFort collection2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areHierarchical(CycFort collection1, CycFort collection2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getWhyGenl(CycFort spec, CycFort genl) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the specialized collectiongenl
- the more general collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getWhyGenl(CycFort spec, CycFort genl, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the specialized collectiongenl
- the more general collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.ArrayList getWhyGenlParaphrase(CycFort spec, CycFort genl) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the specialized collectiongenl
- the more general collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.ArrayList getWhyGenlParaphrase(CycFort spec, CycFort genl, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the specialized collectiongenl
- the more general collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getWhyCollectionsIntersect(CycFort collection1, CycFort collection2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getWhyCollectionsIntersect(CycFort collection1, CycFort collection2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.ArrayList getWhyCollectionsIntersectParaphrase(CycFort collection1, CycFort collection2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.ArrayList getWhyCollectionsIntersectParaphrase(CycFort collection1, CycFort collection2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getCollectionLeaves(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getCollectionLeaves(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getLocalDisjointWith(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionpublic CycList getLocalDisjointWith(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areDisjoint(CycFort collection1, CycFort collection2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean areDisjoint(CycFort collection1, CycFort collection2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
collection1
- the first collectioncollection2
- the second collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getMinIsas(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getMinIsas(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getInstances(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getInstances(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getInstanceSiblings(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getInstanceSiblings(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termmt
- the relevant mtpublic CycList getAllIsa(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllIsa(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllInstances(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collection for which all the direct and indirect instances
(individuals) are soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllInstances(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collection for which all the direct and indirect instances
(individuals) are soughtmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server error
given collectionpublic java.util.HashSet getAllInstancesHashSet(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collection for which all the direct and indirect instances
(individuals) are soughtmt
- the microtheory in which the inference is performedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.HashSet getAllInstancesHashSet(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collection for which all the direct and indirect instances
(individuals) are soughtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isa(CycFort term, java.lang.String collectionName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
term
- the termcollectionName
- the name of the collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isa(CycFort term, CycFort collection) throws java.io.IOException, java.net.UnknownHostException, CycApiException
term
- the termcollection
- the collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isa(CycFort term, CycFort collection, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
term
- the termcollection
- the collectionmt
- the microtheory in which the ask is performedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getWhyIsa(CycFort spec, CycFort genl) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the specialized collectiongenl
- the more general collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getWhyIsa(CycFort spec, CycFort genl, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
spec
- the specialized collectiongenl
- the more general collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.ArrayList getWhyIsaParaphrase(CycFort spec, CycFort genl) throws java.io.IOException, CycApiException
spec
- the specialized collectiongenl
- the more general collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.ArrayList getWhyIsaParaphrase(CycFort spec, CycFort genl, CycFort mt) throws java.io.IOException, CycApiException
spec
- the specialized collectiongenl
- the more general collectionmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getGenlPreds(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicate termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getGenlPreds(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicate termmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllGenlPreds(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllGenlPreds(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllSpecPreds(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllSpecPreds(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the predicatemt
- the microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.HashSet getAllSpecPredsHashSet(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.HashSet getAllSpecPredsHashSet(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the predicatemt
- the microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllSpecInverses(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllSpecInverses(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the predicatemt
- the microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.HashSet getAllSpecInversesHashSet(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getAllSpecMts(CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.HashSet getAllSpecInversesHashSet(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the predicatemt
- the microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.util.HashSet getAllSpecMtsHashSet(CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg1Isas(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument 1 contraints are sought.java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg1Isas(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument 1 contraints are sought.mt
- the relevant microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg2Isas(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument 2 contraints are sought.java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg2Isas(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument 2 contraints are sought.mt
- the relevant microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg3Isas(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument 3 contraints are sought.java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg3Isas(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument 3 contraints are sought.mt
- the relevant microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg4Isas(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument 4 contraints are sought.java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg4Isas(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument 4 contraints are sought.mt
- the relevant microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArgNIsas(CycConstant predicate, int argPosition) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument N contraints are sought.argPosition
- the argument position of argument Njava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArgNIsas(CycConstant predicate, int argPosition, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which argument contraints are sought.argPosition
- the argument position of argument Nmt
- the relevant microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getInterArgIsa1_2s(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for interArgIsa1-2 contraints are sought.java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getInterArgIsa1_2s(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for interArgIsa1-2 contraints are sought.mt
- the relevant inference microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getInterArgIsa1_2_forArg2(CycConstant predicate, CycFort arg1) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for interArgIsa1-2 contraints are sought.arg1
- the argument in position 1java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getInterArgIsa1_2_forArg2(CycConstant predicate, CycFort arg1, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for interArgIsa1-2 contraints are sought.arg1
- the argument in position 1mt
- the relevant inference microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getResultIsas(CycConstant function) throws java.io.IOException, java.net.UnknownHostException, CycApiException
function
- the given function termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getResultIsas(CycConstant function, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
function
- the given function termmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArgNGenls(CycConstant predicate, int argPosition) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicate termargPosition
- the argument position for which the genls argument
constraints are sought (position 1 = first argument)java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArgNGenls(CycConstant predicate, int argPosition, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicate termargPosition
- the argument position for which the genls argument
constraints are sought (position 1 = first argument)mt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg1Formats(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicate termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg1Formats(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicate termmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg2Formats(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicate termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg2Formats(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicate termmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getDisjointWiths(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collection termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getDisjointWiths(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collection termmt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getCoExtensionals(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collection termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getCoExtensionals(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collection termmt
- the relevant mt for inferencejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isMicrotheory(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the constant for determination as a microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isCollection(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the constant for determination as a Collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isCollection_Cached(CycFort cycFort) throws java.io.IOException, CycApiException
cycConstant
- the constant for determination as a Collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isIndividual(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isFunction(CycConstant cycConstant) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isEvaluatablePredicate(CycConstant predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isPredicate(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the term for determination as a predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isUnaryPredicate(CycConstant cycConstant) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isBinaryPredicate(CycConstant cycConstant) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isValidConstantName(java.lang.String candidateName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
candidateName
- the candidate namejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isConstantNameAvailable(java.lang.String candidateName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
candidateName
- the candidate namejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isQuotedCollection(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given CycFort termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isQuotedCollection(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given CycFort termmt
- the microtheory in which the query is madejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isPublicConstant(CycConstant cycConstant) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the given constantjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getPublicConstants() throws java.io.IOException, java.net.UnknownHostException, CycApiException
java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getKbSubset(CycFort cycKbSubsetCollection) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycKbSubsetCollection
- the given CycKBSubsetCollectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void kill(CycConstant cycConstant) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstant
- the constant term to be removed from the KBjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void kill(CycConstant[] cycConstants) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstants
- the list of constant terms to be removed from the KBjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void kill(java.util.ArrayList cycConstants) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstants
- the list of constant terms to be removed from the KBjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void kill(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the NART term to be removed from the KBjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void setCyclist(java.lang.String cyclistName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cyclistName
- the name of the cyclist termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void setCyclist(CycConstant cyclist)
cyclis
- the cyclist termpublic void setKePurpose(java.lang.String projectName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
projectName
- the string name of the KE Purpose termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void setKePurpose(CycConstant project)
project
- the KE Purpose termpublic void assertWithTranscript(CycList sentence, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
sentence
- the given sentence for assertionmt
- the microtheory in which the assertion is placedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertWithTranscript(java.lang.String sentence, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
sentence
- the given sentence for assertionmt
- the microtheory in which the assertion is placedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertWithTranscriptAndBookkeeping(CycList sentence, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
sentence
- the given sentence for assertionmt
- the microtheory in which the assertion is placedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertWithTranscriptAndBookkeeping(java.lang.String sentence, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
sentence
- the given sentence for assertionmt
- the microtheory in which the assertion is placedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorprotected java.lang.String withBookkeepingInfo()
public CycConstant find(java.lang.String constantName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
constantName
- the name of the new constantjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant findOrCreate(java.lang.String constantName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
constantName
- the name of the new constantjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant createNewPermanent(java.lang.String constantName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
constantName
- the name of the new constantjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGaf(CycFort mt, CycFort predicate, CycFort arg1, CycFort arg2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the microtheory in which the assertion is madepredicate
- the binary predicate of the assertionarg1
- the first argument of the predicatearg2
- the second argument of the predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGaf(CycFort mt, CycFort predicate, CycFort arg1, java.lang.String arg2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the microtheory in which the assertion is madepredicate
- the binary predicate of the assertionarg1
- the first argument of the predicatearg2
- the second argument of the predicate, which is a stringjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGaf(CycFort mt, CycConstant predicate, CycFort arg1, CycList arg2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the microtheory in which the assertion is madepredicate
- the binary predicate of the assertionarg1
- the first argument of the predicatearg2
- the second argument of the predicate, which is a CycListjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGaf(CycFort mt, CycConstant predicate, CycFort arg1, int arg2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the microtheory in which the assertion is madepredicate
- the binary predicate of the assertionarg1
- the first argument of the predicatearg2
- the second argument of the predicate, which is an intjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGaf(CycFort mt, CycFort predicate, CycFort arg1, java.lang.Integer arg2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the microtheory in which the assertion is madepredicate
- the binary predicate of the assertionarg1
- the first argument of the predicatearg2
- the second argument of the predicate, which is an Integerjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGaf(CycFort mt, CycFort predicate, CycFort arg1, java.lang.Double arg2) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the microtheory in which the assertion is madepredicate
- the binary predicate of the assertionarg1
- the first argument of the predicatearg2
- the second argument of the predicate, which is a Doublejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGaf(CycFort mt, CycConstant predicate, CycFort arg1, CycFort arg2, CycFort arg3) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mt
- the microtheory in which the assertion is madepredicate
- the ternary predicate of the assertionarg1
- the first argument of the predicatearg2
- the second argument of the predicatearg3
- the third argument of the predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGaf(CycList gaf, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
gaf
- the gaf in the form of a CycListmt
- the microtheory in which the assertion is madejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void unassertGaf(CycList gaf, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
gaf
- the gaf in the form of a CycListmt
- the microtheory in which the assertion is madejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertNameString(java.lang.String cycConstantName, java.lang.String nameString, java.lang.String mtName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstantName
- the name of the given termnameString
- the given name string for the termmtName
- the name of the microtheory in which the name string is assertedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertComment(java.lang.String cycConstantName, java.lang.String comment, java.lang.String mtName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycConstantName
- the name of the given termcomment
- the comment stringmtName
- the name of the microtheory in which the comment is assertedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertComment(CycFort cycFort, java.lang.String comment, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termcomment
- the comment stringmt
- the comment assertion microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertNameString(CycFort cycFort, java.lang.String nameString, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termnameString
- the name stringmt
- the name string assertion microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGenFormat(CycFort relation, java.lang.String genFormatString, CycList genFormatList) throws java.io.IOException, java.net.UnknownHostException, CycApiException
relation
- the given termgenFormatString
- the genFormat stringgenFormatList
- the genFormat argument substitution sequencejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant createMicrotheory(java.lang.String mtName, java.lang.String comment, CycFort isaMt, java.util.ArrayList genlMts) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mtName
- the name of the microtheory termcomment
- the comment for the new microtheoryisMt
- the type of the new microtheorygenlMts
- the list of more general microtheoriesjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant createMicrotheory(java.lang.String mtName, java.lang.String comment, java.lang.String isaMtName, java.util.ArrayList genlMts) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mtName
- the name of the microtheory termcomment
- the comment for the new microtheoryisMt
- the type (as a string) of the new microtheorygenlMts
- the list of more general microtheories (as strings)java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant[] createMicrotheorySystem(java.lang.String mtRootName, java.lang.String comment, java.util.ArrayList genlMts) throws java.io.IOException, java.net.UnknownHostException, CycApiException
mtRootName
- the root name of the microtheory systemcomment
- the root comment of the microtheory systemgenlMts
- the list of more general microtheoriesjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertIsaCollection(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collection termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertIsaCollection(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given collection termmt
- the assertion microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGenls(java.lang.String specCollectionName, java.lang.String genlsCollectionName, java.lang.String mtName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
specCollectionName
- the name of the more specialized collectiongenlsCollectionName
- the name of the more generalized collectionmtName
- the assertion microtheory namejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGenls(java.lang.String specCollectionName, java.lang.String genlsCollectionName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
specCollectionName
- the name of the more specialized collectiongenlsCollectionName
- the name of the more generalized collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGenls(CycFort specCollection, CycFort genlsCollection) throws java.io.IOException, java.net.UnknownHostException, CycApiException
specCollection
- the more specialized collectiongenlsCollection
- the more generalized collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGenls(CycFort specCollection, CycFort genlsCollection, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
specCollection
- the more specialized collectiongenlsCollection
- the more generalized collectionmt
- the assertion microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGenlPreds(java.lang.String specPredName, java.lang.String genlPredName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
specPredName
- the name of the more specialized predicategenlPredName
- the name of the more generalized predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGenlPreds(CycFort specPred, CycFort genlPred) throws java.io.IOException, java.net.UnknownHostException, CycApiException
specPred
- the more specialized predicategenlsPred
- the more generalized predicatejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertConceptuallyRelated(CycFort term1, CycFort term2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
term1
- the first symbolterm2
- the second symbolmt
- the microtheory in which the assertion is madejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGenlMt(java.lang.String specMtName, java.lang.String genlsMtName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
specMtName
- the name of the more specialized microtheorygenlMtName
- the name of the more generalized microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertGenlMt(CycFort specMt, CycFort genlsMt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
specMtName
- the more specialized microtheorygenlMtName
- the more generalized microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertIsa(java.lang.String cycFortName, java.lang.String collectionName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFortName
- the collection element namecollectionName
- the collection namejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertIsa(java.lang.String cycFortName, java.lang.String collectionName, java.lang.String mtName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFortName
- the collection element namecollectionName
- the collection namemtName
- the assertion microtheory namejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertIsa(CycFort cycFort, CycFort aCollection, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collection elementaCollecton
- the collectionmt
- the assertion microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertIsa(CycFort cycFort, CycFort aCollection) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the collection elementaCollecton
- the collectionjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertIsaBinaryPredicate(CycFort cycFort) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertIsaBinaryPredicate(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termmt
- the defining microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList makeCycList(java.lang.String string) throws CycApiException
string
- the string in CycL external (EL). For example:(#$isa #$Dog #$TameAnimal)
CycApiException
- if the api request results in a cyc server errorpublic CycConstant makeCycConstant(java.lang.String name) throws java.net.UnknownHostException, java.io.IOException, CycApiException
name
- Name of the constant. If prefixed with "#$", then the prefix is
removed for canonical representation.java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList askWithVariable(CycList query, CycVariable variable, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
query
- the query to be asked in the knowledge basevariable
- the single unbound variable in the query for which bindings are soughtmt
- the microtheory in which the query is askedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList askWithVariables(CycList query, java.util.ArrayList variables, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
query
- the query to be asked in the knowledge basevariables
- the list of unbound variables in the query for which bindings are soughtmt
- the microtheory in which the query is askedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isQueryTrue(CycList query, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
query
- the query to be asked in the knowledge basemt
- the microtheory in which the query is askedjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isQueryTrue_Cached(CycList query, CycFort mt) throws java.io.IOException, CycApiException
query
- the query to be asked in the knowledge basemt
- the microtheory in which the query is askedjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic int countAllInstances(CycFort collection, CycFort mt) throws java.io.IOException, CycApiException
collection
- the collection whose instances are countedmt
- microtheory (including its genlMts) in which the count is determinedjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic int countAllInstances_Cached(CycFort collection, CycFort mt) throws java.io.IOException, CycApiException
collection
- the collection whose instances are countedmt
- microtheory (including its genlMts) in which the count is determinedjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getBackchainImplicationRules(CycConstant predicate, CycList formula, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which backward chaining implication rules are soughtformula
- the literal for which backward chaining implication rules are soughtmt
- the microtheory (and its genlMts) in which the search for backchaining implication rules takes placejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getForwardChainRules(CycConstant predicate, CycList formula, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which forward chaining implication rules are soughtformula
- the literal for which forward chaining implication rules are soughtmt
- the microtheory (and its genlMts) in which the search for forward chaining rules takes placejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getBackchainRules(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which backchaining rules are soughtmt
- the microtheory (and its genlMts) in which the search for backchaining rules takes placejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getForwardChainRules(CycConstant predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the predicate for which forward chaining rules are soughtmt
- the microtheory (and its genlMts) in which the search for forward chaining rules takes placejava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.Object getSymbolValue(CycSymbol cycSymbol) throws java.io.IOException, java.net.UnknownHostException, CycApiException
symbol
- the KB symbol which will have a value boundjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void setSymbolValue(CycSymbol cycSymbol, java.lang.Object value) throws java.io.IOException, java.net.UnknownHostException, CycApiException
symbol
- the KB symbol which will have a value boundvalue
- the value assigned to the symboljava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isWellFormedFormula(CycList cycList) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycList
- the candidate well-formed-formulajava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isBackchainRequired(CycConstant predicate, CycFort mt) throws java.io.IOException, CycApiException
predicate
- the CycConstant predicate for which backchaining required status is soughtmt
- microtheory (including its genlMts) in which the backchaining required status is soughtjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isBackchainEncouraged(CycConstant predicate, CycFort mt) throws java.io.IOException, CycApiException
predicate
- the CycConstant predicate for which backchaining encouraged status is soughtmt
- microtheory (including its genlMts) in which the backchaining encouraged status is soughtjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isBackchainDiscouraged(CycConstant predicate, CycFort mt) throws java.io.IOException, CycApiException
predicate
- the CycConstant predicate for which backchaining discouraged status is soughtmt
- microtheory (including its genlMts) in which the backchaining discouraged status is soughtjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isBackchainForbidden(CycConstant predicate, CycFort mt) throws java.io.IOException, CycApiException
predicate
- the CycConstant predicate for which backchaining forbidden status is soughtmt
- microtheory (including its genlMts) in which the backchaining forbidden status is soughtjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isIrreflexivePredicate(CycConstant predicate, CycFort mt) throws java.io.IOException, CycApiException
predicate
- the CycConstant predicate for which irreflexive status is soughtmt
- microtheory (including its genlMts) in which the irreflexive status is soughtjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean hasSomePredicateUsingTerm(CycConstant predicate, CycFort term, java.lang.Integer argumentPosition, CycFort mt) throws java.io.IOException, CycApiException
term
- the term present at the given argument positionpredicate
- the CycConstant predicate for the formulaargumentPosition
- the argument position of the given term in the ground formulamt
- microtheory (including its genlMts) in which the existence is soughtjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic int countUsingBestIndex(CycList formula, CycFort mt) throws java.io.IOException, CycApiException
formula
- the formula whose indexed instances are countedmt
- microtheory (including its genlMts) in which the count is determinedjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic int importMucExpression(CycList mucExpression, java.lang.String mtName) throws java.io.IOException, CycApiException
mucExpression
- the MUC (Message Understanding Conference) formatted symbolic
expressionmtName
- the name of the microtheory in which the imported assertions will be madejava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList rkfPhraseReader(java.lang.String text, CycFort parsingMt, CycFort domainMt) throws java.io.IOException, CycApiException
(RKF-PHRASE-READER "penguins" #$RKFEnglishLexicalMicrotheoryPSC #$InferencePSC) ==> (((0) (#$Penguin #$PittsburghPenguins)))
text
- the phrase to be parsedparsingMt
- the microtheory in which lexical info is askeddomainMt
- the microtherory in which the info about candidate terms is askedjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList generateDisambiguationPhraseAndTypes(CycList objects) throws java.io.IOException, CycApiException
(GENERATE-DISAMBIGUATION-PHRASES-AND-TYPES (QUOTE (#$Penguin #$PittsburghPenguins))) ==> ((#$Penguin "penguin" #$Bird "bird") (#$PittsburghPenguins "the Pittsburgh Penguins" #$IceHockeyTeam "ice hockey team"))
objects
- the list of terms to be disambiguatedjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic int getArity(CycFort predicate) throws java.io.IOException, CycApiException
predicate
- the given predicate whose number of arguments is soughtjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getArg2s(CycFort predicate, java.lang.Object arg1) throws java.io.IOException, CycApiException
predicate
- the given predicate for the gaf patternarg1
- the given first argument of the gafjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic java.lang.Object getArg2(CycFort predicate, java.lang.Object arg1) throws java.io.IOException, CycApiException
predicate
- the given predicate for the gaf patternarg1
- the given first argument of the gafjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isFormulaWellFormed(CycList formula, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
formula
- the given EL formulamt
- the relevant mtjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isCycLNonAtomicReifableTerm(CycList formula) throws java.io.IOException, java.net.UnknownHostException, CycApiException
formula
- the given EL formulajava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isCycLNonAtomicUnreifableTerm(CycList formula) throws java.io.IOException, java.net.UnknownHostException, CycApiException
formula
- the given EL formulajava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant createCollectorMt(java.lang.String mtName, java.lang.String comment, java.util.ArrayList genlMts) throws java.io.IOException, CycApiException
mtName
- the name of the new collector microtheorycomment
- the comment for the new collector microtheorygenlMts
- the list of more general microtheoriespublic void assertIsas(java.util.ArrayList fortNames, java.lang.String collectionName) throws java.io.IOException, CycApiException
fortNames
- the list of fortscollectionName
- public void assertIsas(java.util.ArrayList forts, CycFort collection) throws java.io.IOException, CycApiException
forts
- the list of fortscollection
- public CycConstant createSpindleMt(java.lang.String spindleMtName, java.lang.String comment, java.lang.String spindleHeadMtName, java.lang.String spindleCollectorMtName) throws java.io.IOException, CycApiException
spindleMtName
- the name of the new spindle microtheorycomment
- the comment for the new spindle microtheoryspindleHeadMtName
- the name of the spindle head microtheoryspindleCollectorMtName
- the name of the spindle head microtheorypublic CycConstant createSpindleMt(java.lang.String spindleMtName, java.lang.String comment, CycFort spindleHeadMt, CycFort spindleCollectorMt) throws java.io.IOException, CycApiException
spindleMtName
- the name of the new spindle microtheorycomment
- the comment for the new spindle microtheoryspindleHeadMt
- the spindle head microtheoryspindleCollectorMt
- the spindle head microtheorypublic CycConstant createBinaryPredicate(java.lang.String predicateName, java.lang.String predicateTypeName, java.lang.String comment, java.lang.String arg1IsaName, java.lang.String arg2IsaName, java.lang.String arg1FormatName, java.lang.String arg2FormatName, java.lang.String genlPredsName, java.lang.String genFormatString, java.lang.String genFormatList) throws java.io.IOException, CycApiException
predicateName
- the name of the new binary predicatepredicateType
- the type of binary predicate, for example
#$TransitiveBinaryPredicate, which when null defaults to #$BinaryPredicatecomment
- the comment for the new binary predicate, or nullarg1Isa
- the argument position one type constraint, or nullar2Isa
- the argument position two type constraint, or nullarg1Format
- the argument position one format constraint, or nullarg2Format
- the argument position two format constraint, or nullgenlsPreds
- the more general binary predicate of which this new
predicate is a specialization, that when null defaults to
#$conceptuallyRelatedgenFormat
- the paraphrase generation string, or nullpublic CycConstant createBinaryPredicate(java.lang.String predicateName, CycFort predicateType, java.lang.String comment, CycFort arg1Isa, CycFort arg2Isa, CycFort arg1Format, CycFort arg2Format, CycFort genlPreds, java.lang.String genFormatString, CycList genFormatList) throws java.io.IOException, CycApiException
predicateName
- the name of the new binary predicatepredicateType
- the type of binary predicate, for example
#$TransitiveBinaryPredicate, which when null defaults to #$BinaryPredicatecomment
- the comment for the new binary predicate, or nullarg1Isa
- the argument position one type constraint, or nullar2Isa
- the argument position two type constraint, or nullarg1Format
- the argument position one format constraint, or nullarg2Format
- the argument position two format constraint, or nullgenlsPreds
- the more general binary predicate of which this new
predicate is a specialization, that when null defaults to
#$conceptuallyRelatedgenFormat
- the paraphrase generation string, or nullpublic CycConstant createKbSubsetCollection(java.lang.String constantName, java.lang.String comment) throws java.io.IOException, CycApiException
constantName
- the name of the new KB subset collectioncomment
- the comment for the new KB subset collectionpublic CycConstant createCollection(java.lang.String collectionName, java.lang.String comment, java.lang.String commentMtName, java.lang.String isaName, java.lang.String genlsName) throws java.io.IOException, CycApiException
collectionName
- the name of the new collectioncomment
- the comment for the collectioncommentMtName
- the name of the microtheory in which the comment is assertedisaName
- the name of the collection of which the new collection is an instancegenlsName
- the name of the collection of which the new collection is a subsetpublic CycFort createCollection(java.lang.String collectionName, java.lang.String comment, CycFort commentMt, CycFort isa, CycFort genls) throws java.io.IOException, CycApiException
collection
- the name of the new collectioncomment
- the comment for the collectioncommentMt
- the microtheory in which the comment is assertedisa
- the collection of which the new collection is an instancegenls
- the collection of which the new collection is a subsetpublic CycFort createCollection(CycFort collection, java.lang.String comment, CycFort commentMt, CycFort isa, CycFort genls) throws java.io.IOException, CycApiException
collection
- the new collectioncomment
- the comment for the collectioncommentMt
- the microtheory in which the comment is assertedisa
- the collection of which the new collection is an instancegenls
- the collection of which the new collection is a subsetpublic CycFort createIndividual(java.lang.String IndividualName, java.lang.String comment, java.lang.String commentMt, java.lang.String isa) throws java.io.IOException, CycApiException
individual
- the name of the new individual termcomment
- the comment for the individualcommentMt
- the microtheory in which the comment is assertedisa
- the collection of which the new individual is an instancepublic CycFort createIndividual(java.lang.String IndividualName, java.lang.String comment, CycFort commentMt, CycFort isa) throws java.io.IOException, CycApiException
individual
- the name of the new individual termcomment
- the comment for the individualcommentMt
- the microtheory in which the comment is assertedisa
- the collection of which the new individual is an instancepublic CycFort createIndivDenotingUnaryFunction(java.lang.String unaryFunction, java.lang.String comment, java.lang.String commentMt, java.lang.String arg1Isa, java.lang.String resultIsa) throws java.io.IOException, CycApiException
unaryFunction
- the new collectioncomment
- the comment for the unary functioncommentMt
- the microtheory in which the comment is assertedisa
- the collection of which the new unary function is an instancearg1Isa
- the kind of objects this unary function takes as its argumentresultIsa
- the kind of object represented by this reified termpublic CycFort createIndivDenotingUnaryFunction(CycFort unaryFunction, java.lang.String comment, CycFort commentMt, CycFort arg1Isa, CycFort resultIsa) throws java.io.IOException, CycApiException
unaryFunction
- the new collectioncomment
- the comment for the unary functioncommentMt
- the microtheory in which the comment is assertedisa
- the collection of which the new unary function is an instancearg1Isa
- the kind of objects this unary function takes as its argumentresultIsa
- the kind of object represented by this reified termpublic CycFort createCollectionDenotingUnaryFunction(java.lang.String unaryFunction, java.lang.String comment, java.lang.String commentMt, java.lang.String arg1Isa, java.lang.String arg1GenlName, java.lang.String resultIsa, java.lang.String resultGenlName) throws java.io.IOException, CycApiException
unaryFunction
- the new collectioncomment
- the comment for the unary functioncommentMt
- the microtheory in which the comment is assertedisa
- the collection of which the new unary function is an instancearg1Isa
- the isa type constraint for the argumentarg1GenlName
- the genls type constraint for the argument if it is a collectionresultIsa
- the isa object represented by this reified termresultGenlName
- the genls object represented by this reified termpublic CycFort createCollectionDenotingUnaryFunction(CycFort unaryFunction, java.lang.String comment, CycFort commentMt, CycFort arg1Isa, CycFort arg1Genl, CycFort resultIsa, CycFort resultGenl) throws java.io.IOException, CycApiException
unaryFunction
- the new collectioncomment
- the comment for the unary functioncommentMt
- the microtheory in which the comment is assertedarg1Isa
- the isa type constraint for the argumentarg1Genl
- the genls type constraint for the argument if it is a collectionresultIsa
- the isa object represented by this reified termresultGenl
- the genls object represented by this reified termpublic CycFort createCollectionDenotingBinaryFunction(java.lang.String binaryFunction, java.lang.String comment, java.lang.String commentMt, java.lang.String arg1IsaName, java.lang.String arg2IsaName, java.lang.String arg1GenlsName, java.lang.String arg2GenlsName, java.lang.String resultIsa) throws java.io.IOException, CycApiException
binaryFunction
- the new collectioncomment
- the comment for the binary functioncommentMt
- the microtheory in which the comment is assertedisa
- the collection of which the new binary function is an instancearg1Isa
- the kind of objects this binary function takes as its first
argument, or nullarg2Isa
- the kind of objects this binary function takes as its second
argument, or nullarg1Genls
- the general collections this binary function takes as its first
argument, or nullarg2Genls
- the general collections this binary function takes as its second
argument, or nullresultIsa
- the kind of object represented by this reified termpublic CycFort createCollectionDenotingBinaryFunction(CycFort binaryFunction, java.lang.String comment, CycFort commentMt, CycFort arg1Isa, CycFort arg2Isa, CycFort arg1Genls, CycFort arg2Genls, CycFort resultIsa) throws java.io.IOException, CycApiException
binaryFunction
- the new collectioncomment
- the comment for the binary functioncommentMt
- the microtheory in which the comment is assertedisa
- the collection of which the new binary function is an instancearg1Isa
- the kind of objects this binary function takes as its first
argument, or nullarg2Isa
- the kind of objects this binary function takes as its first
argument, or nullarg1Genls
- the general collections this binary function takes as its first
argument, or nullarg2Genls
- the general collections this binary function takes as its second
argument, or nullresultIsa
- the kind of object represented by this reified termpublic void assertArgIsa(CycFort relation, int argPosition, CycFort argNIsa) throws java.io.IOException, java.net.UnknownHostException, CycApiException
relation
- the given relationargPosition
- the given argument positionargNIsa
- the argument constraintjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertArg1Genl(CycFort relation, CycFort argGenl) throws java.io.IOException, java.net.UnknownHostException, CycApiException
relation
- the given relationargGenl
- the argument constraintjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertArg2Genl(CycFort relation, CycFort argGenl) throws java.io.IOException, java.net.UnknownHostException, CycApiException
relation
- the given relationargGenl
- the argument constraintjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertArg3Genl(CycFort relation, CycFort argGenl) throws java.io.IOException, java.net.UnknownHostException, CycApiException
relation
- the given relationargGenl
- the argument constraintjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertResultIsa(CycFort denotationalFunction, CycFort resultIsa) throws java.io.IOException, java.net.UnknownHostException, CycApiException
denotationalFunction
- the given denotational functionresultIsa
- the function's isa result constraintjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertResultGenl(CycFort denotationalFunction, CycFort resultGenl) throws java.io.IOException, java.net.UnknownHostException, CycApiException
denotationalFunction
- the given denotational functionresultGenl
- the function's genls result constraintjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic boolean isOpenCyc() throws java.io.IOException, java.net.UnknownHostException
java.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycConstant constantNameCaseCollision(java.lang.String name) throws java.io.IOException, java.net.UnknownHostException, CycApiException
name
- the name used to lookup an existing constantjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic CycList getApplicableBinaryPredicates(CycList kbSubsetCollections) throws java.io.IOException, java.net.UnknownHostException, CycApiException
kbSubSetCollections
- the list of KBSubsetCollectionspublic CycList getGafs(CycFort cycFort, CycList predicates, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termpredicates
- the given list of predicatesmt
- the relevant inference microtheorypublic CycList getGafs(CycFort cycFort, CycFort predicate, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termpredicate
- the given predicatemt
- the relevant inference microtheorypublic CycList getGafs(CycFort cycFort, CycList predicates) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termpredicates
- the given list of predicatespublic CycList getGafs(CycFort cycFort, CycFort predicate) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termpredicate
- the given predicatepublic void assertArg1FormatSingleEntry(CycFort relation) throws java.io.IOException, java.net.UnknownHostException, CycApiException
relation
- the given relationargPosition
- the given argument positionargNIsa
- the argument constraintjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertArgFormat(CycFort relation, int argPosition, CycFort argNFormat) throws java.io.IOException, java.net.UnknownHostException, CycApiException
relation
- the given relationargPosition
- the given argument positionargNFormat
- the argument format constraintjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void assertSynonymousExternalConcept(java.lang.String cycTerm, java.lang.String informationSource, java.lang.String externalConcept, java.lang.String mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycTerm
- the mapped Cyc terminformationSource
- the external indexed information sourceexternalConcept
- the external concept within the information sourcemt
- the assertion microtheorypublic void assertSynonymousExternalConcept(CycFort cycTerm, CycFort informationSource, java.lang.String externalConcept, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycTerm
- the mapped Cyc terminformationSource
- the external indexed information sourceexternalConcept
- the external concept within the information sourcemt
- the assertion microtheorypublic CycList getSynonymousExternalConcepts(java.lang.String informationSource, java.lang.String mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
informationSource
- the external indexed information sourcemt
- the assertion microtheorypublic CycList getSynonymousExternalConcepts(CycFort informationSource, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
informationSource
- the external indexed information sourcemt
- the assertion microtheorypublic void assertGenPhraseCountNounSingular(CycFort cycTerm, java.lang.String phrase) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycTerm
- the Cyc termphrase
- the preferred phrase for this termpublic void assertGenPhraseCountNounPlural(CycFort cycTerm, java.lang.String phrase) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycTerm
- the Cyc termphrase
- the preferred phrase for this termpublic CycList getNameStrings(CycFort cycFort, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given FORTmt
- the relevant inference microtheoryjava.net.UnknownHostException
- if cyc server host not found on the networkjava.io.IOException
- if a data communication error occursCycApiException
- if the api request results in a cyc server errorpublic void ensureWffConstraints(java.lang.String cycFort, java.lang.String isaConstraintName, java.lang.String genlsConstraintName) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termisaConstraintName
- the given isa type constraint, or nullgenlsConstraintName
- the given genls type constraint, or nullpublic void ensureWffConstraints(CycFort cycFort, CycFort isaConstraint, CycFort genlsConstraint) throws java.io.IOException, java.net.UnknownHostException, CycApiException
cycFort
- the given termisaConstraint
- the given isa type constraint, or nullgenlsConstraint
- the given genls type constraint, or nullpublic CycList getArg2s(java.lang.String predicate, java.lang.String arg1, java.lang.String mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicatearg1
- the given arg1 termmt
- the inference microtheorypublic CycList getArg2s(CycFort predicate, CycFort arg1, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicatearg1
- the given arg1 termmt
- the inference microtheorypublic java.lang.Object getArg2(java.lang.String predicate, java.lang.String arg1, java.lang.String mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicatearg1
- the given arg1 termmt
- the inference microtheorypublic java.lang.Object getArg2(java.lang.String predicate, CycFort arg1, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicatearg1
- the given arg1 termmt
- the inference microtheorypublic java.lang.Object getArg2(CycFort predicate, CycFort arg1, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicatearg1
- the given arg1 termmt
- the inference microtheorypublic CycList getArg1s(java.lang.String predicate, java.lang.String arg2, java.lang.String mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicatearg2
- the given arg2 termmt
- the inference microtheorypublic CycList getArg1s(CycFort predicate, CycFort arg2, CycFort mt) throws java.io.IOException, java.net.UnknownHostException, CycApiException
predicate
- the given predicatearg2
- the given arg2 termmt
- the inference microtheory
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |