Index

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

C

caddr() - Method in class com.articulate.sigma.Formula

Returns the LISP 'caddr' of the formula, which is the third list element of the formula.

cadr() - Method in class com.articulate.sigma.Formula

Returns the LISP 'cadr' (the second list element) of the formula.

capterms - Variable in class com.articulate.sigma.KB

A Map from all uppercase terms to their possibly mixed case original versions

car() - Method in class com.articulate.sigma.Formula

car() - Method in class com.articulate.sigma.FormulaAST

This is a non-destructive operation that creates just a new FormulaAST with the Term member, but no caches or auxiliary information, which likely wouldn't be accurate if it were copied.

carAsFormula() - Method in class com.articulate.sigma.Formula

Returns the LISP 'car' of the formula as a new Formula, if possible, else returns null.

CASC - Enum constant in enum class com.articulate.sigma.tp.Vampire.ModeType

caseMap - Variable in class com.articulate.sigma.wordNet.WordNet

CaseRole - Enum Class in com.articulate.sigma.nlg

Identifies specific Sumo CaseRole objects.

categories - Variable in class com.articulate.sigma.dataProc.Infrastructure

Category() - Constructor for class com.articulate.sigma.dataProc.Infrastructure.Category

catFiles(String, String, String) - Method in class com.articulate.sigma.tp.LEO

Read in two files and write their contents to a new file

cause(Throwable) - Method in class com.articulate.sigma.tp.ATPException.Builder

CCheck - Class in com.articulate.sigma

CCheck(KB, String) - Constructor for class com.articulate.sigma.CCheck

CCheck(KB, String, String, int) - Constructor for class com.articulate.sigma.CCheck

CCheck(KB, String, String, String, String, String, String, int) - Constructor for class com.articulate.sigma.CCheck

CCheckManager - Class in com.articulate.sigma

This class manages the threads that run consistency checks for the different KBs in the system.

CCheckManager() - Constructor for class com.articulate.sigma.CCheckManager

CCheckManager.CCheckStatus - Enum Class in com.articulate.sigma

ccheckQueue keeps track of the KBs that are currently being checked.

ccheckResults(String) - Method in class com.articulate.sigma.CCheckManager

This method returns full or partial results of the consistency checks.

ccheckResults(String) - Static method in class com.articulate.sigma.KBmanager

ccheckStatus(String) - Method in class com.articulate.sigma.CCheckManager

Returns the current status of a KB

ccheckStatus(String) - Static method in class com.articulate.sigma.KBmanager

cddr() - Method in class com.articulate.sigma.Formula

Returns the LISP 'cddr' of the formula - the rest of the rest, or the list minus its first two elements.

cddrAsFormula() - Method in class com.articulate.sigma.Formula

Returns the LISP 'cddr' of the formula as a new Formula, if possible, else returns null.

cdr() - Method in class com.articulate.sigma.Formula

Return the LISP 'cdr' of the formula - the rest of a list minus its first element.

cdr() - Method in class com.articulate.sigma.FormulaAST

This is a non-destructive operation that creates just a new FormulaAST with the Term member, but no caches or auxiliary information, which likely wouldn't be accurate if it were copied.

cdrAsFormula() - Method in class com.articulate.sigma.Formula

Returns the LISP 'cdr' of the formula as a new Formula, if possible, else returns null.

CEILINGFN - Static variable in class com.articulate.sigma.Formula

celt - Variable in class com.articulate.sigma.KB

The instance of the CELT process.

CELT - Class in com.articulate.sigma

Class for invoking CELT.

CELT() - Constructor for class com.articulate.sigma.CELT

Create a running instance of CELT.

CELTTestSuite - Class in com.articulate.sigma

A framework for testing CELT.

CELTTestSuite() - Constructor for class com.articulate.sigma.CELTTestSuite

chainCode - Variable in class com.articulate.sigma.dataProc.Hotel

changeUserPassword(String, String) - Method in class com.articulate.sigma.PasswordService

