- 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.
- calcDFs() - Method in class com.articulate.sigma.nlp.TFIDF
-
- canon(RuleSet) - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- car() - Method in class com.articulate.sigma.Formula
-
- carAsFormula() - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'car' of the formula as a new Formula, if
possible, else returns null.
- CaseRole - Enum in com.articulate.sigma.nlg
-
Identifies specific Sumo CaseRole objects.
- 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 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.
- cdrAsFormula() - Method in class com.articulate.sigma.Formula
-
Returns the LISP 'cdr' of the formula as a new Formula, if
possible, else returns null.
- CELT - Class in com.articulate.sigma
-
Class for invoking CELT.
- CELT() - Constructor for class com.articulate.sigma.CELT
-
Create a running instance of CELT.
- celt - Variable in class com.articulate.sigma.KB
-
The instance of the CELT process.
- 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.Hotel
-
- changed - Static variable in class com.articulate.sigma.semRewrite.Clausifier
-
- 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, HashSet<String>) - Static method in class com.articulate.sigma.KBcache
-
check if there are any two types in typeSet are disjoint or not;
- checkDisjoint(KB, String, String) - Static method in class com.articulate.sigma.KBcache
-
check if rel1 and rel2 are disjoint
return true if rel1 and rel2 are disjoint; otherwise return false.
- checkin - Variable in class com.articulate.sigma.Hotel
-
- checkout - Variable in class com.articulate.sigma.Hotel
-
- checkRuleSet(RuleSet) - Static method in class com.articulate.sigma.semRewrite.SemRewriteRuleCheck
-
Check the whole Ruleset.
- checkSite(String, String) - Static method in class com.articulate.sigma.SigmaCheck
-
- checkTok(String) - Method in class com.articulate.sigma.semRewrite.Lexer
-
Take a list of expected token types.
- checkTok(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Lexer
-
Take a list of expected token types.
- checkURLs(KB) - Static method in class com.articulate.sigma.KButilities
-
- 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.
- city - Variable in class com.articulate.sigma.Hotel
-
- classSymbolSuffix - Static variable in class com.articulate.sigma.Formula
-
- Clause - Class in com.articulate.sigma.semRewrite
-
- Clause() - Constructor for class com.articulate.sigma.semRewrite.Clause
-
- Clause - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- clause - Variable in class com.articulate.sigma.semRewrite.LHS
-
- clause - Variable in class com.articulate.sigma.semRewrite.Rule
-
- CLAUSE_PARAM - Static variable in class com.articulate.sigma.semRewrite.substitutor.SubstitutionUtil
-
- CLAUSE_SPLITTER - Static variable in class com.articulate.sigma.semRewrite.substitutor.SubstitutionUtil
-
- clauses - Variable in class com.articulate.sigma.semRewrite.CNF
-
- ClauseSubstitutor - Interface in com.articulate.sigma.semRewrite.substitutor
-
- 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
-
- Clausifier - Class in com.articulate.sigma.semRewrite
-
- Clausifier() - Constructor for class com.articulate.sigma.semRewrite.Clausifier
-
- clausify(Formula) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- 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(LHS) - Static method in class com.articulate.sigma.semRewrite.Clausifier
-
- clausify(RuleSet) - Static method in class com.articulate.sigma.semRewrite.Clausifier
-
- clausifyWithRenameInfo() - Method in class com.articulate.sigma.Clausifier
-
Note this returns a List of mixed types! Fixme!
- clear() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
-
- clearAlphaList() - Method in class com.articulate.sigma.DocGen
-
Clears the alphaList for this DocGen object.
- clearBound() - Method in class com.articulate.sigma.semRewrite.Clause
-
Clear the bound flags on each Literal
- clearBound() - Method in class com.articulate.sigma.semRewrite.CNF
-
- 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.
- clearFormatMaps() - Method in class com.articulate.sigma.KB
-
Clears all loaded format and termFormat maps, for all
languages.
- clearPreserve() - Method in class com.articulate.sigma.semRewrite.Clause
-
Clear the preserve flags on each Literal
- clearPreserve() - Method in class com.articulate.sigma.semRewrite.CNF
-
- 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.
- clearTheTptpFormulas() - Method in class com.articulate.sigma.Formula
-
Clears theTptpFormulas if the ArrayList exists, else does
nothing.
- ClientHttpRequest - Class in com.articulate.sigma
-
Title: Client HTTP Request class
- ClientHttpRequest(URLConnection) - Constructor for class com.articulate.sigma.ClientHttpRequest
-
Creates a new multipart POST HTTP request on a freshly opened URLConnection
- ClientHttpRequest(URL) - Constructor for class com.articulate.sigma.ClientHttpRequest
-
Creates a new multipart POST HTTP request for a specified URL
- ClientHttpRequest(String) - Constructor for class com.articulate.sigma.ClientHttpRequest
-
Creates a new multipart POST HTTP request for a specified URL string
- close() - Method in class com.articulate.sigma.Base64.OutputStream
-
Flushes and closes (I think, in the superclass) the stream.
- CloseBracket - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- ClosePar - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- CNF - Class in com.articulate.sigma.semRewrite
-
Conjunctive Normal Form
- CNF() - Constructor for class com.articulate.sigma.semRewrite.CNF
-
- cnf - Variable in class com.articulate.sigma.semRewrite.RHS
-
- cnf - Variable in class com.articulate.sigma.semRewrite.Rule
-
- codedIdentifiers - Variable in class com.articulate.sigma.DocGen
-
A Set of Strings.
- codeToLanguage(String) - Static method in class com.articulate.sigma.OMWordnet
-
- collapseNode(String) - Static method in class com.articulate.sigma.TaxoModel
-
Remove the children of this node.Called as the result of an &contract=term
parameter sent to TreeView.jsp
- collapseParentNodes(String) - Static method in class com.articulate.sigma.TaxoModel
-
Remove the parents of this node.
- collectAllVariables() - Method in class com.articulate.sigma.Formula
-
Collects all variables in this Formula.
- collectArgFromFormulas(int, ArrayList<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
-
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.
- collectExistentiallyQuantifiedVariables() - Method in class com.articulate.sigma.Formula
-
Collects all quantified variables in this Formula.
- collectMultiWord(ArrayList<String>, int, ArrayList<String>) - Method in class com.articulate.sigma.WordNet
-
Find the synset for a multi-word string, if it exists.
- collectPredicates() - Method in class com.articulate.sigma.KB
-
- collectQuantifiedUnquantifiedVariables() - Method in class com.articulate.sigma.Formula
-
A new method to collect all quantified and unquantified variables
in this Formula.
- collectQuantifiedUnquantifiedVariablesRecurse(Formula, HashMap<String, Boolean>, HashSet<String>, HashSet<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.
- collectSUMOFromWords(String) - Static method in class com.articulate.sigma.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.WSD
-
Collect all the synsets that represent the best guess at
meanings for all the words in a text given a larger linguistic
context.
- 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.nlg - package com.articulate.sigma.nlg
-
- com.articulate.sigma.nlp - package com.articulate.sigma.nlp
-
- com.articulate.sigma.nlp.constants - package com.articulate.sigma.nlp.constants
-
- com.articulate.sigma.nlp.pipeline - package com.articulate.sigma.nlp.pipeline
-
- com.articulate.sigma.semRewrite - package com.articulate.sigma.semRewrite
-
- com.articulate.sigma.semRewrite.datesandnumber - package com.articulate.sigma.semRewrite.datesandnumber
-
- com.articulate.sigma.semRewrite.substitutor - package com.articulate.sigma.semRewrite.substitutor
-
- com.articulate.sigma.utils - package com.articulate.sigma.utils
-
- Comma - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- 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.WordNetUtilities
-
Take a file of tabtab and calculate
the average Levenshtein distance for each ID.
- compare(Object, Object) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
-
- compare(Object, Object) - Method in class com.articulate.sigma.SUMOKBtoTPTPKB.OrderedFormulae
-
- compareTo(Object) - Method in class com.articulate.sigma.AVPair
-
- 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.nlg.SumoProcessEntityProperty
-
Allows sortable collections of these objects.
- complexArgumentsToArrayList(int) - Method in class com.articulate.sigma.Formula
-
Return all the arguments in a formula as a list, starting
at the given argument.
- 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.
- computeVariableTypesRecurse(KB, Formula, HashMap<String, HashSet<String>>) - Method in class com.articulate.sigma.FormulaPreprocessor
-
- concatN(String, int) - Static method in class com.articulate.sigma.StringUtil
-
Returns a String formed from n concatenations of input.
- conceptSentiment - Variable in class com.articulate.sigma.Hotel
-
- CONFIG_FILE - Static variable in class com.articulate.sigma.KBmanager
-
- connect() - Method in class com.articulate.sigma.ClientHttpRequest
-
- 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.
- cons(Formula) - Method in class com.articulate.sigma.Formula
-
- 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.
- contains(String) - Method in class com.articulate.sigma.Document
-
- containsFormula(String) - Method in class com.articulate.sigma.KB
-
Takes a formula string and returns true if the corresponding
Formula occurs in the KB.
- containsGroup(String) - Method in interface com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor
-
- containsGroup(String) - Method in class com.articulate.sigma.semRewrite.substitutor.SimpleSubstitutorStorage
-
- containsGroup(String) - Method in class com.articulate.sigma.semRewrite.substitutor.SubstitutorsUnion
-
- containsIndexWord(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
-
- containsNonAsciiChars(String) - Static method in class com.articulate.sigma.StringUtil
-
- 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.
- containsRE(String) - 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.
- containsTimeInfo(List<TimeInfo>, TimeInfo) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateAndNumbersGeneration
-
* Returns true if a timeInfo object is present in the list of timeInfo.
- containsWord(String, int) - Method in class com.articulate.sigma.WordNet
-
Does WordNet contain the given word.
- contents - Variable in class com.articulate.sigma.BasicXMLelement
-
The contents between the start and end of this tag
- context - Variable in class com.articulate.sigma.DependencyConverter.Node
-
- convert(String, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO
-
Convenience routine that calls the main convert() method below
- convert(Reader, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO
-
Convenience routine that calls the main convert() method below
- convert(String, ArrayList<Binding>, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO
-
Convenience routine that calls the main convert() method below
- convert(Reader, ArrayList<Binding>, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO
-
Convenience routine that calls the main convert() method below
- convert(BufferedReader, ArrayList<Binding>, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO
-
Convert a TPTP proof to a SUMO XML-wrapped proof
- 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.Hotel
-
- convertRowStringsToLists(List, 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.WordNetUtilities
-
Convert a list of Terms in the format "&%term1 &%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.
- convertType(TPTPFormula, int, int) - Static method in class com.articulate.sigma.TPTP2SUMO
-
Convert a single annotated TPTP clause to a single XML-wrapped SUMO formula.
- convertType(TPTPFormula, int, int, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO
-
Convert a single annotated TPTP clause to a single SUMO formula, possibly XML-wrapped.
- convertWordNetPointer(String) - Static method in class com.articulate.sigma.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.
- copyBoundFlags(Clause) - Method in class com.articulate.sigma.semRewrite.Clause
-
Copy bound flags to this set of clauses
- copyBoundFlags(CNF) - Method in class com.articulate.sigma.semRewrite.CNF
-
Copy bound flags to this set of clauses
- copyFile(File, File) - Static method in class com.articulate.sigma.KBmanager
-
Read an XML-formatted configuration file.
- copyFile(String) - Method in class com.articulate.sigma.SUMOKBtoTPTPKB
-
- CorefSubstitutor - Class in com.articulate.sigma.nlp
-
- CorefSubstitutor(Annotation) - Constructor for class com.articulate.sigma.nlp.CorefSubstitutor
-
- CorefSubstitutor(String) - Constructor for class com.articulate.sigma.nlp.CorefSubstitutor
-
- count - Static variable in class com.articulate.sigma.KIF
-
- 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.
- countMappings() - Static method in class com.articulate.sigma.WNdiagnostics
-
Create an HTML-formatted table that counts WordNet-SUMO mapping
types.
- countRelations(KB) - Static method in class com.articulate.sigma.KButilities
-
- country - Variable in class com.articulate.sigma.Hotel
-
- 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, 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.
- 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.
- createBoundedSizeGraph(KB, String, String, int, String, 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.
- 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, TreeMap, 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.
- 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, 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/
Generate a GIF from the .dot output with a command like
dot SUMO-graph.dot -Tgif > graph.gif
- 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
-
- createFromKBFile(String) - Method in class com.articulate.sigma.InferenceEngine.EngineFactory
-
- createFromKBFile(String) - Method in class com.articulate.sigma.SInE.SInEFactory
-
- createFromKBFile(String) - Method in class com.articulate.sigma.Vampire.VampireFactory
-
- createGraph(ArrayList<String>) - Method in class com.articulate.sigma.DependencyConverter
-
- createGraph(KB, String, String, int, int, String, 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.
- createID() - Method in class com.articulate.sigma.Formula
-
- 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 single step in a proof.
- createKBMenu(String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML menu of KB names
- createMenu(String, String, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML menu, given an ArrayList of Strings.
- createMenu(String, String, ArrayList<String>, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML menu with an ID, given an ArrayList of Strings.
- createMultiMenu(String, TreeMap<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, TreeMap, 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.
- 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.
- 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
-
- createWithFormulas(Iterable) - Method in class com.articulate.sigma.Vampire.VampireFactory
-
- currency - Variable in class com.articulate.sigma.Hotel
-