G-Index (Sigma API Specification)

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

G

gap - Static variable in class com.articulate.sigma.wordNet.WSD
gatherPredVarRecurse(KB, Formula) - Static method in class com.articulate.sigma.PredVarInst: Get a set of all the predicate variables in the formula.
gatherPredVars(KB, Formula) - Static method in class com.articulate.sigma.PredVarInst: Collect and return all predicate variables for the given formula
gatherRelationConstants() - Method in class com.articulate.sigma.Formula: Returns a HashSet of all atomic KIF Relation constants that occur as Predicates or Functions (argument 0 terms) in this Formula.
gatherRelationsWithArgTypes(KB) - Method in class com.articulate.sigma.Formula: Returns a HashMap in which the keys are the Relation constants gathered from this Formula, and the values are ArrayLists in which the ordinal positions 0 - n are occupied by the names of the corresponding argument types.
GAVE_UP - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
genAllAlphaHTMLDoc(KB) - Static method in class com.articulate.sigma.KButilities: Generate a HTML list of terms and their documentation strings from a file as upper and lowercase individual files so that each file isn't gigantic
genAllDoc(KB, String) - Static method in class com.articulate.sigma.KButilities: Generate a textual list of all documentation strings and write to a file.
genAllHTMLDoc(KB) - Static method in class com.articulate.sigma.KButilities: Generate a HTML list of terms and their documentation strings from a file.
genAllParentList(KB, String) - Static method in class com.articulate.sigma.EditGUI: Get the all parent classes of term.
genClassList(KB, String) - Static method in class com.articulate.sigma.EditGUI: Collect a set of relations in which the type of given term is an argument subclass, and collect the set of possible argument fillers.
genClassPage(KB, String, String) - Static method in class com.articulate.sigma.EditGUI: Generate a set of menus comprising relations that apply to this class i.e.
genDoc(KB, String) - Static method in class com.articulate.sigma.KButilities: Generate a textual list of terms and their documentation strings from a file.
generate(String, String) - Method in class com.articulate.sigma.nlg.OllamaClient: Backwards-compatible convenience wrapper.
generate(String, String, Map<String, Object>, boolean) - Method in class com.articulate.sigma.nlg.OllamaClient: One-shot text generation via /api/generate (no conversation state).
generateAllNL(KB) - Static method in class com.articulate.sigma.KButilities: Generate line pairs of formula and NL paraphrase of formula
generateCNFandLinks(String, String) - Method in class com.articulate.sigma.tp.GenPropFormulas
generateDB(KB) - Method in class com.articulate.sigma.DB: Generate an SQL database from the knowledge base Tables must be defined as instances of invalid input: '&'%DatabaseTable and must have invalid input: '&'%localDocumentation and invalid input: '&'%HasDatabaseColumn relations.
generateDynamicTOCHeader(String) - Method in class com.articulate.sigma.DocGen: Generate an alphabetic HTML list that points to the individual index pages (which collect all terms starting with a particular letter.
generateFOF(KB) - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Generate FOF (First-Order Form) TPTP file for a KB.
generateFormalNaturalLanguage(List<String>, String, boolean) - Method in class com.articulate.sigma.nlg.LanguageFormatter
generateFormalNaturalLanguage(List<String>, String, boolean, LanguageFormatter.RenderMode) - Method in class com.articulate.sigma.nlg.LanguageFormatter
generateFormulas(int, int, int) - Method in class com.articulate.sigma.tp.GenPropFormulas
generateFormulasAndDoc(KB) - Static method in class com.articulate.sigma.KButilities: Find all formulas in which the SUMO term is involved.
generateHTML(KB, String, boolean, String) - Method in class com.articulate.sigma.DocGen: Generate simplified HTML pages for all terms.
generateHtmlDocStart(String) - Method in class com.articulate.sigma.DocGen: Returns a String of HTML markup for the start of a document, using title as the document title String.
generateHtmlFooter(String) - Method in class com.articulate.sigma.DocGen: Returns a String of HTML markup encoding the footer section of an HTML document, and using footerText as the text to be displayed at the bottom of the page.
generateHTMLPages(KB, Map<String, Map<String, List<String>>>, String, String) - Method in class com.articulate.sigma.DocGen
generateHyponymSets(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Generate sets of all hyponymous words for each synset in a file
generateNonRuleKeys(FormulaAST) - Method in class com.articulate.sigma.parsing.SuokifVisitor
generateNounSynsetID() - Method in class com.articulate.sigma.wordNet.WordNet: Generate a new eight digit noun synset ID that doesn't have an existing hash
generateOMWOWLformat(KB) - Static method in class com.articulate.sigma.wordNet.OMWordnet
generateProofSummary(List<String>) - Static method in class com.articulate.sigma.nlg.LanguageFormatter: Generate a natural language summary of a proof using Ollama LLM
generateProperFile(KB, String) - Static method in class com.articulate.sigma.trans.TPTPGenerationManager
generateQList(Formula) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula
generateQList(Formula, Map<String, Set<String>>, Set<String>) - Static method in class com.articulate.sigma.trans.THFnew
generateQListNonModal(Formula, Map<String, Set<String>>, Set<String>) - Static method in class com.articulate.sigma.trans.THFnew
generateRelationList() - Static method in class com.articulate.sigma.KButilities: Note this simply assumes that initial lower case terms are relations.
generateRuleKeys(FormulaAST) - Method in class com.articulate.sigma.parsing.SuokifVisitor
generateSemNetNeighbors(KB, boolean, boolean, boolean, String, int) - Method in class com.articulate.sigma.KButilities
generateSingleHTML(KB, String, boolean) - Method in class com.articulate.sigma.DocGen
generateSingleHTML(KB, String, Map<String, Map<String, List<String>>>, String, boolean) - Method in class com.articulate.sigma.DocGen: Generate a single HTML page showing all terms.
generateSUMOColumns(Hotel, List<String>) - Static method in class com.articulate.sigma.dataProc.Hotel
generateSUMOfromWN() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Generate notional SUMO terms from WordNet.
generateSUMOfromWN(String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Generate notional SUMO terms from WordNet
generateSUMOfromWNsubtree(String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Generate notional SUMO terms from WordNet
generateSUMOHeader(List<Hotel>) - Static method in class com.articulate.sigma.dataProc.Hotel: Collect all possible column names and assign them a number, then sort on that frequency.
generateSynsetID(String) - Method in class com.articulate.sigma.wordNet.WordNet: Generate a new 8 digit synset ID that doesn't have an existing hash
generateTocHeader(KB, Map<String, Map<String, List<String>>>, String) - Method in class com.articulate.sigma.DocGen: Generate an alphabetic HTML list that points to the individual index pages (which collect all terms or term formats) starting with a particular letter.
generateTOCPage(KB, String, Map<String, Map<String, List<String>>>, String) - Method in class com.articulate.sigma.DocGen: Generate an HTML page that lists term name and its documentation
generateTPTPTestAssertions() - Static method in class com.articulate.sigma.KButilities
generateVerbSynsetID() - Method in class com.articulate.sigma.wordNet.WordNet: Generate a new eight digit verb synset ID that doesn't have an existing hash
genImmedParentList(KB, String) - Static method in class com.articulate.sigma.EditGUI: Get the just the immediate parent classes of a term
genInstList(KB, String) - Static method in class com.articulate.sigma.EditGUI: Collect a set of relations in which the type of given term is an argument instance type, and collect the set of possible argument fillers.
genInstPage(KB, String, String) - Static method in class com.articulate.sigma.EditGUI: Generate fields for an HTML form that allow a user to assert statements by using menus to set parameters that are arguments to relations.
GenPropFormulas - Class in com.articulate.sigma.tp
GenPropFormulas() - Constructor for class com.articulate.sigma.tp.GenPropFormulas: constructor
GenPropFormulas(String, String, GenPropFormulas, GenPropFormulas) - Constructor for class com.articulate.sigma.tp.GenPropFormulas: constructor
GenPropFormulas.SZSonto - Enum Class in com.articulate.sigma.tp
genRelPage(KB, String) - Method in class com.articulate.sigma.EditGUI
genSpecificTermDoc(KB, String, String) - Static method in class com.articulate.sigma.KButilities: Generate a HTML list of terms and their documentation strings from a file.
genSUMO(String, String, String, String) - Method in class com.articulate.sigma.dataProc.Antenna
genSynLinks(String) - Static method in class com.articulate.sigma.KButilities: Generate default synonymousExternalConcept statements for a .tsv
geocode(String) - Static method in class com.articulate.sigma.DB: Call Google's geocode API to convert an address string into a lat/lon, which is returned as an ArrayList of two String elements containing a real-number format latitude and longitude.
geocodeCount - Static variable in class com.articulate.sigma.dataProc.Hotel
geocodeLimit - Static variable in class com.articulate.sigma.dataProc.Hotel
get1RequiredFormulas(Collection<String>) - Method in class com.articulate.sigma.SInE: Returns formulas that are directly required by given symbols (in the sense of requirements map).
getAdminEmails() - Method in class com.articulate.sigma.PasswordService: Return a list of all admin users' email addresses.
getAllFormulasOfTerm(KB, String) - Static method in class com.articulate.sigma.KButilities: Find all formulas in which the SUMO term is involved.
getAllHyponyms(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
getAllHyponymsTransitive(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
getAllInstances(String) - Method in class com.articulate.sigma.KB: This method retrieves all instances of the class named in the input String.
getAllInstances(Set<String>) - Method in class com.articulate.sigma.KB: Deprecated.
getAllNamespaceDelimiters() - Method in class com.articulate.sigma.DocGen: Returns an ArrayList of namespace delimiter Strings gathered from all loaded KBs, obtained by collecting statements formed with the predicate docGenNamespaceDelimiter.
getAllNonRelTerms(KB, List<String>) - Static method in class com.articulate.sigma.HTMLformatter
getAllowableValues(String, String) - Method in class com.articulate.sigma.dataProc.Infrastructure
getAllowableValuesDB(String, String) - Method in class com.articulate.sigma.dataProc.Infrastructure
getAllowedRelations(String) - Method in class com.articulate.sigma.dataProc.Infrastructure
getAllowedRelationsDB(String) - Method in class com.articulate.sigma.dataProc.Infrastructure
getAllRels(Collection<Formula>) - Method in class com.articulate.sigma.trans.KIF2DB
getAllRelTerms(KB, List<String>) - Static method in class com.articulate.sigma.HTMLformatter
getAllRest() - Static method in class com.articulate.sigma.DB
getAllSub(String, String) - Method in class com.articulate.sigma.KB: Deprecated.
getAllSub(String, String) - Method in class com.articulate.sigma.PythonAPI
getAllSuperClasses(Set<String>) - Method in class com.articulate.sigma.KB: This method retrieves the upward transitive closure of all Class names contained in the input set.
getAllVerbFrames(String, List<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get all verb frames corresponding to a synset.
getAlphaAfter(String, int) - Method in class com.articulate.sigma.KB: Get the alphabetically num higher neighbor of this initial term, which must exist in the current KB otherwise an empty string is returned.
getAlphaBefore(String, int) - Method in class com.articulate.sigma.KB: Get the alphabetically num lower neighbor of this initial term, which must exist in the current KB otherwise an empty string is returned.
getAlphaList(KB) - Method in class com.articulate.sigma.DocGen
getAnswerBindings() - Method in class com.articulate.sigma.tp.ATPResult
getArgType(String, int) - Method in class com.articulate.sigma.KB: Returns the type (SUO-KIF Class name) for any argument in argPos position of an assertion formed with the SUO-KIF Relation reln.
getArgTypeClass(String, int) - Method in class com.articulate.sigma.KB: Returns the type (SUO-KIF Class name) for any argument in argPos position of an assertion formed with the SUO-KIF Relation reln.
getArgument(int) - Method in class com.articulate.sigma.Formula: Return the numbered argument of the given formula.
getArity(String) - Method in class com.articulate.sigma.KBcache: An ArrayList utility method
getArticle(String, int, int, String) - Static method in class com.articulate.sigma.nlg.NLGUtils: Generate a linguistic article appropriate to how many times in a paraphrase a particular type has already occurred.
getAttribute(String) - Method in class com.articulate.sigma.SimpleElement
getAttributeNames() - Method in class com.articulate.sigma.SimpleElement
getBad(String, String) - Method in class com.articulate.sigma.trans.DB2KIF: A convenience method that gets the set of values not expected for the given argument to a relation.
getBareSUMOTerm(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Get a SUMO term minus its invalid input: '&'% prefix and one character mapping suffix.
getBareTerm(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Get just the bare SUMO term without prefixes or suffixes
getBestDefaultSense(String) - Static method in class com.articulate.sigma.wordNet.WSD
getBestDefaultSense(String, int) - Static method in class com.articulate.sigma.wordNet.WSD: Get the POS-prefixed synset that represents the best guess at meaning for a word with a given part of speech.
getBestDefaultSenseWithDomain(String, String) - Static method in class com.articulate.sigma.wordNet.WSD: Get the POS-prefixed synset that represents the best guess at meaning for a word.
getBestDefaultSUMO(String) - Static method in class com.articulate.sigma.wordNet.WSD: Get the SUMO term that represents the best guess at meaning for a word.
getBestDefaultSUMOsense(String, int) - Static method in class com.articulate.sigma.wordNet.WSD: Get the SUMO term that represents the best guess at meaning for a word.
getCaseRole(Collection<String>) - Static method in enum class com.articulate.sigma.nlg.CaseRole: From the input list, return the first string that is a valid case role.
getCaseRolesForGrammarPosition(String, SVOElement.SVOGrammarPosition) - Static method in class com.articulate.sigma.nlg.SVOGrammar: Return the case roles most appropriate for a given grammar role and a verb.
getCaseRolesForGrammarRole(String, SVOElement.SVOGrammarPosition) - Method in interface com.articulate.sigma.nlg.VerbProperties: Return a list of case roles for the given verb and the given grammar role.
getCaseRolesForGrammarRole(String, SVOElement.SVOGrammarPosition) - Method in class com.articulate.sigma.nlg.VerbPropertiesSimpleImpl: Return a list of case roles for the given verb and the given grammar role.
getCategories(String) - Method in class com.articulate.sigma.dataProc.Infrastructure
getCategoriesDB(String) - Method in class com.articulate.sigma.dataProc.Infrastructure
getCategory() - Method in enum class com.articulate.sigma.tp.SZSStatus
getChildByFirstTag(String) - Method in class com.articulate.sigma.SimpleElement: Retrieves the first child element by name
getChildClasses(String) - Method in class com.articulate.sigma.KBcache: return child classes for the given cl from subclass expressions.
getChildElements() - Method in class com.articulate.sigma.SimpleElement
getChildInstances(String) - Method in class com.articulate.sigma.KBcache: return child classes for the given cl from subclass expressions.
getChildRelations(String) - Method in class com.articulate.sigma.KBcache: return child relations for the given rel from subrelation expressions.
getChildTerms(String, String) - Method in class com.articulate.sigma.KBcache: return child term for the given cl from rel expressions.
getCitationString(String, String, KB) - Static method in class com.articulate.sigma.trans.TPTPutil: Is there a citation as a containsFormula relation for this axiom?
getClauses() - Method in class com.articulate.sigma.Formula: Returns a List of List objects.
getClientOntologyNames() - Static method in class com.articulate.sigma.DocGen: Returns a List of the names of all client ontologies currently represented in any loaded KB.
getClosestXmlDataType(KB, String) - Method in class com.articulate.sigma.DocGen
getCodedIdentifiers(KB) - Method in class com.articulate.sigma.DocGen: Collects and returns the Set containing all known coded identifiers in kb, including ISO code values stated to be such.
getCommandLine() - Method in exception class com.articulate.sigma.tp.ATPException
getCommandLine() - Method in class com.articulate.sigma.tp.ATPResult
getCommandLineString() - Method in exception class com.articulate.sigma.tp.ATPException
getCommandLineString() - Method in class com.articulate.sigma.tp.ATPResult
getCommonChild(Set<String>) - Method in class com.articulate.sigma.KBcache
getCommonParent(String, String) - Method in class com.articulate.sigma.KBcache
getCompiledPattern(String) - Static method in class com.articulate.sigma.KB: This method returns a compiled regular expression Pattern object indexed by key.
getConfigKey() - Method in exception class com.articulate.sigma.tp.ExecutableNotFoundException
getConsumedCaseRoles() - Method in class com.articulate.sigma.nlg.SVOElement
getContainingComposites(KB, String) - Method in class com.articulate.sigma.DocGen: Travels up the HasXmlElement and HasXmlAttribute relation hierarchies to collect all parents, and returns them in an ArrayList.
getContextualDocumentation(KB, String, List) - Method in class com.articulate.sigma.DocGen: Returns the first documentation String obtained for term in kb, using the List of namespaces or other contextualizing terms in contexts.
getControlBitValue(String) - Static method in class com.articulate.sigma.DocGen
getControlTokens() - Static method in class com.articulate.sigma.DocGen
getCountAxioms() - Method in class com.articulate.sigma.KB: Count the number of formulas in the knowledge base in order to present statistics to the user.
getCountNonLinguisticAxioms(KB) - Static method in class com.articulate.sigma.KButilities
getCountRelations() - Method in class com.articulate.sigma.KB: Count the number of relations in the knowledge base in order to present statistics to the user.
getCountRules() - Method in class com.articulate.sigma.KB: Count the number of rules in the knowledge base in order to present statistics to the user.
getCountTermFormats(KB, String) - Static method in class com.articulate.sigma.KButilities: Get count of all the termFormat strings for the given language
getCountTerms() - Method in class com.articulate.sigma.KB: Count the number of terms in the knowledge base in order to present statistics to the user.
getCountUniqueTermFormats(KB, String) - Static method in class com.articulate.sigma.KButilities: Get count of all the termFormat strings for unique SUMO terms for the given language.
getCssClass() - Method in class com.articulate.sigma.tp.ATPResult: Get CSS class for UI styling based on status
getCssClass() - Method in enum class com.articulate.sigma.tp.SZSStatus: Get CSS class name for UI styling based on category
getCurrProcessMap() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Return the Mapinvalid input: '<'String, SumoProcessCollector> for the top element of the stack.
getCurrStackElement() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Return the topmost stack element
getCurrStackFormulaArgs() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: For the current stack element, iterate through the List and collect their translations into a single list.
getDatatypeTerms(KB, String, int) - Method in class com.articulate.sigma.DocGen
getDate() - Static method in class com.articulate.sigma.HTMLformatter
getDefaultImageFile() - Method in class com.articulate.sigma.DocGen: Returns the base filename plus filename suffix form of the logo image file to be referenced during HTML document generation, else returns an empty String if no value has been set.
getDefaultImageFileMarkup() - Method in class com.articulate.sigma.DocGen: Returns the base filename plus filename suffix form of the logo image file, wrapped in any additional markup required for the intended rendering of the image.
getDefaultNamespace() - Method in class com.articulate.sigma.DocGen: Returns the String denoting the default namespace associated with this DocGen object.
getDefaultPredicateNamespace() - Method in class com.articulate.sigma.DocGen: Returns the String denoting the default namespace for predicates in the ontology associated with this DocGen object.
getDescription() - Method in enum class com.articulate.sigma.tp.SZSStatus
getDetailedMessage() - Method in exception class com.articulate.sigma.tp.ArityException
getDetailedMessage() - Method in exception class com.articulate.sigma.tp.ATPException: Generate a detailed, human-readable error message including context.
getDetailedMessage() - Method in exception class com.articulate.sigma.tp.ExecutableNotFoundException
getDetailedMessage() - Method in exception class com.articulate.sigma.tp.FormulaTranslationException
getDetailedMessage() - Method in exception class com.articulate.sigma.tp.ProverCrashedException
getDetailedMessage() - Method in exception class com.articulate.sigma.tp.ProverTimeoutException
getDirectObject() - Method in class com.articulate.sigma.nlg.Sentence
getDisplayFilter() - Method in class com.articulate.sigma.DocGen: Returns the DisplayFilter object associated with this DocGen object, or null if no DisplayFilter has been set.
getDocGen() - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
getDocGenControlBits() - Method in class com.articulate.sigma.DocGen: Returns the int value that represents the bit values used to guide aspects of the document generation process for this DocGen instance.
getDocGenKey() - Method in class com.articulate.sigma.DocGen: Returns the String key that is the index for this particular DocGen object.
getDocumentation(KB, String) - Static method in class com.articulate.sigma.KButilities
getDocumentation(String) - Method in class com.articulate.sigma.wordNet.WordNet
getDualOperator(String) - Static method in class com.articulate.sigma.Formula: Returns the dual logical operator of op, or null if op is not an operator or has no dual.
getElapsedMs() - Method in exception class com.articulate.sigma.tp.ProverTimeoutException
getElapsedSeconds() - Method in exception class com.articulate.sigma.tp.ProverTimeoutException
getElapsedTimeMs() - Method in class com.articulate.sigma.tp.ATPResult
getElement(String) - Method in class com.articulate.sigma.dataProc.Hotel.JSONElement
getElementValue(String) - Method in class com.articulate.sigma.dataProc.Hotel.JSONElement
getEngineMode() - Method in class com.articulate.sigma.tp.ATPResult
getEngineName() - Method in exception class com.articulate.sigma.tp.ATPException
getEngineName() - Method in class com.articulate.sigma.tp.ATPResult
getEntailments() - Static method in class com.articulate.sigma.wordNet.WordNet
getEntityProperties() - Method in class com.articulate.sigma.nlg.StackElement: Getter and setter for translated field.
getEquivalentSynsetsFromSUMO(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get all synsets corresponding to a SUMO term that are equivalence links
getEquivalentVerbSynsetsFromSUMO(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get all verb synsets corresponding to a SUMO term that are equivalence links
getError() - Method in class com.articulate.sigma.KBmanager: Get the error string for file loading.
getErrorColumn() - Method in exception class com.articulate.sigma.tp.FormulaTranslationException
getErrorDetail() - Method in exception class com.articulate.sigma.tp.FormulaTranslationException
getErrorLine() - Method in exception class com.articulate.sigma.tp.FormulaTranslationException
getErrorLines() - Method in class com.articulate.sigma.tp.ATPResult
getErrors() - Method in class com.articulate.sigma.Formula
getExecutablePath() - Method in exception class com.articulate.sigma.tp.ExecutableNotFoundException
getExecutorService() - Static method in class com.articulate.sigma.KButilities
getExitCode() - Method in class com.articulate.sigma.tp.ATPResult
getExitCode() - Method in exception class com.articulate.sigma.tp.ProverCrashedException
getFactory() - Static method in class com.articulate.sigma.SInE
getFirstContainingClass(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a SUO-KIF constant that denotes the first containing Class of term obtained in kb.
getFirstDatatype(KB, String) - Method in class com.articulate.sigma.DocGen
getFirstGeneralTerm(KB, String) - Method in class com.articulate.sigma.DocGen: Returns the first containing, subsuming, or superordinate entity that can be found for term in kb.
getFirstGeneralTerms(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of the first containing, subsuming, or superordinate entities found for term in kb.
getFirstHtmlFormatToken(KB, String) - Static method in class com.articulate.sigma.DocGen: Returns the first String token retrieved from ontology in kb that denotes an HTML output format.
getFirstInstances(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of the entities that are immediate instances of term in kb.
getFirstSpecificTerms(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of the first instances or syntactic subordinate entities that can be found for term in kb.
getFirstSubClasses(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing the immediate SUO-KIF subclasses of term in kb.
getFirstSubsumingTerm(KB, String) - Method in class com.articulate.sigma.DocGen: Returns the first purely "subsuming" entity that can be found for term in kb, assuming that term denotes a Class or a Relation.
getFirstTermFormat(KB, String, List) - Method in class com.articulate.sigma.DocGen: Returns a String that is the first termFormat value obtained for term in kb, else returns null if no termFormat value exists.
getFirstTermViaAskWithRestriction(int, String, int, String, int) - Method in class com.articulate.sigma.KB: Returns the first term found that corresponds to targetArgnum in the Formulas obtained from the method call askWithRestriction(argnum1, term1, argnum2, term2).
getFirstTermViaAWTR(int, String, int, String, int, String, int) - Method in class com.articulate.sigma.KB: Returns the first SUO-KIF terms that matches the request, or null.
getFirstTermViaPredicateSubsumption(String, int, String, int, boolean) - Method in class com.articulate.sigma.KB: Returns the first SUO-KIF constant found via asks using relation and its subrelations.
getFoodWordSenses(List<String>) - Static method in class com.articulate.sigma.DB
getFooterText() - Method in class com.articulate.sigma.DocGen: Returns the String that will be used as the footer text for HTML document generation, else returns an empty String if no footer text value has been set.
getFormatMap(String) - Method in class com.articulate.sigma.KB: This method creates an association list (Map) of the natural language format string and the relation name for which that format string applies.
getFormatMapAll(String) - Method in class com.articulate.sigma.KB: This method creates an association list (Map) of the natural language format string and a list of the relation name for which that format string applies.
getFormula() - Method in class com.articulate.sigma.Formula: the textual version of the formula
getFormula() - Method in exception class com.articulate.sigma.tp.ArityException
getFormulaArg(List<StackElement.FormulaArg>, String) - Static method in class com.articulate.sigma.nlg.LanguageFormatterStack: Read the given list of FormulaArgs for a given argument.
getFormulaByKey(String) - Method in class com.articulate.sigma.KB: An accessor providing a Formula
getFormulas() - Method in class com.articulate.sigma.KB: An accessor providing a TreeSet of un-preProcessed String representations of Formulae.
getGeneratedFormula(int, int, int) - Method in class com.articulate.sigma.tp.GenPropFormulas: Retrieve a specific entry given numvars, depth, and index.
getGood(String, String) - Method in class com.articulate.sigma.trans.DB2KIF: A convenience method that gets the set of expected values for the given argument to a relation.
getIndirectObjects() - Method in class com.articulate.sigma.nlg.Sentence
getInferenceType(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: ***************************************************************
getInfFilename() - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
getInhibitDisplayRelations() - Method in class com.articulate.sigma.DocGen: Returns a Set containing the names of those predicates for which display should be suppressed, and tries to create the Set from docGenInhibitDisplayRelations statements found in the current KB if the Set does not already exist.
getInputLanguage() - Method in class com.articulate.sigma.tp.ATPResult
getInputSource() - Method in class com.articulate.sigma.tp.ATPResult
getInstance() - Static method in class com.articulate.sigma.DocGen
getInstance() - Static method in class com.articulate.sigma.KButilities
getInstance() - Static method in class com.articulate.sigma.PasswordService
getInstance(KB, String) - Static method in class com.articulate.sigma.DocGen
getInstance(String) - Static method in class com.articulate.sigma.DocGen
getInstancesForType(String) - Method in class com.articulate.sigma.KBcache: Get all instances for the given input class For example, given the class "Nation", getInstancesForType(Nation) returns all instances, like "America", "Austria", "Albania", etc.
getJaroWinklerDistance(String, String) - Static method in class com.articulate.sigma.Mapping: Jaro-Winkler Mapping Method implemented by Gerard de Melo
getKB() - Method in class com.articulate.sigma.DocGen
getKB() - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
getKB(String) - Method in class com.articulate.sigma.KBmanager: Get the KB that has the given name.
getKBName() - Method in class com.articulate.sigma.CCheck
getKBnames() - Method in class com.articulate.sigma.KBmanager: Get the Set of KB names in this manager.
getKeyFromSense(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Get the word_POS_num sense key corresponding to a 9 digit synset.
getKeyword(String, String) - Static method in class com.articulate.sigma.nlg.NLGUtils
getKeywordMap() - Static method in class com.articulate.sigma.nlg.NLGUtils
getKIFFileSize(String) - Method in class com.articulate.sigma.KIF
getKifNamespaceDelimiter() - Static method in class com.articulate.sigma.DocGen
getLabelsForTerm(KB, String, String) - Static method in class com.articulate.sigma.KButilities: Generate a HTML list of labels from termFormats TODO: Does this work? Only returning an empty List
getLevenshteinDistance(String, String) - Static method in class com.articulate.sigma.Mapping: LevenshteinDistance(char s[1..m], char t[1..n]) courtesy of Wikipedia http://en.wikipedia.org/wiki/Levenshtein_distance int LevenshteinDistance(char s[1..m], char t[1..n])
getLineNum(String) - Static method in class com.articulate.sigma.KifFileChecker: Extract line number from a parser error line.
getLineNumber() - Method in class com.articulate.sigma.Formula
getLineSeparator() - Method in class com.articulate.sigma.DocGen
getLinkedTermsInDoc(KB, String) - Static method in class com.articulate.sigma.KButilities
getLiteralWithPredAndRowVar(String, Formula) - Static method in class com.articulate.sigma.FormulaUtil
getLoadFormatMapsAttempted() - Method in class com.articulate.sigma.KB
getMatches(String, String) - Static method in class com.articulate.sigma.KB: This method finds regular expression matches in an input string using a compiled Pattern and binding group index retrieved with patternKey, and returns the results, if any, in an ArrayList.
getMatches(String, String, ArrayList<String>) - Static method in class com.articulate.sigma.KB: This method finds regular expression matches in an input string using a compiled Pattern and binding group index retrieved with patternKey.
getMax(String, int) - Method in class com.articulate.sigma.trans.DB2KIF: A convenience method that gets the maximum expected value for the given argument to a relation.
getMgr() - Static method in class com.articulate.sigma.KBmanager: Get the one instance of KBmanager from its class variable.
getMin(String, int) - Method in class com.articulate.sigma.trans.DB2KIF: A convenience method that gets the minimum expected value for the given argument to a relation.
getMostRelevantType(KB, Set<String>) - Method in class com.articulate.sigma.FormulaPreprocessor: Get the most specific type for variables.
getMultiWords() - Method in class com.articulate.sigma.wordNet.WordNet
getNamespaceDelimiters(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of all Strings used as namespace delimiters in terms defined or referred to in ontology, as specified by statements formed with the SUO-KIF predicate docGenNamespaceDelimiter.
getNamespacePrefix(KB, String) - Method in class com.articulate.sigma.DocGen: Returns the namespace prefix of term based on the namespaces known in kb, else returns the empty String if term appears to have no namespace prefix.
getNamespacePrefixes() - Method in class com.articulate.sigma.DocGen: Returns an ArrayList of all known namespace prefixes sorted by length, from longest to shortest.
getNamespaces() - Method in class com.articulate.sigma.DocGen: Returns a List of all SUO-KIF terms that denote namespaces in any loaded KB, obtained by gathering statements formed with the predicates inNamespace and ontologyNamespace as well as explicit instance statements.
getNamespaces(KB, String, boolean) - Method in class com.articulate.sigma.DocGen: Returns a List of all SUO-KIF terms denoting namespaces in kb or in ontology, using the predicates inNamespace and ontologyNamespace.
getNearestContainingClass(KB, String) - Method in class com.articulate.sigma.DocGen: Returns the first containing Class that can be found for term in kb.
getNearestNonRelations(String) - Method in class com.articulate.sigma.KB: Get the neighbors of this initial lowercase term (relation).
getNearestRelations(String) - Method in class com.articulate.sigma.KB: Get the neighbors of this initial uppercase term (class or function).
getNewInstance(String) - Static method in class com.articulate.sigma.SInE
getNumber(int) - Static method in enum class com.articulate.sigma.nlg.SVOElement.NUMBER: Given a count, return singular or plural.
getNumFromIDtable(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: ***************************************************************
getNumFromKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Extract the sense number from a word_POS_num sense key.
getOffset(String) - Static method in class com.articulate.sigma.KifFileChecker: sigmaAntlr generates line offsets
getOntology() - Method in class com.articulate.sigma.DocGen: Returns a term denoting the default Ontology for this DocGen object if an Ontology has been set, and tries very hard to find a relevant Ontology if one has not been set.
getOntology(KB) - Method in class com.articulate.sigma.DocGen: Returns a term denoting the default Ontology for this DocGen object if an Ontology has been set, and tries very hard to find a relevant Ontology if one has not been set.
getOntologyNamespaces(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of all SUO-KIF terms denoting those namespaces containing terms that are defined in, or occur in, statements in ontology.
getOriginalVar(String, Map<String, String>) - Static method in class com.articulate.sigma.Clausifier: This method finds the original variable that corresponds to a new variable.
getOutputDirectoryPath() - Method in class com.articulate.sigma.DocGen: Returns the canonical pathname String of the current directory in which output files will be (are being) saved.
getOutputFormatTokens(KB, String) - Static method in class com.articulate.sigma.DocGen: Returns a List of String tokens that determine how the output should be formatted.
getOutputParentDir() - Method in class com.articulate.sigma.DocGen: Returns a File object representing the directory in which the subdirectories for the various types of output files will be located.
getParentClasses(String) - Method in class com.articulate.sigma.KBcache: return parent classes for the given cl from subclass expressions.
getParentClassesOfInstance(String) - Method in class com.articulate.sigma.KBcache: return classes for the given instance cl.
getParents() - Method in class com.articulate.sigma.Derivation: Return a list of all derived objects that are used in this derivation.
getParseMode() - Method in class com.articulate.sigma.KIF
getParsingWarnings() - Method in class com.articulate.sigma.tp.ATPResult
getPatternGroupIndex(String) - Static method in class com.articulate.sigma.KB: This method returns the int value that identifies the regular expression binding group to be returned when there is a match.
getPermutations(int, BiPredicate<Integer, Integer>) - Static method in class com.articulate.sigma.FormulaUtil: Generates all permutations of the given size which are valid according to the given callback function.
getPolarity() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Getter and setter for polarity field.
getPolarity() - Method in class com.articulate.sigma.nlg.SumoProcessCollector: Getter and setter for polarity field.
getPOSfromKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Extract the POS from a word_POS_num sense key.
getPOSNumFromColonKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Extract the sense number from a word%num:num:num sense key.
getPredicateName() - Method in exception class com.articulate.sigma.tp.ArityException
getPredicates(KB, boolean) - Method in class com.articulate.sigma.DocGen: Collects and returns a List of all Predicates in kb.
getPref(String) - Method in class com.articulate.sigma.KBmanager: Get the preference corresponding to the given key
getPrepositionForCaseRole(String, CaseRole) - Static method in class com.articulate.sigma.nlg.Preposition
getPrepositionForCaseRole(String, CaseRole) - Method in interface com.articulate.sigma.nlg.VerbProperties: Return a list of prepositions for the given verb and the given case role.
getPrepositionForCaseRole(String, CaseRole) - Method in class com.articulate.sigma.nlg.VerbPropertiesSimpleImpl: Return a list of prepositions for the given verb and the given case role.
getPrevStackElement() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Return the stack element that is second from the top
getPrimaryError() - Method in class com.articulate.sigma.tp.ATPResult
getPrimaryError(List<String>, List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Get the primary error message from the output.
getProducts(Map<String, String>) - Method in class com.articulate.sigma.dataProc.Infrastructure
getProductsByTypeDB(String) - Method in class com.articulate.sigma.dataProc.Infrastructure
getProductsDB(Map<String, String>) - Method in class com.articulate.sigma.dataProc.Infrastructure
getProductTypes() - Method in class com.articulate.sigma.dataProc.Infrastructure
getProductTypesDB() - Method in class com.articulate.sigma.dataProc.Infrastructure
getPrologArgs(String) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** return the predicate and arguments to a valid prolog expression p(a1,a2...an) where a1..an are an atom, a string or a prolog expression
getProofSteps() - Method in class com.articulate.sigma.tp.ATPResult
getProperFormOfEntity(String, KB) - Static method in class com.articulate.sigma.nlg.SumoProcessCollector: Retain capitalization of names and reified instances by lower-casing if the entity is an Entity.
getRandomGeneratedFormula(int, int) - Static method in class com.articulate.sigma.tp.GenPropFormulas: Retrieve a random entry given numvars and depth.
getRange(String) - Method in class com.articulate.sigma.KBcache: Get the range (return type) of a Function.
getRangeValueList(KB, String) - Static method in class com.articulate.sigma.DocGen: Returns an ArrayList of Strings extracted from the range argument (arg2) of the first retrieved statement formed with predicate.
getRelationsByKB() - Method in class com.articulate.sigma.DocGen
getREMatch(String, boolean) - Method in class com.articulate.sigma.KB: Takes a term (interpreted as a Regular Expression) and returns an ArrayList containing every term in the KB that has a match with the RE.
getRequiredFormulas(Collection<String>) - Method in class com.articulate.sigma.SInE: Returns formulas that are transitively required by given symbols (in the sense of requirements map).
getRequiredSymbols(Collection<String>) - Method in class com.articulate.sigma.SInE: Returns all symbols transitively required by given symbols (in the sense of requirements map).
getResult() - Method in exception class com.articulate.sigma.tp.ATPException
getResult() - Method in class com.articulate.sigma.tp.EProver: Get the full ATPResult for this run.
getResult() - Method in class com.articulate.sigma.tp.LEO: Get the full ATPResult for this run.
getResult() - Method in class com.articulate.sigma.tp.Vampire: Get the full ATPResult for this run.
getRole() - Method in class com.articulate.sigma.User
getRolesAndEntities() - Method in class com.articulate.sigma.nlg.SumoProcessCollector: Get all the roles and their entities for this event.
getRowVarMaxAritiesWithOtherArgs(Map<String, Set<String>>, KB, Formula) - Static method in class com.articulate.sigma.RowVars
getRowVarMinAritiesWithOtherArgs(Map<String, Set<String>>, KB, Formula) - Static method in class com.articulate.sigma.RowVars
getRowVarRelations(Formula) - Static method in class com.articulate.sigma.RowVars: Recurse through the formula looking for row variables.
getSafeNamespaceDelimiter() - Static method in class com.articulate.sigma.DocGen
getSanitizedKBname() - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
getSenseFromColonKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Extract the synset corresponding to a word%num:num:num sense key.
getSenseFromKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Extract the synset corresponding to a word_POS_num sense key.
getSenseKeysFromWord(String) - Method in class com.articulate.sigma.wordNet.WordNet: Get all the synsets for a given word.
getSignalName() - Method in exception class com.articulate.sigma.tp.ProverCrashedException
getSignalNumber() - Method in exception class com.articulate.sigma.tp.ProverCrashedException
getSignature(String) - Method in class com.articulate.sigma.KBcache
getSimplified() - Method in class com.articulate.sigma.DocGen: Returns true if a termFormat value obtained for term will be displayed during HTML rendering rather than the term name itself.
getSingularPlural() - Method in class com.articulate.sigma.nlg.SVOElement
getSortedTermFrequency() - Method in class com.articulate.sigma.KB
getSourceFile() - Method in class com.articulate.sigma.Formula
getStatusBadgeClass() - Method in class com.articulate.sigma.tp.ATPResult: Get CSS class for the status badge
getStderr() - Method in exception class com.articulate.sigma.tp.ATPException
getStderr() - Method in class com.articulate.sigma.tp.ATPResult
getStderrString() - Method in exception class com.articulate.sigma.tp.ATPException: Get stderr as a single string
getStdout() - Method in exception class com.articulate.sigma.tp.ATPException
getStdout() - Method in class com.articulate.sigma.tp.ATPResult
getStdoutString() - Method in exception class com.articulate.sigma.tp.ATPException: Get stdout as a single string
getStringArgument(int) - Method in class com.articulate.sigma.Formula: Return the numbered argument of the given formula.
getStringReplacement(String) - Method in class com.articulate.sigma.DocGen: Returns the String replacement for fromString, if one can be located, else just returns fromString.
getStringReplacementMap() - Method in class com.articulate.sigma.DocGen: Returns the Map to be used for HTML character entity to ASCII replacements, attempting to build it from docGenCodeMapTranslation statements found in the KB if the Map does not already exist.
getStyleSheet() - Method in class com.articulate.sigma.DocGen: Returns the base filename plus filename suffix form of the Cascading Style Sheet file to be referenced during HTML document generation, else returns an empty String if no value has been set.
getSubCategories(String) - Method in class com.articulate.sigma.dataProc.Infrastructure
getSubCategoriesDB(String) - Method in class com.articulate.sigma.dataProc.Infrastructure
getSubComponents(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing those terms that are immediate syntactic subordinates of term in kb.
getSubject() - Method in class com.articulate.sigma.nlg.Sentence
getSubordinateAttributes(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing the subordinate XmlAttributes of kifTerm, else return an empty List.
getSubordinateElements(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing the subordinate XmlElements of kifTerm, else return an empty List.
getSubstringDistance(String, String) - Static method in class com.articulate.sigma.Mapping: Substring Mapping Method: returns 1 if the two strings are identical, scores >1 if one string is a substring of the other, and Integer.MAX_VALUE if there is no substring match This approach is based on: John Li, "LOM: A Lexicon-based Ontology Mapping Tool", Proceedings of the Performance Metrics for Intelligent Systems (PerMIS.'04), 2004.
getSuggestion() - Method in exception class com.articulate.sigma.tp.ArityException
getSuggestion() - Method in exception class com.articulate.sigma.tp.ATPException: Get a suggestion for how to resolve this error.
getSuggestion() - Method in exception class com.articulate.sigma.tp.ExecutableNotFoundException
getSuggestion() - Method in exception class com.articulate.sigma.tp.FormulaTranslationException
getSuggestion() - Method in exception class com.articulate.sigma.tp.ProverCrashedException
getSuggestion() - Method in exception class com.articulate.sigma.tp.ProverTimeoutException
getSummary() - Method in class com.articulate.sigma.tp.ATPResult: Get a human-readable summary of the result
getSUMOMapping(String) - Method in class com.articulate.sigma.wordNet.WordNet: Get the SUMO mapping for a POS-prefixed synset
getSUMOMappingSuffix(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Get a SUMO term mapping suffix.
getSumoProcess() - Method in class com.articulate.sigma.nlg.SumoProcessCollector
getSumoProcessMap() - Method in class com.articulate.sigma.nlg.StackElement
getSuperComponents(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing those terms that are immediate syntactic superiors or "containers" of term in kb.
getSurfaceForm() - Method in class com.articulate.sigma.nlg.SumoProcess
getSurfaceForm() - Method in class com.articulate.sigma.nlg.SVOElement
getSurfaceFormForNoun(String, KB) - Method in class com.articulate.sigma.nlg.SumoProcessEntityProperty: For a given property, combine it with the given noun into a natural-sounding expression.
getSymbols(String) - Method in class com.articulate.sigma.SInE: Returns all symbols occurring in given formula.
getSymbols(Collection<String>) - Method in class com.articulate.sigma.SInE
getSynsetsFromSUMO(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get all synsets corresponding to a SUMO term
getSynsetsFromSUMOList(Collection<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get all synsets corresponding to a list of SUMO terms
getSynsetsFromWord(String) - Method in class com.articulate.sigma.wordNet.WordNet: Get all the synsets for a given word.
getSyntacticCompositeTerms(KB, String, int) - Method in class com.articulate.sigma.DocGen
getSyntacticExtensionTerms(KB, String, int, boolean) - Method in class com.articulate.sigma.DocGen
getSyntacticSubordinateTerms(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of the entities that are immediate syntactic subordinates of term in kb.
getSyntacticUnionTerms(KB, String, int) - Method in class com.articulate.sigma.DocGen
getSzsDiagnostics() - Method in class com.articulate.sigma.tp.ATPResult
getSzsOutputType() - Method in class com.articulate.sigma.tp.ATPResult
getSzsStatus() - Method in class com.articulate.sigma.tp.ATPResult
getSzsStatus() - Method in class com.articulate.sigma.tp.EProver: Get the SZS status from the last run.
getSzsStatus() - Method in class com.articulate.sigma.tp.LEO: Get the SZS status from the last run.
getSzsStatus() - Method in class com.articulate.sigma.tp.Vampire: Get the SZS status from the last run.
getSzsStatusRaw() - Method in class com.articulate.sigma.tp.ATPResult
getTagName() - Method in class com.articulate.sigma.SimpleElement
getTargetLanguage() - Method in exception class com.articulate.sigma.tp.FormulaTranslationException
getTermFormat(KB, String) - Static method in class com.articulate.sigma.Mapping: Get the termFormat label for a term.
getTermFormat(String, String) - Method in class com.articulate.sigma.KB: Get the termFormat entry for a given term and language
getTermFormatMap(String) - Method in class com.articulate.sigma.KB: This method creates a dictionary (Map) of SUO-KIF term symbols -- the keys -- and a natural language string for each key that is the preferred name for the term -- the values -- in the context denoted by lang.
getTermFormatMapAll(String) - Method in class com.articulate.sigma.KB: This method creates a dictionary (Map) of SUO-KIF term symbols -- the keys -- and a natural language list of strings for each key that is all the names for the term -- the values -- in the context denoted by lang.
getTerminationSignal() - Method in class com.articulate.sigma.tp.ATPResult
getTermNamespace(KB, String) - Method in class com.articulate.sigma.DocGen
getTermPresentationName(KB, String) - Method in class com.articulate.sigma.DocGen
getTermPresentationName(KB, String, String) - Method in class com.articulate.sigma.DocGen
getTermPresentationName(KB, String, String, boolean) - Method in class com.articulate.sigma.DocGen
getTerms() - Method in class com.articulate.sigma.KB: Returns a SortedSet of Strings, which are all the terms in the KB.
getTermsViaAsk(int, String, int) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the terms (Strings) that correspond to targetArgnum in the ground atomic Formulae in which knownArg is in the argument position knownArgnum.
getTermsViaAskWithRestriction(int, String, int, String, int) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the terms (Strings) that correspond to targetArgnum in the Formulas obtained from the method call askWithRestriction(argnum1, term1, argnum2, term2).
getTermsViaAskWithRestriction(int, String, int, String, int, Set<String>) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the terms (Strings) that correspond to targetArgnum in the Formulas obtained from the method call askWithRestriction(argnum1, term1, argnum2, term2).
getTermsViaAWTR(int, String, int, String, int, String, int) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the SUO-KIF terms that match the request.
getTermsViaPredicateSubsumption(String, int, String, int, boolean) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing SUO-KIF constants, possibly retrieved via multiple asks that recursively use relation and all of its subrelations.
getTermsViaPredicateSubsumption(String, int, String, int, boolean, Set) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing SUO-KIF constants, possibly retrieved via multiple asks that recursively use relation and all of its subrelations.
getText() - Method in class com.articulate.sigma.SimpleElement
getTFFHeader() - Static method in class com.articulate.sigma.trans.Modals
getTheClausalForm() - Method in class com.articulate.sigma.Formula: Returns a List of the clauses that together constitute the resolution form of this Formula.
getTheTptpFormulas() - Method in class com.articulate.sigma.Formula: Accessor method for backward compatibility.
getTHFHeader() - Static method in class com.articulate.sigma.trans.Modals
getTHFtype(String, Map<String, Set<String>>) - Static method in class com.articulate.sigma.trans.THFnew: Map a KIF variable to a THF type, based on its inferred SUMO types.
getTimeoutMs() - Method in exception class com.articulate.sigma.tp.ATPException
getTimeoutMs() - Method in class com.articulate.sigma.tp.ATPResult
getTimeoutMs() - Method in exception class com.articulate.sigma.tp.ProverTimeoutException
getTimeoutSeconds() - Method in exception class com.articulate.sigma.tp.ProverTimeoutException
getTitleText() - Method in class com.articulate.sigma.DocGen: Returns the String that will be used as the title text for HTML document generation, else returns an empty String if no title text value has been set.
getTocHeader() - Method in class com.articulate.sigma.DocGen: Returns the String header to be used in generated HTML files.
getTok() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Token
getTptpName() - Method in enum class com.articulate.sigma.tp.SZSStatus
getTransitiveClosureViaPredicateSubsumption(String, int, String, int, boolean) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the transitive closure of relation starting from idxTerm in position idxArgnum.
getTransitivity(String, String) - Method in class com.articulate.sigma.wordNet.WordNet: Frame transitivity intransitive - 1,2,3,4,7,23,35 transitive - everything else ditransitive - 15,16,17,18,19
getTranslated() - Method in class com.articulate.sigma.nlg.StackElement: Getter and setter for translated field.
getTranslation() - Method in class com.articulate.sigma.nlg.StackElement
getType() - Method in class com.articulate.sigma.nlg.LanguageFormatter.RelationArgumentAnnotation
getType() - Method in class com.articulate.sigma.nlg.LanguageFormatter.VariableAnnotation
getType() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Token
getUserAssertions(KB) - Method in class com.articulate.sigma.tp.LEO
getUserAssertions(KB) - Method in class com.articulate.sigma.tp.Vampire
getValence(String) - Method in class com.articulate.sigma.KB: This method tries to find or compute a valence for the input relation.
getVariableAritySuffix(String) - Method in class com.articulate.sigma.trans.SUMOKBtoTFAKB: Get the numerical suffix on a variable arity predicate for how many arguments it has (in a particular case of use)
getVarMap() - Method in class com.articulate.sigma.Formula: Returns a map of the variable renames that occurred during the translation of this Formula into the clausal (resolution) form accessible via this.getClauses().
getVarSubStrings(String) - Method in class com.articulate.sigma.parsing.RowVar
getVarType(KB, String) - Method in class com.articulate.sigma.Formula: Returns the type of a variable or null if it doesn't exist.
getVarTypes(KB) - Method in class com.articulate.sigma.Formula: Returns a map of the variable types.
getVerb() - Method in class com.articulate.sigma.nlg.Sentence
getVerb() - Method in class com.articulate.sigma.nlg.SumoProcess
getVerbFramesForSynset(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get all verb frames corresponding to a synset.
getVerbFramesForWord(String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get all verb frames corresponding to a word in a synset.
getVerbRootForm(String) - Static method in class com.articulate.sigma.nlg.SumoProcess: Get the root of the given verb.
getVerbSynsetsFromSUMO(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get all verb synsets corresponding to a SUMO term
getW3cNamespaceDelimiter() - Static method in class com.articulate.sigma.DocGen
getWarnings() - Method in class com.articulate.sigma.tp.ATPResult
getWnFile(String, String) - Method in class com.articulate.sigma.wordNet.WordNet: Returns the WordNet File object corresponding to key.
getWordFromColonKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Extract the word from a word%num:num:num sense key.
getWordFromKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Extract the word from a word_POS_num sense key.
getWords(String) - Method in class com.articulate.sigma.PythonAPI
getWordSenses(List<String>) - Static method in class com.articulate.sigma.DB
getWordsFromSynset(String) - Method in class com.articulate.sigma.wordNet.WordNet
getWordsFromSynsetList(Collection<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: get all words corresponding to a list of synsets
getWordsFromTerm(String) - Method in class com.articulate.sigma.wordNet.WordNet: Get the words and synsets corresponding to a SUMO term.
getWorkingDirectory() - Method in exception class com.articulate.sigma.tp.ATPException
glosses - Variable in class com.articulate.sigma.wordNet.OMWordnet
goodValues - Variable in class com.articulate.sigma.trans.DB2KIF
Graph - Class in com.articulate.sigma: Handle operations for creating a graphical representation of partial ordering relations.
Graph() - Constructor for class com.articulate.sigma.Graph
GraphArc(String, String, String) - Constructor for class com.articulate.sigma.KButilities.GraphArc
ground - Variable in class com.articulate.sigma.parsing.SuokifVisitor
GT - Static variable in class com.articulate.sigma.Formula
GTET - Static variable in class com.articulate.sigma.Formula
guessGender(String) - Static method in class com.articulate.sigma.DB

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