Skip navigation links
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 Z _ 

P

page(String, int, String, String, String) - Method in class com.articulate.sigma.WordNet
This is the regular point of entry for this class.
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(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(Lexer, int) - Static method in class com.articulate.sigma.semRewrite.LHS
 
parse(Lexer, int) - Static method in class com.articulate.sigma.semRewrite.Literal
 
parse(Lexer, int) - Static method in class com.articulate.sigma.semRewrite.RHS
The predicate must already have been read
parse(Lexer) - Static method in class com.articulate.sigma.semRewrite.Rule
We won't know whether it's a fact or a rule until we read the first token, so the first token for LHS will always be already in st.sval
parse(Lexer) - Method in class com.articulate.sigma.semRewrite.RuleSet
 
parse(Reader) - Method in class com.articulate.sigma.SimpleDOMParser
 
parseAllHotelReviewFiles(String) - Static method in class com.articulate.sigma.Hotel
Read hotel review files
parseAllTHotelReviewFiles(String) - Static method in class com.articulate.sigma.Hotel
Read hotel review files
parseAnswerTuples(String, KB, FormulaPreprocessor) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
Return a list of answers if E finds bindings for wh- queries.
parseCuisines(String, String, String) - Static method in class com.articulate.sigma.DB
 
parseHTMLAddress(Hotel, String) - Static method in class com.articulate.sigma.Hotel
Set address fields in the hotel as a side effect.
parseInferenceObject(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor
 
parseJSONElement(String, int, Hotel.JSONElement) - Static method in class com.articulate.sigma.Hotel
This routine adds elements to the parameter
parseJSONPair(String, int, Hotel.JSONElement) - Static method in class com.articulate.sigma.Hotel
This routine adds keys and values to the parameter.
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.Hotel
 
parseOneHotelReviewFile(String) - Static method in class com.articulate.sigma.Hotel
 
parseOneJSONReviewFile(String) - Static method in class com.articulate.sigma.Hotel
 
parseOneRestFile(String) - Static method in class com.articulate.sigma.DB
A test method.
parseOneTHotelReviewFile(String) - Static method in class com.articulate.sigma.Hotel
 
parseProofOutput(LineNumberReader, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
Compute bindings and proof from E's response
parseProofOutput(ArrayList<String>, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
Compute binding and proof from E's response
parseProofOutput(String, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
 
parseProofStep(String) - Method in class com.articulate.sigma.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
 
parseSimple(Lexer) - Static method in class com.articulate.sigma.semRewrite.CNF
Only positive clauses, no disjuncts, which is the output format of the Stanford Dependency Parser
parseStatement(String) - Method in class com.articulate.sigma.KIF
Parse a single formula.
parseString(String) - Static method in class com.articulate.sigma.semRewrite.Rule
 
parseSupports(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor
Parse support / proof statements in E's response
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.
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 - Class in com.articulate.sigma.nlp.pipeline
 
Pipeline() - Constructor for class com.articulate.sigma.nlp.pipeline.Pipeline
 
Pipeline(boolean) - Constructor for class com.articulate.sigma.nlp.pipeline.Pipeline
 
plistMatch(List<String>, String) - Static method in class com.articulate.sigma.SetUtil
Returns the first String value indexed by a String regex matching key in the property list plist, else returns an empty String if no regex in plist matches key.
Plus - Static variable in class com.articulate.sigma.semRewrite.Lexer
 
PLUSFN - Static variable in class com.articulate.sigma.Formula
 
pop(StackElement) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
Pop the top element of the stack if it is inElement.
populateParserInfo(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
Calls the stanford parser and extracts the necessary information about the words in the string and stores them in Token object for further usage.
populateRootWord(int) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
 
pos - Variable in class com.articulate.sigma.semRewrite.Lexer
 
POS_CC - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_CD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_DT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_EX - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_FW - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_IN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_JJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_JJR - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_JJS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_LS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_MD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_NN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_NNP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_NNPS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_NNS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_PDT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_POS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_PRP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_PRPS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_RB - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_RBR - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_RBS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_RP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_SYM - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_TO - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_UH - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_VB - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_VBD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_VBG - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_VBN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_VBP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_VBZ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_WDT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_WP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_WPS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
POS_WRB - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
position - Variable in class com.articulate.sigma.nlg.SVOElement
 
posLettersToNumber(String) - Static method in class com.articulate.sigma.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.WordNetUtilities
 
posNumberToLetter(char) - Static method in class com.articulate.sigma.WordNetUtilities
 
posNumberToLetters(String) - Static method in class com.articulate.sigma.WordNetUtilities
Convert a part of speech number to the two letter format used by the WordNet sense index code.
post() - Method in class com.articulate.sigma.ClientHttpRequest
posts the requests to the server, with all the cookies and parameters that were added
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(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(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
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, 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, 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, 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(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
postCode - Variable in class com.articulate.sigma.Hotel
 
postProcess(String) - Static method in class com.articulate.sigma.Formula
Remove the 'holds' prefix wherever it appears.
postProcess(String) - Static method in class com.articulate.sigma.semRewrite.Interpreter
 
pred - Variable in class com.articulate.sigma.semRewrite.Literal
 
PredVarInst - Class in com.articulate.sigma
 
PredVarInst() - Constructor for class com.articulate.sigma.PredVarInst
 
premises - Variable in class com.articulate.sigma.ProofStep
An ArrayList of Integer(s), which reference prior proof steps from which this axiom is derived.
prepare(List<String>, String) - Method in class com.articulate.sigma.nlp.TFIDF
 
prepareLine(String) - Method in class com.articulate.sigma.nlp.TFIDF
 
Preposition - Class in com.articulate.sigma.nlg
Handles preposition behavior for case roles.
Preposition() - Constructor for class com.articulate.sigma.nlg.Preposition
 
preProcess(Formula, boolean, KB) - Method in class com.articulate.sigma.FormulaPreprocessor
Pre-process a formula before sending it to the theorem prover.
preProcess(HashSet<String>) - Method in class com.articulate.sigma.KB
Preprocess the knowledge base to TPTP.
preProcessQuestionWords(List<String>) - Method in class com.articulate.sigma.semRewrite.Clause
 
preProcessQuestionWords(List<String>) - Method in class com.articulate.sigma.semRewrite.CNF
 
preProcessQuestionWords(CNF) - Static method in class com.articulate.sigma.semRewrite.Interpreter
 
preProcessQuestionWords(List<String>) - Method in class com.articulate.sigma.semRewrite.Literal
If the tokens in the literal are derived from words parsed from the Stanford dependency parser, and therefore in the form word-xx, where xx are digits, prepend a '?' to signify that it's a variable.
PresentationNameComparator() - Constructor for class com.articulate.sigma.DocGen.PresentationNameComparator
 
preserve - Variable in class com.articulate.sigma.semRewrite.Literal
 
print() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
 
printAllHotelAmenitySentiment(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
 
printAllHotels(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
 
printAnswers() - Method in class com.articulate.sigma.TPTP3ProofProcessor
Print out E's bindings
printCorefChain(Annotation) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
Print the coreference link graph Each chain stores a set of mentions that link to each other, along with a method for getting the most representative mention Both sentence and token offsets start at 1!
printHTMLPages(TreeMap, 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
printKB(ArrayList<CNF>) - Method in class com.articulate.sigma.semRewrite.Interpreter
 
printRuleSetTree(ArrayList<Rule>, Map<Integer, HashSet<Integer>>) - Static method in class com.articulate.sigma.semRewrite.SemRewriteRuleCheck
//TODO
printSentences(Annotation) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
Print all the sentences in this document CoreMap is essentially a Map that uses class objects as keys and has values with custom types
printSpreadsheet(TreeMap, ArrayList) - Method in class com.articulate.sigma.DB
Print a comma-delimited matrix.
printStatistics() - Static method in class com.articulate.sigma.WordNetUtilities
 
printTermDependency(KB, String) - Static method in class com.articulate.sigma.Diagnostics
Show file dependencies.
printTopSUMOInReviews(ArrayList<AVPair>) - Static method in class com.articulate.sigma.DB
 
printTPTPDataInCSV(HashMap) - Method in class com.articulate.sigma.DB
Print statistics in a summary form for TPTP test run data
printVariableArityRelationContent(PrintWriter, TreeMap<String, String>, String, int, boolean) - Method in class com.articulate.sigma.SUMOKBtoTPTPKB
 
Procedures - Class in com.articulate.sigma.semRewrite
 
Procedures() - Constructor for class com.articulate.sigma.semRewrite.Procedures
 
processAnswers(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor
Return bindings from E's answer tuples
processDate(Tokens, Utilities, List<Tokens>, Tokens) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
 
processDependency(DependencyConverter.Node) - Static method in class com.articulate.sigma.DependencyConverter
Process one grammatical dependency statements from the Stanford parser into a logical expression using SUMO terms.
processDocString(KB, String, String, String, boolean, boolean) - Method in class com.articulate.sigma.DocGen
 
processDuration(Tokens, Utilities, Tokens) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
 
processExtraction(ArrayList<String>) - Static method in class com.articulate.sigma.NER
 
processFormalLanguage(String) - Static method in class com.articulate.sigma.HTMLformatter
 
processInput(String) - Method in class com.articulate.sigma.semRewrite.Interpreter
Processes the user's input by adding coreferencing information Save processed input into Document
processMissingLinks(String, String, String) - Static method in class com.articulate.sigma.WordNetUtilities
This is a utility routine that should not be called during normal Sigma operation.
processNaturalLanguage(String, KB) - Static method in class com.articulate.sigma.HTMLformatter
 
processOneOXMLHotel(Element) - Static method in class com.articulate.sigma.Hotel
 
processOneXMLHotel(Element) - Static method in class com.articulate.sigma.Hotel
 
processPhrasalVerbs(List<String>) - Static method in class com.articulate.sigma.semRewrite.Interpreter
Combine phrasal verbs in dependency parsing results.
processPrologString(String) - Method in class com.articulate.sigma.WordNet
Double any single quotes that appear.
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
processWordIndexes() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
 
ProgressPrinter - Class in com.articulate.sigma.utils
 
ProgressPrinter(int) - Constructor for class com.articulate.sigma.utils.ProgressPrinter
 
Prolog - Class in com.articulate.sigma
 
Prolog() - Constructor for class com.articulate.sigma.Prolog
 
proof - Variable in class com.articulate.sigma.TPTP3ProofProcessor
 
ProofProcessor - Class in com.articulate.sigma
Process results from the inference engine.
ProofProcessor(ArrayList<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, ProofStep, String, String) - Static method in class com.articulate.sigma.HTMLformatter
Create the HTML for a single step in a proof.
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.
A B C D E F G H I J K L M N O P Q R S T U V W Z _ 
Skip navigation links
Sigma API Specification