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

S

safeSet(List<String>, int, String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform

If there's no such element index, fill the previous elements with Entity

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

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

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

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

Generate and save all the index pages that link to the individual term pages.

saveTPTP - Static variable in class com.articulate.sigma.InferenceTestSuite

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

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

Take a file of tabtab and calculate the average Levenshtein distance for each ID.

secondary - Variable in class com.articulate.sigma.VerbNet.Frame

sectors - Variable in class com.articulate.sigma.dataProc.Infrastructure.Category

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

semantics - Variable in class com.articulate.sigma.VerbNet.Frame

semnetAsJSON3(KB, boolean, boolean) - Method in class com.articulate.sigma.KButilities

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

a HashMap where the key is a 9-digit POS-prefixed sense and the value is a the number of times that sense occurs in the Brown corpus.

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

A HashMap where the keys are of the form word_POS_sensenum (alpha POS like "VB") and values are 8 digit WordNet synset byte offsets.

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

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

A HashMap where the keys are of the form word%POS:lex_filenum:lex_id (numeric POS) and values are 8 digit WordNet synset byte offsets.

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

Take a WordNet sense identifier, and return the integer part of speech code.

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

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

test if a word is sensory or mental and return true if so

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

Find all words associated with sensory, psychological and emotional concepts.

Sentence - Class in com.articulate.sigma.nlg

A structure allowing one Subject-Verb-Object element in a sentence to "know" about the others.

Sentence() - Constructor for class com.articulate.sigma.wordNet.BrownCorpus.Sentence

Sentence(Multimap<CaseRole, String>, SumoProcess, KB, Multimap<String, SumoProcessEntityProperty>) - Constructor for class com.articulate.sigma.nlg.Sentence

Constructor.

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

sentiment - Static variable in class com.articulate.sigma.DB

sents - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Para

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

Turn a conjunction into an ArrayList of separate statements

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

convenience method

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

save serialized version.

serialize() - Static method in class com.articulate.sigma.nlg.NLGUtils

Deprecated, for removal: This API element is subject to removal in a future version.

as of OCT 2024, use NLGUtils.encoder(java.lang.Object) instead

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

save serialized version.

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

save serialized version.

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

Check whether sources are newer than serialized version.

serializedExists() - Static method in class com.articulate.sigma.nlg.NLGUtils

Check whether sources are newer than serialized version.

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

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

serializedOld() - Static method in class com.articulate.sigma.nlg.NLGUtils

Check whether sources are newer than serialized version.

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

Check whether sources are newer than serialized version.

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

Check whether sources are newer than serialized version.

serializedOld(SimpleElement) - Static method in class com.articulate.sigma.KBmanager

Check whether sources are newer than serialized version.

SessionTimeoutFilter - Class in com.articulate.sigma

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

setAnswerBindings(Map<String, String>) - Method in class com.articulate.sigma.tp.ATPResult

setAttribute(String, String) - Method in class com.articulate.sigma.SimpleElement

setCaseRolesScratchpad(Multimap<CaseRole, String>) - Method in class com.articulate.sigma.nlg.Sentence

Set the case roles scratch pad with the given case roles.

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

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

setConfiguration(SimpleElement) - Method in class com.articulate.sigma.KBmanager

Sets instance fields by reading the xml found in the configuration file.

setCookie(String, String) - Method in class com.articulate.sigma.ClientHttpRequest

adds a cookie to the requst

setCookies(String[]) - Method in class com.articulate.sigma.ClientHttpRequest

adds cookies to the request

setCookies(Map<String, String>) - Method in class com.articulate.sigma.ClientHttpRequest

adds cookies to the request

setCurrTranslatedIfQuantified() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack

If the curr stack element has just two formula args--the first having a state of QUANTIFIED_VARS, the second having a state of TRANSLATED--mark the curr stack element as Translated.

setDefaultAttributes() - Method in class com.articulate.sigma.KBmanager

Set default attribute values if not in the configuration file.

setDefaultImageFile(String) - Method in class com.articulate.sigma.DocGen

Sets the base name plus suffix filename of the logo image file to be referenced during HTML document generation.

setDefaultImageFileMarkup(String) - Method in class com.articulate.sigma.DocGen

Sets the base name plus suffix filename of the logo image file to be referenced during HTML document generation.

setDefaultNamespace(String) - Method in class com.articulate.sigma.DocGen

Sets the default namespace for this DocGen object.

setDefaultPredicateNamespace(String) - Method in class com.articulate.sigma.DocGen

Sets the default namespace for predicates in the ontology associated with this DB object.

setDirectObject(SVOElement) - Method in class com.articulate.sigma.nlg.Sentence

setDisplayFilter(DocGen.DisplayFilter) - Method in class com.articulate.sigma.DocGen

Sets the DisplayFilter associated with this DocGen object to filterObj.

setDocGen(DocGen) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator

setDocGenKey(String) - Method in class com.articulate.sigma.DocGen

Sets the String key that is the index for this particular DocGen object.

setDoInformalNLG(boolean) - Method in class com.articulate.sigma.nlg.LanguageFormatter

setElapsedTimeMs(long) - Method in class com.articulate.sigma.tp.ATPResult

setEngineMode(String) - Method in class com.articulate.sigma.tp.ATPResult

setEngineName(String) - Method in class com.articulate.sigma.tp.ATPResult

setEntityProperties(Multimap<String, SumoProcessEntityProperty>) - Method in class com.articulate.sigma.nlg.StackElement

setEntityProperties(Multimap<String, SumoProcessEntityProperty>) - Method in class com.articulate.sigma.nlg.SumoProcessCollector

Translate this process and its case roles into natural language.

setError(String) - Method in class com.articulate.sigma.KBmanager

Set an error string for file loading.

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

setExitCode(int) - Method in class com.articulate.sigma.tp.ATPResult

setFooterText(String) - Method in class com.articulate.sigma.DocGen

Sets the footer text String to be used during HTML document generation.

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

the textual version of the formula

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

setHotelWeights(List<Hotel>) - Static method in class com.articulate.sigma.dataProc.Hotel

Read a list of lists of Strings which is the original input plus some extra columns for the weights of several "buckets", indicating fitness with respect to a particular criterion.

setInconsistencyDetected(boolean) - Method in class com.articulate.sigma.tp.ATPResult

setIndirectObjects(List<SVOElement>) - Method in class com.articulate.sigma.nlg.Sentence

setInhibitDisplayRelations(Set) - Method in class com.articulate.sigma.DocGen

Sets the predicates for which display should be suppressed to those contained in relations.

setInputLanguage(String) - Method in class com.articulate.sigma.tp.ATPResult

setInputSource(String) - Method in class com.articulate.sigma.tp.ATPResult

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

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

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

setKeywordMap(Map<String, Map<String, String>>) - Static method in class com.articulate.sigma.nlg.NLGUtils

setLineSeparator(String) - Method in class com.articulate.sigma.DocGen

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

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

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

Tries to use the values obtained from kb and ontology to set some of the parameter values used for HTML generation.

setNumericFunctionInfo() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform

Set the cached information of automatically generated functions and relations needed to cover the polymorphic type signatures of build-in TFF terms

setOntology(String) - Method in class com.articulate.sigma.DocGen

setOutputDirectoryPath(String) - Method in class com.articulate.sigma.DocGen

Sets the canonical pathname String of the current directory in which output files will be (are being) saved.

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

Sets the parent directory in which subdirectories for different types of output files will be created to the abstract pathname represented by a statement in kb formed with the predicate docGenOutputParentDirectory and the argument ontology.

setOutputParentDir(File) - Method in class com.articulate.sigma.DocGen

Sets the parent directory in which subdirectories for different types of output files will be created to the File obj, and tries to create the directory pathname if it does not already exist.

setOutputParentDir(String) - Method in class com.articulate.sigma.DocGen

Sets to pathname the parent directory in which subdirectories for different types of output files will be created, and tries to create the directory pathname if it does not already exist.

setOutputParentDir(List) - Method in class com.articulate.sigma.DocGen

Sets the parent directory in which subdirectories for different types of output files will be created to the File obj, and tries to create the directory pathname if it does not already exist.

setParameter(String, File) - Method in class com.articulate.sigma.ClientHttpRequest

adds a file parameter to the request

setParameter(String, Object) - Method in class com.articulate.sigma.ClientHttpRequest

adds a parameter to the request; if the parameter is a File, the file is uploaded, otherwise the string value of the parameter is passed in the request

setParameter(String, String) - Method in class com.articulate.sigma.ClientHttpRequest

adds a string parameter to the request

setParameter(String, String, InputStream) - Method in class com.articulate.sigma.ClientHttpRequest

adds a file parameter to the request

setParameters(Object[]) - Method in class com.articulate.sigma.ClientHttpRequest

adds parameters to the request

setParameters(Map) - Method in class com.articulate.sigma.ClientHttpRequest

adds parameters to the request

setParseMode(int) - Method in class com.articulate.sigma.KIF

Sets the current parse mode to the input value mode.

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

setPolarity(VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack

setPolarity(VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.SumoProcess

setPolarity(VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.SumoProcessCollector

setPref(String, String) - Method in class com.articulate.sigma.KBmanager

Set the preference to the given value.

setPrimaryError(String) - Method in class com.articulate.sigma.tp.ATPResult

setProcessPolarity(VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.StackElement

Set polarity.

setProcessPolarity(String, VerbProperties.Polarity) - Method in class com.articulate.sigma.nlg.StackElement

Set the polarity of current stack element's process.

setProofSteps(List<TPTPFormula>) - Method in class com.articulate.sigma.tp.ATPResult

setResult(ATPResult) - Method in exception class com.articulate.sigma.tp.ATPException

setSimplified(boolean) - Method in class com.articulate.sigma.DocGen

Sets this.simplified to val.

setSkipProlog(boolean) - Method in class com.articulate.sigma.SimpleDOMParser

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

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

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

setStringReplacementMap(Map<String, String>) - Method in class com.articulate.sigma.DocGen

Sets the Map to be used for HTML character entity to ASCII replacements.

setStyleSheet(String) - Method in class com.articulate.sigma.DocGen

Sets the base name plus suffix filename of the Cascading Style Sheet file to be referenced during HTML document generation.

setSubject(SVOElement) - Method in class com.articulate.sigma.nlg.Sentence

setSurfaceForm(String) - Method in class com.articulate.sigma.nlg.SVOElement

setSzsDiagnostics(String) - Method in class com.articulate.sigma.tp.ATPResult

setSzsOutputType(String) - Method in class com.articulate.sigma.tp.ATPResult

setSzsStatus(SZSStatus) - Method in class com.articulate.sigma.tp.ATPResult

setSzsStatusRaw(String) - Method in class com.articulate.sigma.tp.ATPResult

setTagName(String) - Method in class com.articulate.sigma.SimpleElement

setTerminationSignal(String) - Method in class com.articulate.sigma.tp.ATPResult

setTerms(Set<String>) - Method in class com.articulate.sigma.KB

Sets the synchronized SortedSet of all the terms in the KB to be kbTerms.

setText(String) - Method in class com.articulate.sigma.SimpleElement

setTimedOut(boolean) - Method in class com.articulate.sigma.tp.ATPResult

setTimeoutMs(long) - Method in class com.articulate.sigma.tp.ATPResult

setTitleText(String) - Method in class com.articulate.sigma.DocGen

Sets the title text to be used during HTML document generation.

setTocHeader(String) - Method in class com.articulate.sigma.DocGen

Sets the String header to be used in generated HTML files to header.

setTranslation(String, boolean) - Method in class com.articulate.sigma.nlg.StackElement

Mark this stack element as having been translated.

setupStreamTokenizer(StreamTokenizer_s) - Static method in class com.articulate.sigma.KIF

This routine sets up the StreamTokenizer_s so that it parses SUO-KIF.

setVerb(SumoProcess) - Method in class com.articulate.sigma.nlg.Sentence

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

showAll(KBcache) - Static method in class com.articulate.sigma.KBcache

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

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

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

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

showChildren(KBcache) - Static method in class com.articulate.sigma.KBcache

showChildrenOf(KBcache, String) - Static method in class com.articulate.sigma.KBcache

showHelp() - Static method in class com.articulate.sigma.dataProc.Antenna

showHelp() - Static method in class com.articulate.sigma.dataProc.Infrastructure

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

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

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

showHelp() - Static method in class com.articulate.sigma.Graph

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

showHelp() - Static method in class com.articulate.sigma.InferenceTestSuite

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

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

showHelp() - Static method in class com.articulate.sigma.KIF

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

Print CLI usage information.

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

showHelp() - Static method in class com.articulate.sigma.parsing.SuokifApp

showHelp() - Static method in class com.articulate.sigma.parsing.SuokifVisitor

showHelp() - Static method in class com.articulate.sigma.parsing.TPTPWriter

showHelp() - Static method in class com.articulate.sigma.PasswordService

showHelp() - Static method in class com.articulate.sigma.ProofProcessor

showHelp() - Static method in class com.articulate.sigma.trans.CWAUNA

showHelp() - Static method in class com.articulate.sigma.trans.KIF2SQL

showHelp() - Static method in class com.articulate.sigma.trans.OWLtranslator

showHelp() - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula

showHelp() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform

showHelp() - Static method in class com.articulate.sigma.trans.THF

showHelp() - Static method in class com.articulate.sigma.trans.THFnew

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

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

***************************************************************

showHelp() - Static method in class com.articulate.sigma.trans.TPTPutil

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

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

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

Show knowledge base statistics

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

Show a map if coordinates are given in the kb

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

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

Show alphabetic list of neighbor terms

showNumberPictures(KB, String, int) - Static method in class com.articulate.sigma.HTMLformatter

Show knowledge base pictures

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

Show knowledge base pictures

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

Show list of 30 relation invalid input: '&' nonRelation terms that contain a match to the input RE term.

showSizes(KBcache) - Static method in class com.articulate.sigma.KBcache

Informational routine to show the sizes of the caches as a way to determine what might be the best sizes to pre-allocate, relative to the number of statements in a knowledge base

showState(KBcache) - Static method in class com.articulate.sigma.KBcache

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

Show knowledge base statistics with caching.

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

Returns the termFormat entry for term in kb and language, otherwise returns the termFormat entry for term in English, otherwise just returns the term name.

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

get all verb frames corresponding to a synset.

shutdown() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager

Shutdown the executor service gracefully.

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

Must be called whenever a *.tptp, *.tff or *.fof file is written to allow for clean shutdown of the JVM.

SIGABRT - Static variable in exception class com.articulate.sigma.tp.ProverCrashedException

SIGHUP - Static variable in exception class com.articulate.sigma.tp.ProverCrashedException

SIGINT - Static variable in exception class com.articulate.sigma.tp.ProverCrashedException

SIGKILL - Static variable in exception class com.articulate.sigma.tp.ProverCrashedException

SIGMA_HOME - Static variable in class com.articulate.sigma.KButilities

SigmaCheck - Class in com.articulate.sigma

This class, when scheduled as a "cron" job, can serve as a "heartbeat" function, checking whether the sigma server is functioning properly.

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

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

Relation name keys and argument types with 0th arg always "" except in the case of Functions where the 0th arg will be the function range.

SIGQUIT - Static variable in exception class com.articulate.sigma.tp.ProverCrashedException

SIGSEGV - Static variable in exception class com.articulate.sigma.tp.ProverCrashedException

sigString(String, List<String>, KB, boolean) - Static method in class com.articulate.sigma.trans.THFnew

Build a THF type string from a SUMO signature.

sigStringNonModal(String, List<String>, KB, boolean) - Static method in class com.articulate.sigma.trans.THFnew

SIGTERM - Static variable in exception class com.articulate.sigma.tp.ProverCrashedException

SIGXCPU - Static variable in exception class com.articulate.sigma.tp.ProverCrashedException

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

SimpleDOMParser - Class in com.articulate.sigma

SimpleDOMParser is a highly-simplified XML DOM parser.

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

SimpleElement - Class in com.articulate.sigma

SimpleElement is the only node type for simplified DOM model.

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

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

If true, a termFormat value obtained for term will be displayed rather than the term name itself.

simplifyCNF(String) - Static method in class com.articulate.sigma.tp.GenPropFormulas

Simplify clauses from a multiset of literals to sets of literals

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

*************************************************************** Simplify proof to remove steps with single support other than axioms from the KB (plus optional readability filtering for ans*).

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

Only called in BrowseBody.jsp when a single match is found.

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

*************************************************************** simplify and paraphrase a proof

SInE - Class in com.articulate.sigma

SInE(Iterable<String>) - Constructor for class com.articulate.sigma.SInE

SInE.SInEFactory - Class in com.articulate.sigma

SInEFactory() - Constructor for class com.articulate.sigma.SInE.SInEFactory

singleUseVariables(Formula) - Static method in class com.articulate.sigma.Diagnostics

SINGULAR - Enum constant in enum class com.articulate.sigma.nlg.SVOElement.NUMBER

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

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

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

slashSlashComments(boolean) - Method in class com.articulate.sigma.StreamTokenizer_s

Determines whether or not the tokenizer recognizes C++-style comments.

slashStarComments(boolean) - Method in class com.articulate.sigma.StreamTokenizer_s

Determines whether or not the tokenizer recognizes C-style comments.

SNARKtrans - Class in com.articulate.sigma.trans

Created by apease on 8/25/17.

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

Sortals - Class in com.articulate.sigma.parsing

Sortals(KB) - Constructor for class com.articulate.sigma.parsing.Sortals

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

Sorts stringList in place by the presentation name of each its terms, which could be very different from the raw term name.

sortBySourceFile(List<Formula>) - Static method in class com.articulate.sigma.FormulaUtil

sortByTermLength(List<String>) - Method in class com.articulate.sigma.DocGen

Sorts the List terms by the length of the Strings it contains, from longest to shortest.

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

Create a sort spec from the relation name with embedded types

sortLabels - Variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB

sorts - Variable in class com.articulate.sigma.trans.SUMOtoTFAform

source - Variable in class com.articulate.sigma.KButilities.GraphArc

sourceAxiom(TPTPFormula) - Static method in class com.articulate.sigma.trans.TPTPutil

Is the axiom in a proof a source authored axiom from SUMO, rather than one automatically derived or introduced by a theorem prover

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

The source file in which the formula appears.

sourceID - Variable in class com.articulate.sigma.ProofStep

SP2 - Static variable in class com.articulate.sigma.DocGen

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

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

Return an ArrayList of the string split by spaces.

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

Return an ArrayList of the string split by periods.

StackElement - Class in com.articulate.sigma.nlg

One element of a LanguageFormatterStack.

StackElement(Map<String, SumoProcessCollector>, List<String>) - Constructor for class com.articulate.sigma.nlg.StackElement

Instantiate a StackElement with a sumoProcess map and a list of formula args.

StackElement.FormulaArg - Class in com.articulate.sigma.nlg

StackElement.StackState - Enum Class in com.articulate.sigma.nlg

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

start - Variable in class com.articulate.sigma.ErrRec

startBackgroundGeneration() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager

Start background generation of all TPTP formats for all KBs.

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

The line in the file on which the formula starts.

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

statements - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData

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

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

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

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

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

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

stopConcepts - Static variable in class com.articulate.sigma.DB

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

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

English "stop words" such as "a", "at", "them", which have no or little inherent meaning when taken alone.

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

Add the cached formulas as though they were from a file.

storeGeneratedFormulas(String, int, int) - Static method in class com.articulate.sigma.tp.GenPropFormulas

Store generated formulas HTML into a per-(numvars,depth) file.

StreamTokenizer_s - Class in com.articulate.sigma

A modified StreamTokenizer that handles multi-line quoted strings.

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

Private constructor that initializes everything except the streams.

StreamTokenizer_s(InputStream) - Constructor for class com.articulate.sigma.StreamTokenizer_s

Deprecated.

As of JDK version 1.1, the preferred way to tokenize an input stream is to convert it into a character stream, for example:

   Reader r = new BufferedReader(new InputStreamReader(is));
   StreamTokenizer_s st = new StreamTokenizer_s(r);
 

StreamTokenizer_s(Reader) - Constructor for class com.articulate.sigma.StreamTokenizer_s

Create a tokenizer that parses the given character stream.

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

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

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

A Map containing String replacement pairs.

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

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

Convert raw KIF string into a KIF object, collecting parse errors.

stripKnownMarkers(String) - Static method in class com.articulate.sigma.nlg.NLGReadability

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

Returns term without its namespace prefix if it appears to have one in kb, else just returns term.

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

The style sheet (CSS filename) to be referenced in HTML generation

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

Find whether the given class is the subAttribute of the given parent class.

subCat - Variable in class com.articulate.sigma.dataProc.Infrastructure.Product

subclasses - Variable in class com.articulate.sigma.VerbNet.Verb

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

Find whether the given class has the given parent class.

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

Any subelements of the tag, meaning any other tags that are nested within this one.

SUBJECT - Enum constant in enum class com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition

submit(String) - Method in class com.articulate.sigma.CELT

Submit a sentence, terminated by a period or question mark and return a KIF formula that is equivalent.

submit(Callable<T>, long) - Static method in class com.articulate.sigma.EditorWorkerQueue

submitQuery(String, int, int) - Method in class com.articulate.sigma.InferenceEngine

Submit a query.

submitQuery(String, int, int) - Method in class com.articulate.sigma.SInE

submitQuery(String, KB) - Method in class com.articulate.sigma.tp.EProver

Submit a query.

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

A utility function that mimics the functionality of the perl substitution feature (s/match/replacement/).

substituteVariables(Map<String, String>) - Method in class com.articulate.sigma.Clausifier

Replace variables with a value as given by the map argument

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

Replace variables with a value as given by the map argument

substTest(String, String, String, Map<String, Set<String>>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

A utility function that mimics the functionality of the perl substitution feature (s/match/replacement/) but rather than returning the result of the substitution, just tests whether the result is a key in a hashtable.

success - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData

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

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

SUMO - Variable in class com.articulate.sigma.dataProc.Infrastructure.Category

SUMO - Variable in class com.articulate.sigma.dataProc.Infrastructure.Product

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

A routine which takes a full pathname as input and returns a sentence by sentence display of sense and sentiment analysis

sumoForms - Variable in class com.articulate.sigma.dataProc.Antenna

SUMOformulaToTPTPformula - Class in com.articulate.sigma.trans

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

SUMOformulaToTPTPformula(String) - Constructor for class com.articulate.sigma.trans.SUMOformulaToTPTPformula

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

Keys are SUMO terms, values are ArrayLists(s) of POS-prefixed 9-digit synset String(s) meaning that the part of speech code is prepended to the synset number.

SUMOKBtoTFAKB - Class in com.articulate.sigma.trans

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

SUMOKBtoTPTPKB - Class in com.articulate.sigma.trans

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

SUMOKBtoTPTPKB.OrderedFormulae - Class in com.articulate.sigma.trans

SumoProcess - Class in com.articulate.sigma.nlg

Handles verb functionality for a SUMO process.

SumoProcess(SumoProcess, KB) - Constructor for class com.articulate.sigma.nlg.SumoProcess

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

SumoProcessCollector - Class in com.articulate.sigma.nlg

This object represents a process or an event, holding information on its case roles as well as the entities which play that role.

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

Construct a SumoProcessCollector.

SumoProcessEntityProperty - Class in com.articulate.sigma.nlg

Hold properties associated with a SumoProcessCollector.

SumoProcessEntityProperty(Formula) - Constructor for class com.articulate.sigma.nlg.SumoProcessEntityProperty

SUMOReviews(List<Hotel>) - Static method in class com.articulate.sigma.DB

process a side effect on reviews of setting the SUMO list

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

A routine which looks up a given list of words in the hashtables to find the relevant word definitions and SUMO mappings.

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

A routine that uses computeSentiment in DB.java to display a sentiment score for a single sentence as well as the individual scores of scored descriptors.

SUMOtoTFAform - Class in com.articulate.sigma.trans

Created by apease on 7/23/18.

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

SUO_KIF - Enum constant in enum class com.articulate.sigma.trans.TPTP3ProofProcessor.GraphFormulaFormat

SuokifApp - Class in com.articulate.sigma.parsing

Example App showing 3 various ways to parse SUO-KIF and show the results

SuokifApp() - Constructor for class com.articulate.sigma.parsing.SuokifApp

SuokifVisitor - Class in com.articulate.sigma.parsing

SuokifVisitor() - Constructor for class com.articulate.sigma.parsing.SuokifVisitor

supportIdToInts(List<String>) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor

*************************************************************** Parse support / proof statements in the response

sval - Variable in class com.articulate.sigma.StreamTokenizer_s

If the current token is a word token, this field contains a string giving the characters of the word token.

SVOElement - Class in com.articulate.sigma.nlg

An element in a sentence conceived of as having a Subject-Verb-Object grammar.

SVOElement(SVOElement.SVOGrammarPosition) - Constructor for class com.articulate.sigma.nlg.SVOElement

SVOElement.NUMBER - Enum Class in com.articulate.sigma.nlg

SVOElement.SVOGrammarPosition - Enum Class in com.articulate.sigma.nlg

SVOGrammar - Class in com.articulate.sigma.nlg

Handles properties of traditional Subject-Verb-Object grammar, allowing for both default cases and exceptions for specific verbs.

SVOGrammar() - Constructor for class com.articulate.sigma.nlg.SVOGrammar

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

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

syncount - Static variable in class com.articulate.sigma.VerbNet.VerbNet

synesthesiaCompare(Map<String, Set<String>>, Set<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

Compare Lievers list of synesthetic words with those derived from SUMO-WordNet

synestheticSynsets(Map<String, Set<String>>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

Find all the words that exhibit links to multiple sensory modes in SUMO

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

Extract the nine digit synset ID corresponding to a word-POS.num sense key.

synsetFromTermFormat(Formula, String, String, KB) - Method in class com.articulate.sigma.wordNet.WordNet

Generate a new synset from a termFormat statement

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

Show a hyperlinked list of WordNet synsets.

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

Keys are String POS-prefixed synsets.

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

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

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

syntax - Variable in class com.articulate.sigma.VerbNet.Frame

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

SZSExtractor - Class in com.articulate.sigma.tp

Utility class for extracting SZS (TPTP Standard for System status values) information from prover output.

szsStatus(SZSStatus) - Method in class com.articulate.sigma.tp.ATPResult.Builder

SZSstatus - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData

SZSStatus - Enum Class in com.articulate.sigma.tp

Enumeration of SZS (TPTP Standard for System status values) statuses.

SZSStatus.Category - Enum Class in com.articulate.sigma.tp

Category groupings for SZS statuses

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