changeUserRole(String) - Method in class com.articulate.sigma.PasswordService

chat(String, String, Map<String, Object>, boolean) - Method in class com.articulate.sigma.nlg.OllamaClient

check(String) - Static method in class com.articulate.sigma.KifFileChecker

Check KIF content without a filename.

check(String) - Static method in class com.articulate.sigma.TPTPFileChecker

Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.

check(String, String) - Static method in class com.articulate.sigma.KifFileChecker

Runs syntax and semantic checks on KIF content, returning diagnostics.

check(String, String) - Static method in class com.articulate.sigma.TPTPFileChecker

Run syntax invalid input: '&' warning checks on TPTP content using tptp4X, returning a list of ErrRec diagnostics.

checkArity() - Method in class com.articulate.sigma.KB

Arity errors should already have been trapped in addConstituent() unless a relation is used before it is defined.

checkDisjoint(KB, String, String) - Method in class com.articulate.sigma.KBcache

Check if given classes are disjoint

checkDisjoint(KB, Set<String>) - Method in class com.articulate.sigma.KBcache

check if there are any two types in typeSet are disjoint or not;

CheckExistentialInAntecedent(String, Formula, String, int, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Check for existential quantifiers in antecedents (illegal).

CheckFormulaPreprocess(String, KB, Formula, int, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Run FormulaPreprocessor and record errors/warnings.

checkin - Variable in class com.articulate.sigma.dataProc.Hotel

CheckIsValidFormula(String, Formula, int, KB, String, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Check if the formula is structurally valid in the KB.

checkOllamaHealth() - Static method in class com.articulate.sigma.nlg.LanguageFormatter

CheckOrphanVars(String, Formula, String, int, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Check for disconnected variable groups

checkout - Variable in class com.articulate.sigma.dataProc.Hotel

CheckQuantifiedVariableNotInStatement(String, Formula, String, int, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Check for quantified variables that do not appear in the statement body.

CheckSingleUseVariables(String, Formula, String, int, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Check for variables that appear only once in a formula.

checkSite(String, String) - Static method in class com.articulate.sigma.SigmaCheck

CheckSUMOtoTFAformErrors(String, KB, Formula, int, Set<Formula>, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Correct invocation of SUMO→TFA translation errors.

CheckSyntaxErrors(String, String, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Check for syntax errors during parsing.

CheckTermsBelowEntity(String, Formula, int, String, KB, Set<String>, Set<String>, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Check that all terms are below Entity in the KB hierarchy.

CheckUnquantInConsequent(String, Formula, String, int, List<ErrRec>) - Static method in class com.articulate.sigma.KifFileChecker

Check for unquantified variables appearing in the consequent of implications.

checkURLs(KB) - Static method in class com.articulate.sigma.KButilities

checkWithAntlr(String, String) - Static method in class com.articulate.sigma.TPTPFileChecker

Parse TPTP text using the ANTLR-based TPTPVisitor.

checkWordsToSenses() - Static method in class com.articulate.sigma.wordNet.WordNet

childOf(String, String) - Method in class com.articulate.sigma.KB

Determine whether a particular class or instance "child" is a child of the given "parent".

childOfP(String, String, String) - Method in class com.articulate.sigma.KBcache

Find whether the given child has the given parent for the given transitive relation.

children - Variable in class com.articulate.sigma.KBcache

All the cached "child" relations of all transitive relations meaning the relations between all first arguments and the transitive closure of second arguments.

children - Variable in class com.articulate.sigma.TaxoNode

childrenExpanded - Variable in class com.articulate.sigma.TaxoNode

childrenOfDisjointParents(KB) - Static method in class com.articulate.sigma.Diagnostics

Return a list of terms that have parents which are disjoint.

citation(String, String, KB) - Static method in class com.articulate.sigma.trans.TPTPutil

Is there a citation as a containsFormula relation for this axiom?

city - Variable in class com.articulate.sigma.dataProc.Hotel

CLASS_SYMBOL_SUFFIX - Static variable in class com.articulate.sigma.Formula

Clausifier - Class in com.articulate.sigma

The code in the section below implements an algorithm for translating SUO-KIF expressions to clausal form.

Clausifier(String) - Constructor for class com.articulate.sigma.Clausifier

clausify() - Method in class com.articulate.sigma.Clausifier

This method converts the SUO-KIF Formula to a version of clausal (resolution, conjunctive normal) form with Skolem functions, following the procedure described in Logical Foundations of Artificial Intelligence, by Michael Genesereth and Nils Nilsson, 1987, pp.

clausify(Formula) - Static method in class com.articulate.sigma.Clausifier

convenience method

clausifyWithRenameInfo() - Method in class com.articulate.sigma.Clausifier

Note this returns a List of mixed types! Fixme!

clean(List<List<String>>) - Method in class com.articulate.sigma.trans.DB2KIF

Check values in a spreadsheet format where the columns have been mapped to relations and there is a set of good and bad values compiled for the arguments to those relations.

clearAlphaList() - Method in class com.articulate.sigma.DocGen

Clears the alphaList for this DocGen object.

clearCaches() - Method in class com.articulate.sigma.KBcache

Experimental: Utility method to clear the KBcache

clearDocGenControlBits() - Method in class com.articulate.sigma.DocGen

Sets to 0 the int value that represents the bit values used to guide aspects of the document generation process for this DocGen instance.

clearErrors() - Static method in class com.articulate.sigma.KButilities

clearFormatMaps() - Method in class com.articulate.sigma.KB

Clears all loaded format and termFormat maps, for all languages.

clearProofFile(List<String>) - Static method in class com.articulate.sigma.trans.TPTPutil

Cleans and normalizes the contents of a TPTP proof file.

clearTheClausalForm() - Method in class com.articulate.sigma.Formula

This method clears the list of clauses that together constitute the resolution form of this Formula, and can be used in preparation for recomputing the clauses.

ClientHttpRequest - Class in com.articulate.sigma

Title: Client HTTP Request class

ClientHttpRequest(String) - Constructor for class com.articulate.sigma.ClientHttpRequest

Creates a new multipart POST HTTP request for a specified URL string

ClientHttpRequest(URL) - Constructor for class com.articulate.sigma.ClientHttpRequest

Creates a new multipart POST HTTP request for a specified URL

ClientHttpRequest(URLConnection) - Constructor for class com.articulate.sigma.ClientHttpRequest

Creates a new multipart POST HTTP request on a freshly opened URLConnection

CLIMapParser - Class in com.articulate.sigma

A simple command-line argument parser that handles options in any order and returns them as a map.

CLIMapParser() - Constructor for class com.articulate.sigma.CLIMapParser

cmdLineTest(String) - Method in class com.articulate.sigma.InferenceTestSuite

Test method

CNF - Variable in class com.articulate.sigma.tp.GenPropFormulas

codedIdentifiers - Variable in class com.articulate.sigma.DocGen

A Set of Strings.

codeToLanguage(String) - Static method in class com.articulate.sigma.wordNet.OMWordnet

collapseConnectives(Formula) - Static method in class com.articulate.sigma.trans.TPTP2SUMO

Remove binary cascading or's, xor's and and's and consolidate as single connectives with more arguments.

collapseNode(String) - Static method in class com.articulate.sigma.TaxoModel

Remove the children of this node.Called as the result of an invalid input: '&contract'=term parameter sent to TreeView.jsp

collapseParentNodes(String) - Static method in class com.articulate.sigma.TaxoModel

Remove the parents of this node.

collapseSenses() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

collectAllVariables() - Method in class com.articulate.sigma.Formula

Collects all variables in this Formula.

collectAllVariablesOrdered() - Method in class com.articulate.sigma.Formula

Collects all variables in this Formula in lexical order.

collectArgFromFormulas(int, List<Formula>) - Static method in class com.articulate.sigma.KBcache

Get the HashSet of the given arguments from an ArrayList of Formulas.

collectCountedWordSenses(String) - Method in class com.articulate.sigma.wordNet.WordNet

Collect all the synsets that represent the best guess at meanings for all the words in a sentence.

collectDomains() - Method in class com.articulate.sigma.KBcache

Build the argument type list for every relation.

collectPredicates() - Method in class com.articulate.sigma.KB

collectQuantifiedUnquantifiedVariablesRecurse(Formula, Map<String, Boolean>, Set<String>, Set<String>) - Method in class com.articulate.sigma.Formula

Collect quantified and unquantified variables recursively

collectQuantifiedVariables() - Method in class com.articulate.sigma.Formula

Collects all quantified variables in this Formula.

collectSourceAxioms(KB, TPTP3ProofProcessor) - Static method in class com.articulate.sigma.KB

Attempt to provide guidance on the likely cause of a contradiction by removing the axioms involved in a contradiction one-by-one and trying again.

collectSUMOFromFile(String) - Static method in class com.articulate.sigma.wordNet.WSD

Extract SUMO terms from a file assuming one sentence per line

collectSUMOFromString(String) - Static method in class com.articulate.sigma.wordNet.WSD

Extract SUMO terms from a file assuming one sentence per line

collectSUMOFromWords(String) - Static method in class com.articulate.sigma.wordNet.WSD

Collect all the SUMO terms that are found in the sentence.

collectTerms() - Method in class com.articulate.sigma.Formula

Collect all the terms in a formula

collectUnquantifiedVariables() - Method in class com.articulate.sigma.Formula

Collect all the unquantified variables in a formula

collectVariables() - Method in class com.articulate.sigma.Formula

Collects all variables in this Formula.

collectWordSenses(String) - Static method in class com.articulate.sigma.wordNet.WSD

Collect all the synsets that represent the best guess at meanings for all the words in a text given a larger linguistic context.

column2Rel - Static variable in class com.articulate.sigma.trans.DB2KIF

columnCount() - Method in class com.articulate.sigma.Graph

columnList - Variable in class com.articulate.sigma.Graph

com.articulate.sigma - package com.articulate.sigma

Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.

com.articulate.sigma.dataProc - package com.articulate.sigma.dataProc

com.articulate.sigma.mlpipeline - package com.articulate.sigma.mlpipeline

com.articulate.sigma.nlg - package com.articulate.sigma.nlg

Provides classes for natural language generation in the Sigma knowledge engineering environment version developed at Articulate Software Inc.

com.articulate.sigma.parsing - package com.articulate.sigma.parsing

com.articulate.sigma.tp - package com.articulate.sigma.tp

com.articulate.sigma.trans - package com.articulate.sigma.trans

Provides classes for translation to other logical languages in the Sigma knowledge engineering environment version developed at Articulate Software Inc.

com.articulate.sigma.VerbNet - package com.articulate.sigma.VerbNet

com.articulate.sigma.wordNet - package com.articulate.sigma.wordNet

Provides classes for handling Wordnets.

commandLine(String[]) - Method in class com.articulate.sigma.tp.ATPException.Builder

commandLine(String[]) - Method in class com.articulate.sigma.tp.ATPResult.Builder

commandLine(List<String>) - Method in class com.articulate.sigma.tp.ATPException.Builder

commandLine(List<String>) - Method in class com.articulate.sigma.tp.ATPResult.Builder

comment - Variable in class com.articulate.sigma.Formula

commentChar(int) - Method in class com.articulate.sigma.StreamTokenizer_s

Specified that the character argument starts a single-line comment.

commentSentiment(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

compare(Object, Object) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator

compare(Object, Object) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB.OrderedFormulae

compareFiles(InferenceTestSuite.InfTestData) - Method in class com.articulate.sigma.InferenceTestSuite

Check if the required SUO-KIF file set is loaded and return false and print an error if not.

compareTermDepth(String, String) - Method in class com.articulate.sigma.KB

Analogous to compareTo(), return -1,0 or 1 depending on whether the first term is "smaller", equal to or "greater" than the second, respectively.

compareTo(Object) - Method in class com.articulate.sigma.Formula

Implement the Comparable interface by defining the compareTo method.

compareTo(Object) - Method in class com.articulate.sigma.KButilities.GraphArc

compareTo(Object) - Method in class com.articulate.sigma.nlg.SumoProcessEntityProperty

Allows sortable collections of these objects.

COMPARISON_OPERATORS - Static variable in class com.articulate.sigma.Formula

SUO-KIF mathematical comparison predicates.

compileRegexPatterns() - Method in class com.articulate.sigma.wordNet.WordNet

This method compiles all of the regular expression pattern strings in regexPatternStrings and puts the resulting compiled Pattern objects in the Pattern[] regexPatterns.

complexArgumentsToArrayList(int) - Method in class com.articulate.sigma.Formula

Return all the arguments in a formula as a list, starting at the given argument.

complexArgumentsToArrayListString(int) - Method in class com.articulate.sigma.Formula

Return all the arguments in a formula as a list, starting at the given argument.

composeSuffix(String, String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform

if the operator already has a suffix, revise it with the new suffix in the case where the new argument type is more specific

computeConceptSentiment(String) - Static method in class com.articulate.sigma.DB

Associate individual concepts with a sentiment score

computeConceptSentimentFromFile(String) - Static method in class com.articulate.sigma.DB

Associate individual concepts with a sentiment score

computeSentiment(String) - Static method in class com.articulate.sigma.DB

Calculate an integer sentiment value for a string of words.

computeSentimentForWord(String) - Static method in class com.articulate.sigma.DB

Find the sentiment value for a given word, after finding the root form of the word.

computeVariableTypes(Formula, KB) - Method in class com.articulate.sigma.FormulaPreprocessor

This method returns a HashMap that maps each String variable in this the names of types (classes) of which the variable must be an instance or the names of types of which the variable must be a subclass.

concatFiles(String, String, String) - Method in class com.articulate.sigma.tp.Vampire

Read in two files and write their contents to a new file

conceptSentiment - Variable in class com.articulate.sigma.dataProc.Hotel

CONFIG_FILE - Static variable in class com.articulate.sigma.KBmanager

CONFIG_KEYS - Static variable in class com.articulate.sigma.KBmanager

Master key cache for the config

conn - Static variable in class com.articulate.sigma.dataProc.Infrastructure

conn - Variable in class com.articulate.sigma.PasswordService

conn - Variable in class com.articulate.sigma.trans.KIF2DB

connect() - Method in class com.articulate.sigma.ClientHttpRequest

cons(Formula) - Method in class com.articulate.sigma.Formula

cons(String) - Method in class com.articulate.sigma.Formula

Returns a new Formula which is the result of 'consing' a String into this Formula, similar to the LISP procedure of the same name.

consequent(Formula) - Static method in class com.articulate.sigma.FormulaUtil

Get the consequent of an implication.

consequentTerms - Variable in class com.articulate.sigma.parsing.FormulaAST

constant - Variable in class com.articulate.sigma.parsing.FormulaAST.ArgStruct

Constant() - Constructor for class com.articulate.sigma.FormulaAST.Constant

constants - Variable in class com.articulate.sigma.parsing.FormulaAST

constituents - Variable in class com.articulate.sigma.KB

An ArrayList of Strings that are the full canonical pathnames of the files that comprise the KB.

constrainPair(String, String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform

Pick the most specific number type that is a TFF type or superclass

constrainTerm(String, String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform

Constrain a type based on a second type.

constrainVars(String, String, FormulaAST) - Method in class com.articulate.sigma.parsing.VarTypes

Constrain variables found in the argument list of a predicate variable where the relation 'rel' will be substituted

containsFalse - Variable in class com.articulate.sigma.trans.TPTP3ProofProcessor

containsFile(String) - Method in class com.articulate.sigma.KB

Takes a filename without path and returns true if it occurs in the KB.

containsFormula(String) - Method in class com.articulate.sigma.KB

Takes a formula string and returns true if the corresponding Formula occurs in the KB.

containsNumber - Variable in class com.articulate.sigma.parsing.FormulaAST

containsProcess(Collection<String>, KB) - Static method in class com.articulate.sigma.nlg.NLGUtils

Return true if the given list includes "Process", or if one of its elements is a subclass of Process.

containsProof(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor

Determine if output contains a proof.

containsRE(String, boolean) - Method in class com.articulate.sigma.KB

Takes a term (interpreted as a Regular Expression) and returns true if any term in the KB has a match with the RE.

containsTerm(String) - Method in class com.articulate.sigma.KB

Takes a term and returns true if the term occurs in the KB.

containsWord(String) - Method in class com.articulate.sigma.wordNet.WordNet

Does WordNet contain the given word.

containsWord(String, int) - Method in class com.articulate.sigma.wordNet.WordNet

Does WordNet contain the given word.

containsWordIgnoreCase(String) - Method in class com.articulate.sigma.wordNet.WordNet

Does WordNet contain the given word, ignoring case.

contents - Variable in class com.articulate.sigma.BasicXMLelement

The contents between the start and end of this tag

contextDestroyed(ServletContextEvent) - Method in class com.articulate.sigma.KButilities

contextDestroyed(ServletContextEvent) - Method in class com.articulate.sigma.PasswordService

contextInitialized(ServletContextEvent) - Method in class com.articulate.sigma.KButilities

contextInitialized(ServletContextEvent) - Method in class com.articulate.sigma.PasswordService

CONTRA - Enum constant in enum class com.articulate.sigma.tp.GenPropFormulas.SZSonto

contradictionHelp(KB, String[], int) - Static method in class com.articulate.sigma.KB

Attempt to provide guidance on the likely cause of a contradiction by removing the axioms involved in a contradiction one-by-one and trying again.

CONTRADICTORY - Enum constant in enum class com.articulate.sigma.tp.SZSStatus

contraResults - Variable in class com.articulate.sigma.tp.GenPropFormulas

convertFromReservedCharacters(String) - Static method in class com.articulate.sigma.SimpleDOMParser

Convert reserved characters to ampersand character elements.

convertJSON2Hotel(Hotel.JSONElement) - Static method in class com.articulate.sigma.dataProc.Hotel

convertRowStringsToLists(List<String>, char) - Method in class com.articulate.sigma.DocGen

Converts a List of char-delimited Strings to a List of Lists (i.e., an array) representing a spreadsheet.

convertTermList(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

Convert a list of Terms in the format "invalid input: '&'%term1 invalid input: '&'%term2" to an ArrayList of bare term Strings

convertToReservedCharacters(String) - Static method in class com.articulate.sigma.SimpleDOMParser

Convert ampersand character elements to reserved characters.

convertVerbFrameNumbersToFrames(List<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

Convert verb frame indexes as Strings into actual vrb frame strings.

convertWordNetPointer(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

convertYAGO(String, String) - Static method in class com.articulate.sigma.Mapping

Convert a YAGO file into KIF

copy() - Method in class com.articulate.sigma.Formula

Copy the Formula.

copyFile(File, File) - Static method in class com.articulate.sigma.KBmanager

Copies an XML configuration file to the File out location.

copyFile(String) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB

copyNewPredFromVariableArity(String, String, int) - Method in class com.articulate.sigma.KBcache

Copy all relevant information from a VariableArityRelation to a new predicate that is a particular fixed arity.

correctValences() - Method in class com.articulate.sigma.KBcache

since domains are collected before we know the instances of VariableArityRelation we need to go back and correct valences

count - Static variable in class com.articulate.sigma.KIF

count - Static variable in class com.articulate.sigma.KIFAST

A numeric constant denoting normal parse mode, in which syntax constraints are enforced.

countDelimiters(String, char) - Method in class com.articulate.sigma.DocGen

Counts the number of field delimiters in line and returns the count, ignoring delimiters that are inside Strings.

COUNTER_SATISFIABLE - Enum constant in enum class com.articulate.sigma.tp.SZSStatus

countFormulaTypes(KB) - Static method in class com.articulate.sigma.KButilities

Get count of all the different kinds of formulas as to their logical expressivity

countMappings() - Static method in class com.articulate.sigma.wordNet.WNdiagnostics

Create an HTML-formatted table that counts WordNet-SUMO mapping types.

countOccurrences(String, String) - Static method in class com.articulate.sigma.Diagnostics

Counts how many times a substring appears in a string.

countProcesses(KB) - Static method in class com.articulate.sigma.KButilities

countRelations(KB) - Static method in class com.articulate.sigma.KButilities

country - Variable in class com.articulate.sigma.dataProc.Hotel

countStringWords(KB) - Static method in class com.articulate.sigma.KButilities

Count the number of words in all the strings in a knowledge base

countUserAssertionFormulasInMemory() - Method in class com.articulate.sigma.KB

Count how many Formula objects currently in memory came from the per-test user assertions file (e.g.

crashed(String, int, List<String>, List<String>) - Static method in class com.articulate.sigma.tp.ATPResult

Create an ATPResult for a crashed prover

CRASHED - Enum constant in enum class com.articulate.sigma.tp.SZSStatus

createAdmin() - Method in class com.articulate.sigma.PasswordService

Creates an admin user using the console for user input

createAllStatements(KB, String, String, int) - Method in class com.articulate.sigma.DocGen

Create an HTML page that lists information about a particular term, with a limit on how many statements of each type should be displayed.

createAlphaList(KB) - Method in class com.articulate.sigma.DocGen

createBelongsToClass(KB, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the Belongs to Class section of an HTML page displaying the partial definition of term in kb.

createBelongsToClass(KB, String, String, String, Set<String>) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the Belongs to Class section of an HTML page displaying the partial definition of term in kb.

createBoundedSizeGraph(KB, String, String, int, boolean, String) - Method in class com.articulate.sigma.Graph

Create a graph of a bounded size by incrementing the number of levels above and below until the limit is reached or there are no more levels in the knowledge base from the given term and relation.

createChildren(KB, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the Children field of an HTML page displaying the definition of term in kb.

createComment(String) - Static method in class com.articulate.sigma.Formula

the textual version of the formula

createComment(String) - Static method in class com.articulate.sigma.parsing.FormulaAST

the textual version of the formula

createComments(KB, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing the HTML markup for the Comment field in a page displaying the definition of term in kb.

createCompositeComponentLine(KB, String, String, int, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for a single table row in the Composite Component section of an HTML page displaying the partial definition of term in kb.

createCompositePage(KB, String, String, Map<String, Map<String, List<String>>>, int, String, String) - Method in class com.articulate.sigma.DocGen

Create an HTML page that lists information about a particular composite term, which is a representation of an XML structure.

createCompositeRecurse(KB, String, boolean, int) - Method in class com.articulate.sigma.DocGen

Recursively computes and then returns a List that constitutes the graph containing those XML elements and attributes syntactically subordinate to term in kb.

createContainingCompositeComponentLine(KB, String, String, String, int, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for a row displaying a contained component in an HTML page displaying the partial definition of instance in kb.

createDB() - Static method in class com.articulate.sigma.User

Create a database with columns like this class

createDisplayNames(KB, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the Display Labels field of an HTML page displaying statements about term in kb.

createDocs(KB, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String consisting of HTML markup for a documentation String for term obtained from kb and indexed by language.

createDotGraph(KB, String, String, int, int, int, String, String) - Method in class com.articulate.sigma.Graph

Create a ArrayList with a set of terms comprising a hierarchy in a format suitable for GraphViz' input format http://www.graphviz.org.

createFormPage(KB, String, Formula) - Static method in class com.articulate.sigma.Editor

Create an HTML form for editing facts about a term.

createFormula(KB, String, String, int, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for a SUO-KIF Formula.

createFormulaMatchMemoMapKey(String, String) - Static method in class com.articulate.sigma.FormulaUtil

Factory method for the memo map

createFromKBFile(String) - Method in class com.articulate.sigma.InferenceEngine.EngineFactory

createFromKBFile(String) - Method in class com.articulate.sigma.SInE.SInEFactory

createGraph(KB, String, String, int, int, int, boolean, String) - Method in class com.articulate.sigma.Graph

Create an ArrayList with a set of terms comprising a hierarchy Each term String will be prefixed with an appropriate number of indentChars.

createHasSameComponents(KB, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the Has Same Components As field of an HTML page displaying the definition of term in kb.

createHrefStart() - Static method in class com.articulate.sigma.HTMLformatter

Create the HTML for a link, taking care of http/https, hostname and port

createID() - Method in class com.articulate.sigma.Formula

createID() - Method in class com.articulate.sigma.FormulaAST

createInferenceEngine(InferenceEngine.EngineFactory) - Method in class com.articulate.sigma.KB

Creates InferenceEngine and loads all of the constituents into it.

createInstances(KB, String, String, String, List) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the Instances section of an HTML page displaying the definition of term in kb.

createKBHref(String, String) - Static method in class com.articulate.sigma.HTMLformatter

Create the HTML for a kb link.

createKBMenu(String) - Static method in class com.articulate.sigma.HTMLformatter

Create an HTML menu of KB names

createKey(String, boolean, boolean, int, int) - Static method in class com.articulate.sigma.KIF

This routine creates a key that relates a token in a logical statement to the entire statement.

createMenu(String, String, List<String>) - Static method in class com.articulate.sigma.HTMLformatter

Create an HTML menu, given an ArrayList of Strings.

createMenu(String, String, List<String>, String) - Static method in class com.articulate.sigma.HTMLformatter

Create an HTML menu with an ID, given an ArrayList of Strings.

createMultiMenu(String, Map<String, String>) - Static method in class com.articulate.sigma.HTMLformatter

Create an HTML menu with an ID, given an ArrayList of Strings, and possibly multiple selections.

createNumberedMenu(String, String, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter

Create an HTML menu, given an ArrayList of Strings where the value(s) are String representations of int(s) but the displayed menu items are String(s).

createPage(KB, String, String, Map<String, Map<String, List<String>>>, int, String, String) - Method in class com.articulate.sigma.DocGen

Create an HTML page that lists information about a particular term, with a limit on how many statements of each type should be displayed.

createParents(KB, String, String, String, Set) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the Parents field of an HTML page displaying the definition of term in kb.

createProofDotGraph() - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor

************************************************************* Create a proof in a format suitable for GraphViz' input format http://www.graphviz.org/.

createProofDotGraphImage(String) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor

Creates a specified formatted image from a generated *.dot file from GraphViz.

createRelations(KB, String, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the Relations section of an HTML page displaying the definition of term in kb.

createSynonyms(KB, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the synonym field of an HTML page displaying the definition of term in kb.

createUser(String) - Method in class com.articulate.sigma.PasswordService

Creates a new user with role user

createUsingSameComponents(KB, String, String, String) - Method in class com.articulate.sigma.DocGen

Returns a String containing HTML markup for the Composites Using Same Components field of an HTML page displaying the definition of term in kb.

createWithFormulas(Iterable<String>) - Method in class com.articulate.sigma.InferenceEngine.EngineFactory

createWithFormulas(Iterable<String>) - Method in class com.articulate.sigma.SInE.SInEFactory

currency - Variable in class com.articulate.sigma.dataProc.Hotel

CUSTOM - Enum constant in enum class com.articulate.sigma.tp.Vampire.ModeType

CWA - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB

CWAUNA - Class in com.articulate.sigma.trans

CWAUNA() - Constructor for class com.articulate.sigma.trans.CWAUNA

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form