P-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

P

page(String, int, String, String, String) - Method in class com.articulate.sigma.wordNet.WordNet: This is the regular point of entry for this class.
Para() - Constructor for class com.articulate.sigma.wordNet.BrownCorpus.Para
paraphraseLLM - Static variable in class com.articulate.sigma.nlg.LanguageFormatter
paraphraseStatement(String, boolean, boolean, int) - Method in class com.articulate.sigma.nlg.LanguageFormatter: Create a natural language paraphrase of a logical statement.
paras - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Doc
PARENS - Static variable in class com.articulate.sigma.tp.GenPropFormulas
parent - Variable in class com.articulate.sigma.dataProc.Infrastructure.Category
parents - Variable in class com.articulate.sigma.dataProc.Infrastructure
parents - Variable in class com.articulate.sigma.Derivation
parents - Variable in class com.articulate.sigma.KBcache: All the cached "parent" relations of all transitive relations meaning the relations between all first arguments and the transitive closure of second arguments.
parents - Variable in class com.articulate.sigma.TaxoNode
parse(LineNumberReader) - Method in class com.articulate.sigma.wordNet.BrownCorpus
parse(Reader) - Method in class com.articulate.sigma.KIF: This method has the side effect of setting the contents of formulaMap and formulas as it parses the file.
parse(Reader) - Method in class com.articulate.sigma.KIFAST: This method has the side effect of setting the contents of formulaMap and formulas as it parses the file.
parse(Reader) - Method in class com.articulate.sigma.SimpleDOMParser
parse(String) - Method in class com.articulate.sigma.wordNet.BrownCorpus
parse(String[]) - Static method in class com.articulate.sigma.CLIMapParser: Parses the command-line arguments into a Map.
parseAllHotelReviewFiles(String) - Static method in class com.articulate.sigma.dataProc.Hotel: Read hotel review files
parseAllTHotelReviewFiles(String) - Static method in class com.articulate.sigma.dataProc.Hotel: Read hotel review files
parseAnswers(String, InferenceTestSuite.InfTestData) - Static method in class com.articulate.sigma.InferenceTestSuite: parse answers
parseAnswerTuples(List<String>, String, KB, StringBuilder) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Return a list of answers if prover finds bindings for wh- queries.
parseBody(String, int, int) - Method in class com.articulate.sigma.KIFAST
parseColonKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Extract the info in a word%num:num:num sense key.
parseCuisines(String, String, String) - Static method in class com.articulate.sigma.DB
parsedFormula - Variable in class com.articulate.sigma.parsing.FormulaAST
parseFile(File) - Static method in class com.articulate.sigma.parsing.SuokifVisitor: Parse SUO-KIF from a file
parseFormula(Formula) - Static method in class com.articulate.sigma.parsing.SuokifVisitor: Parse a single formula and use this SuokifVisitor to process as the cached information for the formula.
parseHTMLAddress(Hotel, String) - Static method in class com.articulate.sigma.dataProc.Hotel: Set address fields in the hotel as a side effect.
parseJSONElement(String, int, Hotel.JSONElement) - Static method in class com.articulate.sigma.dataProc.Hotel: This routine adds elements to the parameter
parseJSONPair(String, int, Hotel.JSONElement) - Static method in class com.articulate.sigma.dataProc.Hotel: This routine adds keys and values to the parameter.
parseKifError(String, String) - Static method in class com.articulate.sigma.KifFileChecker
parseNew(StreamTokenizer_s) - Method in class com.articulate.sigma.KIFAST: Get a formula at a time and send to parseBody()
parseNumbers() - Method in class com.articulate.sigma.StreamTokenizer_s: Specifies that numbers should be parsed by this tokenizer.
parseOneHotelPreviewFile(String) - Static method in class com.articulate.sigma.dataProc.Hotel
parseOneHotelReviewFile(String) - Static method in class com.articulate.sigma.dataProc.Hotel
parseOneJSONReviewFile(String) - Static method in class com.articulate.sigma.dataProc.Hotel
parseOneRestFile(String) - Static method in class com.articulate.sigma.DB: A test method.
parseOneTHotelReviewFile(String) - Static method in class com.articulate.sigma.dataProc.Hotel
parseProofFromFile(String, KB) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: ***************************************************************
parseProofOutput(LineNumberReader, KB) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Compute bindings and proof from theorem prover's response
parseProofOutput(String, KB) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: ***************************************************************
parseProofOutput(List<String>, String, KB, StringBuilder) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: Parses TPTP (Thousands of Problems for Theorem Provers) proof output from a theorem prover and extracts proof steps, answer bindings, and status information.
parseProofStep(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Parse a step like the following into its constituents fof(c_0_5, axiom, (s__subclass(s__Artifact,s__Object)), c_0_3).
parseRest(String, String, String, String, String, String, String) - Static method in class com.articulate.sigma.DB
parseStatement(String) - Method in class com.articulate.sigma.KIF: Parse a single formula.
parseString(String) - Static method in class com.articulate.sigma.parsing.SuokifVisitor: Parse a single formula and use this SuokifVisitor to process as the cached information for the formula.
parseSupports(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Parse support / proof statements in the response
parseTPTP4XOutputToErrRec(String, String, int) - Static method in class com.articulate.sigma.TPTPFileChecker: Extract a single ErrRec from a chunk of TPTP4X output.
pass - Variable in class com.articulate.sigma.InferenceTestSuite.OneResult
password - Variable in class com.articulate.sigma.User: Encrypted password
PasswordService - Class in com.articulate.sigma: A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.
PasswordService() - Constructor for class com.articulate.sigma.PasswordService: Create an instance of PasswordService
PATH - Enum constant in enum class com.articulate.sigma.nlg.CaseRole
PATIENT - Enum constant in enum class com.articulate.sigma.nlg.CaseRole
patternNum - Static variable in class com.articulate.sigma.wordNet.WordNetUtilities
performConsistencyCheck(KB, String, String, String, String, int) - Method in class com.articulate.sigma.CCheckManager: Main code that performs the consistency check on the KB.
performSelection(String) - Method in class com.articulate.sigma.SInE: Performs axiom selection for given query.
pipeline() - Method in class com.articulate.sigma.mlpipeline.MLpipeline
PLURAL - Enum constant in enum class com.articulate.sigma.nlg.SVOElement.NUMBER
PLUSFN - Static variable in class com.articulate.sigma.Formula
polysemous(String) - Static method in class com.articulate.sigma.wordNet.WSD
polysemous(String, int) - Static method in class com.articulate.sigma.wordNet.WSD
pop(StackElement) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Pop the top element of the stack if it is inElement.
populateCachedFormulas() - Static method in class com.articulate.sigma.tp.GenPropFormulas: Generate cached formulas for all combinations of numvars and depth between 1 and 7 (inclusive).
posAlphaKeyToWord(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
position - Variable in class com.articulate.sigma.nlg.SVOElement
posLettersToNumber(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Convert a part of speech number to the two letter format used by the WordNet sense index code.
posLetterToNumber(char) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
posNumberToLetter(char) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
posNumberToLetters(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Convert a part of speech number to the two letter format used by the WordNet sense index code.
posPennToNumber(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
post() - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added
post(Object[]) - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
post(String[], Object[]) - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
post(String, Object) - Method in class com.articulate.sigma.ClientHttpRequest: post the POST request to the server, with the specified parameter
post(String, Object, String, Object) - Method in class com.articulate.sigma.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(String, Object, String, Object, String, Object) - Method in class com.articulate.sigma.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(String, Object, String, Object, String, Object, String, Object) - Method in class com.articulate.sigma.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(URL, Object[]) - Static method in class com.articulate.sigma.ClientHttpRequest: posts a new request to specified URL, with parameters that are passed in the argument
post(URL, String[], Object[]) - Static method in class com.articulate.sigma.ClientHttpRequest: posts a new request to specified URL, with cookies and parameters that are passed in the argument
post(URL, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest: post the POST request specified URL, with the specified parameter
post(URL, String, Object, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post(URL, String, Object, String, Object, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post(URL, String, Object, String, Object, String, Object, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post(URL, Map) - Static method in class com.articulate.sigma.ClientHttpRequest: posts a new request to specified URL, with parameters that are passed in the argument
post(URL, Map<String, String>, Map) - Static method in class com.articulate.sigma.ClientHttpRequest: posts a new request to specified URL, with cookies and parameters that are passed in the argument
post(Map) - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
post(Map<String, String>, Map) - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
postCode - Variable in class com.articulate.sigma.dataProc.Hotel
postProcess(String) - Static method in class com.articulate.sigma.Formula: Remove the 'holds' prefix wherever it appears.
posWordToAlphaKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
pred - Variable in class com.articulate.sigma.parsing.FormulaAST.ArgStruct
pred - Variable in class com.articulate.sigma.parsing.FormulaAST.RowStruct
predicates - Variable in class com.articulate.sigma.KBcache
predicateTerms - Static variable in class com.articulate.sigma.trans.THFnew
predVarArity - Static variable in class com.articulate.sigma.PredVarInst
predVarCache - Variable in class com.articulate.sigma.Formula
PredVarInst - Class in com.articulate.sigma.parsing
PredVarInst - Class in com.articulate.sigma
PredVarInst() - Constructor for class com.articulate.sigma.PredVarInst
PredVarInst(KB) - Constructor for class com.articulate.sigma.parsing.PredVarInst
predVarInstDone - Static variable in class com.articulate.sigma.parsing.PredVarInst
prefEquals(String, String) - Method in class com.articulate.sigma.KBmanager: Safer than getPref().equals() since it can check for null
prefOverride - Static variable in class com.articulate.sigma.KBmanager
premises - Variable in class com.articulate.sigma.ProofStep: An ArrayList of Integer(s), which reference prior proof steps from which this axiom is derived.
prenex(Formula) - Method in class com.articulate.sigma.Prenexifier
Prenexifier - Class in com.articulate.sigma: This code is copyright Articulate Software (c) 2003.
Prenexifier() - Constructor for class com.articulate.sigma.Prenexifier
prependPOS(Set<String>, String) - Method in class com.articulate.sigma.wordNet.WordNet: Prepend a POS number to a set of 8 digit synsets
Preposition - Class in com.articulate.sigma.nlg: Handles preposition behavior for case roles.
Preposition() - Constructor for class com.articulate.sigma.nlg.Preposition
preprocess(Set<FormulaAST>, Set<FormulaAST>, Set<FormulaAST>) - Method in class com.articulate.sigma.parsing.Preprocessor
preProcess(Formula, boolean, KB) - Method in class com.articulate.sigma.FormulaPreprocessor: Pre-process a formula before sending it to the theorem prover.
preProcess(Set<String>) - Method in class com.articulate.sigma.KB: Preprocess the knowledge base to TPTP.
Preprocessor - Class in com.articulate.sigma.parsing
Preprocessor(KB) - Constructor for class com.articulate.sigma.parsing.Preprocessor
preprocessTHFProof(List<String>) - Static method in class com.articulate.sigma.trans.THFutil
PresentationNameComparator() - Constructor for class com.articulate.sigma.DocGen.PresentationNameComparator
primary - Variable in class com.articulate.sigma.VerbNet.Frame
printAllHotelAmenitySentiment(List<Hotel>) - Static method in class com.articulate.sigma.dataProc.Hotel
printAllHotels(List<Hotel>) - Static method in class com.articulate.sigma.dataProc.Hotel
printAllTerms(KB) - Static method in class com.articulate.sigma.Diagnostics
printAnswers() - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Print out prover's bindings
printCaches() - Method in class com.articulate.sigma.Formula
printCaches() - Method in class com.articulate.sigma.parsing.FormulaAST: the textual version of the formula
printContexts(Map<Integer, Set<SuokifParser.ArgumentContext>>) - Method in class com.articulate.sigma.parsing.VarTypes
printHelp() - Static method in class com.articulate.sigma.dataProc.Diagnosis
printHelp() - Static method in class com.articulate.sigma.KBcache
printHelp() - Static method in class com.articulate.sigma.KBmanager
printHelp() - Static method in class com.articulate.sigma.tp.GenPropFormulas
printHelp() - Static method in class com.articulate.sigma.tp.Vampire
printHelp() - Static method in class com.articulate.sigma.trans.SUMOKBtoTFAKB
printHTMLPages(Map<String, String>, String) - Method in class com.articulate.sigma.DocGen: Save pages below the KBs directory in a directory called HTML.
printInstances(KB, String) - Static method in class com.articulate.sigma.EditGUI: Get and print all instances of a class
printPrefs() - Method in class com.articulate.sigma.KBmanager: Print all preferences to stdout
printPrologTerm(PrologTerm) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor: ***************************************************************
printProof(int) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Print proof removing some steps based on proof level 1 = full proof 2 = remove steps with single support 3 = show only axioms from the KB
printResults() - Method in class com.articulate.sigma.tp.GenPropFormulas
printResults(Collection<InferenceTestSuite.InfTestData>) - Method in class com.articulate.sigma.InferenceTestSuite
printSpreadsheet(Map, List) - Method in class com.articulate.sigma.DB: Print a comma-delimited matrix.
printStatistics() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
printSUMO() - Method in class com.articulate.sigma.dataProc.Antenna
printSUMOFromFileByLine(String) - Static method in class com.articulate.sigma.wordNet.WSD: Extract SUMO terms from a file assuming one sentence per line print SUMO term keys and integer counts of their appearance
printTermDependency(KB, String) - Static method in class com.articulate.sigma.Diagnostics: Show file dependencies.
printTFFNumericConstants(PrintWriter) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB: Print the sorts of any numeric constants encountered during processing.
printTFFNumericConstants(List<String>) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB: Print the sorts of any numeric constants encountered during processing.
printTopSUMOInReviews(List<AVPair>) - Static method in class com.articulate.sigma.DB
printTPTPDataInCSV(Map) - Method in class com.articulate.sigma.DB: Print statistics in a summary form for TPTP test run data
printTree(NLGReadability.Node) - Static method in class com.articulate.sigma.nlg.NLGReadability
printVariableArityRelationContent(PrintWriter, Map<String, String>, String, AtomicInteger) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
process() - Method in class com.articulate.sigma.wordNet.BrownCorpus
process(Formula) - Static method in class com.articulate.sigma.parsing.SuokifApp: Process the given SUO-KIF
process(Formula, boolean) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: This is the primary method of the class.
process(Formula, boolean) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: This is the primary method of the class.
process(Formula, Map<String, Set<String>>, boolean) - Static method in class com.articulate.sigma.trans.THFnew: This is the primary method of the class.
process(File) - Static method in class com.articulate.sigma.parsing.SuokifApp: Process the given SUO-KIF
process(String) - Static method in class com.articulate.sigma.parsing.SuokifApp: Process the given SUO-KIF
process(String, boolean) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Parse a single formula into TPTP format.
processAll(Collection<FormulaAST>) - Method in class com.articulate.sigma.parsing.PredVarInst
processAnswers(String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Return bindings from TPTP3 answer tuples
processAnswersFromProof(StringBuilder, String) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Put bindings from TPTP3 proof answer variables into bindingMap
processDataLine(String) - Method in class com.articulate.sigma.mlpipeline.MLpipeline
processDocString(KB, String, String, String, boolean, boolean) - Method in class com.articulate.sigma.DocGen
PROCESSED - Enum constant in enum class com.articulate.sigma.nlg.StackElement.StackState
processEquals(Formula, Formula, List<String>) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula
processEquals(Formula, Formula, List<String>, Map<String, Set<String>>) - Static method in class com.articulate.sigma.trans.THFnew
processExtraction(List<String>) - Static method in class com.articulate.sigma.NER
processFormalLanguage(String) - Static method in class com.articulate.sigma.HTMLformatter
processHeaderLine(String) - Method in class com.articulate.sigma.mlpipeline.MLpipeline
processList(Collection<Formula>) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
processLogOp(Formula, Formula, List<String>) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula
processLogOp(Formula, Formula, List<String>, Map<String, Set<String>>) - Static method in class com.articulate.sigma.trans.THFnew
processMissingLinks(String, String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: This is a utility routine that should not be called during normal Sigma operation.
processModals(Formula, KB) - Static method in class com.articulate.sigma.trans.Modals
processNaturalLanguage(String, KB) - Static method in class com.articulate.sigma.HTMLformatter
processNonModal(Formula, Map<String, Set<String>>, boolean) - Static method in class com.articulate.sigma.trans.THFnew
processNounLine(String) - Method in class com.articulate.sigma.wordNet.WordNet
processOne(FormulaAST) - Method in class com.articulate.sigma.parsing.PredVarInst: Note that if there is more than one predicate variable we have to cycle through all the formulas generated for the first variable
processOneOXMLHotel(Element) - Static method in class com.articulate.sigma.dataProc.Hotel
processOneXMLHotel(Element) - Static method in class com.articulate.sigma.dataProc.Hotel
processPrologString(String) - Method in class com.articulate.sigma.wordNet.WordNet: Double any single quotes that appear.
processProofLines(List<String>) - Static method in class com.articulate.sigma.trans.TPTPutil
processRecurse(Formula) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula
processRecurse(Formula, KB, Integer) - Static method in class com.articulate.sigma.trans.Modals
processRecurse(Formula, String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: process a formula into TF0
processRecurse(Formula, Map<String, Set<String>>) - Static method in class com.articulate.sigma.trans.THFnew
processTimeDate(String) - Static method in class com.articulate.sigma.DB
processTPTPData() - Method in class com.articulate.sigma.DB: Read statistics for TPTP test run data
processValue(String, String) - Method in class com.articulate.sigma.dataProc.Infrastructure: process string measures into SUMO format
processVerbs() - Static method in class com.articulate.sigma.VerbNet.VerbNet
Product() - Constructor for class com.articulate.sigma.dataProc.Infrastructure.Product
productCatJSONtoSUMO(String, String, String, String) - Method in class com.articulate.sigma.dataProc.Infrastructure: Parse a sample of products and their categories formatted in a JSON.
productCount() - Method in class com.articulate.sigma.dataProc.Infrastructure
products - Variable in class com.articulate.sigma.dataProc.Infrastructure
productsByTypeNames - Variable in class com.articulate.sigma.dataProc.Infrastructure
productType - Variable in class com.articulate.sigma.dataProc.Infrastructure.Category
productTypes - Variable in class com.articulate.sigma.dataProc.Infrastructure
projects - Variable in class com.articulate.sigma.User: A List of String keys consisting of unique project names.
Prolog - Class in com.articulate.sigma
Prolog() - Constructor for class com.articulate.sigma.Prolog
promoteToBuiltIn(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Promote type to the most specific number that is a TFF type or superclass
proof - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData
proof - Variable in class com.articulate.sigma.trans.TPTP3ProofProcessor
proofParaphraseInEnglish - Static variable in class com.articulate.sigma.HTMLformatter
ProofProcessor - Class in com.articulate.sigma: Process results from the inference engine.
ProofProcessor(List<BasicXMLelement>) - Constructor for class com.articulate.sigma.ProofProcessor: Take an ArrayList of BasicXMLelement (s) and process them as needed
ProofStep - Class in com.articulate.sigma: A trivial structure to hold the elements of a proof step.
ProofStep() - Constructor for class com.articulate.sigma.ProofStep
proofTableFormat(String, TPTPFormula, String, String) - Static method in class com.articulate.sigma.HTMLformatter: Create the HTML for a single step in a proof.
proofText - Variable in class com.articulate.sigma.InferenceTestSuite.OneResult
proofTextFormat(String, ProofStep, String, String) - Static method in class com.articulate.sigma.HTMLformatter: Create the text for a single step in a proof.
protectedRelation(String) - Static method in class com.articulate.sigma.trans.THFnew
prover - Variable in class com.articulate.sigma.KBmanager
ProverCrashedException - Exception Class in com.articulate.sigma.tp: Exception thrown when an ATP process crashes or is killed by a signal.
ProverCrashedException(String, int) - Constructor for exception class com.articulate.sigma.tp.ProverCrashedException: Create a new ProverCrashedException with just exit code
ProverCrashedException(String, int, List<String>, List<String>, ATPResult) - Constructor for exception class com.articulate.sigma.tp.ProverCrashedException: Create a new ProverCrashedException
ProverTimeoutException - Exception Class in com.articulate.sigma.tp: Exception thrown when an ATP process times out.
ProverTimeoutException(String, long, long, boolean) - Constructor for exception class com.articulate.sigma.tp.ProverTimeoutException: Create a new ProverTimeoutException
ProverTimeoutException(String, long, long, boolean, List<String>, List<String>, ATPResult) - Constructor for exception class com.articulate.sigma.tp.ProverTimeoutException: Create a new ProverTimeoutException with output
provingClean() - Method in class com.articulate.sigma.trans.DB2KIF
purgeUserAssertionsFromMemory() - Method in class com.articulate.sigma.KB: Remove all formulas in memory whose sourceFile is _UserAssertions.kif.
pushBack() - Method in class com.articulate.sigma.StreamTokenizer_s: Causes the next call to the nextToken method of this tokenizer to return the current value in the ttype field, and not to modify the value in the nval or sval field.
pushCurrSumoProcessDown() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Push the current element's sumoProcessMap down into the previous element.
pushCurrTranslatedStateDown(String) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: If the top stack element has been translated, then find the given arg in the previous stack element and mark the corresponding formula argument as translated.
pushNew() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Push a new element onto the stack.
pushTranslationDownToNotLevel(String) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Handle pushing the translation down into the stack for "not" clauses.
PythonAPI - Class in com.articulate.sigma
PythonAPI() - Constructor for class com.articulate.sigma.PythonAPI
pythonServer() - Static method in class com.articulate.sigma.KBmanager: Create an server-based interface for Python to call the KB object.

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