- F_CONTROL_TOKENS - Static variable in class com.articulate.sigma.DocGen
-
- F_SI - Static variable in class com.articulate.sigma.DocGen
-
This String token denotes Sigma's "simple" HTML layout, and is
used as a flag in the HTML generation code to switch between
full and simple modes.
- facilities - Variable in class com.articulate.sigma.Hotel
-
- FactoryUtil - Class in com.articulate.sigma
-
This class defines static accessors and factory methods for Sigma
facilities that require extensive initialization, or depend on
reflection, or must be created in a special context, or for which
creation through invocation of a simple constructor is not
adequate.
- fax - Variable in class com.articulate.sigma.Hotel
-
- feedData - Variable in class com.articulate.sigma.Hotel
-
- femaleNames - Static variable in class com.articulate.sigma.DependencyConverter
-
- file2string(File) - Method in class com.articulate.sigma.semRewrite.Lexer
-
Read the contents of a text file into a String.
- filename - Variable in class com.articulate.sigma.semRewrite.Lexer
-
- filename - Static variable in class com.articulate.sigma.semRewrite.RuleSet
-
- fill(String, int) - Static method in class com.articulate.sigma.DB
-
- fillString(String, char, int, boolean) - Static method in class com.articulate.sigma.StringUtil
-
Fill a string with the desired character up to the totalLength.
- filterExcludePredicates(HashSet<String>, Formula) - Static method in class com.articulate.sigma.SUMOKBtoTPTPKB
-
return true if the given formula is simple clause,
and contains one of the excluded predicates;
otherwise return true;
- filterHtml(String) - Static method in class com.articulate.sigma.StringUtil
-
Remove HTML from input string.
- filterSimpleOnly - Static variable in class com.articulate.sigma.SUMOKBtoTPTPKB
-
- filterSumoTerms(ClauseSubstitutor) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
-
- findBalancedParen(int, String) - Static method in class com.articulate.sigma.StringUtil
-
Find the parenthesis that balances the one in st at character pIndex
- findContainingComposites(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns an ArrayList holding the composite entities (Elements)
that contain term, or returns an empty ArrayList.
- findExplicitTypes(Formula) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Collect variable names and their types from instance or subclass
expressions.
- findExplicitTypesClasses(Formula, HashMap<String, HashSet<String>>, HashMap<String, HashSet<String>>) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Collect variable names and their types from instance or subclass
expressions.
- findExplicitTypesClassesInAntecedent(Formula) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Collect the types of any variables that are specifically defined
in the antecedent of a rule with an instance expression;
Collect the super classes of any variables that are specifically
defined in the antecedent of a rule with an subclass expression;
- findExplicitTypesInAntecedent(Formula) - Method in class com.articulate.sigma.FormulaPreprocessor
-
Collect the types of any variables that are specifically defined
in the antecedent of a rule with an instance or subclass expression.
- findExplicitTypesRecurse(Formula, boolean, HashMap<String, HashSet<String>>, HashMap<String, HashSet<String>>) - Static method in class com.articulate.sigma.FormulaPreprocessor
-
Recursively collect a variable name and its types.
- findPOSInformation(Annotation, List<String>) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
-
returns a list of strings that add tense, number, etc.
- findRoot(HashMap<String, DependencyConverter.Node>) - Method in class com.articulate.sigma.DependencyConverter
-
- findType(int, String, KB) - Static method in class com.articulate.sigma.FormulaPreprocessor
-
Find the argument type restriction for a given predicate and
argument number that is inherited from one of its super-relations.
- findTypesForSkolemTerms(TPTP3ProofProcessor, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
-
Return the most specific type for skolem variable.
- findWordSendInContextWithPos(String, List<String>, int) - Static method in class com.articulate.sigma.WSD
-
Return the best guess at the synset for the given word in the
context of the sentence with the given POS.
- findWordSenseInContext(String, List<String>) - Static method in class com.articulate.sigma.WSD
-
Return the best guess at the synset for the given word in the
context of the sentence.
- findWordSensePOS(String, List<String>, int) - Static method in class com.articulate.sigma.WSD
-
Return the best guess at the synset for the given word in the
context of the sentence.
- findWSD(List<String>, Map<Integer, String>, EntityTypeParser) - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- FlagUtilities - Class in com.articulate.sigma.semRewrite.datesandnumber
-
- FlagUtilities() - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.FlagUtilities
-
- floors - Variable in class com.articulate.sigma.Hotel
-
- flushBase64() - Method in class com.articulate.sigma.Base64.OutputStream
-
Method added by PHIL.
- FN_SUFF - Static variable in class com.articulate.sigma.Formula
-
- fname - Variable in class com.articulate.sigma.semRewrite.Interpreter
-
- footerText - Variable in class com.articulate.sigma.DocGen
-
The document footer text to be used for HTML generation
- form - Variable in class com.articulate.sigma.semRewrite.RHS
-
- format(String, String, String) - Method in class com.articulate.sigma.Formula
-
Format a formula for either text or HTML presentation by inserting
the proper hyperlink code, characters for indentation and end of line.
- formatAnswer(Formula, List<String>, KB) - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- formatCompositeHierarchy(KB, String, List, String) - Method in class com.articulate.sigma.DocGen
-
Returns a String containing HTML markup for a hierarchy or tree
display of terms that denote nested composite components.
- formatConsistencyCheck(String, String, String, int) - Static method in class com.articulate.sigma.HTMLformatter
-
- formatContainingComposites(KB, String, ArrayList, String, String) - Method in class com.articulate.sigma.DocGen
-
Given the SUO-KIF statements:
(hasXmlElement PartyDescriptor LocalInstance_2_459)
(datatype LocalInstance_2_459 PartyId)
(documentation LocalInstance_2_459
PartyDescriptor "A Composite containing details...")
show PartyDescriptor as one of the "containing
composites" of PartyId, and show the documentation for
the instance node next to the parent composite.
- formatDocumentation(String, String, String) - Method in class com.articulate.sigma.KB
-
Hyperlink terms identified with '&%' to the URL that brings up
that term in the browser.
- formatErrors(KB) - Static method in class com.articulate.sigma.HTMLformatter
-
hyperlink formulas in error messages.
- formatFormulaList(ArrayList<Formula>, String, KB, String, String, int, int, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create the HTML for a section of the Sigma term browser page.
- formatList(String, String) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
Format a list of variables which are not enclosed by parens.
- formatProofResult(String, String, String, String, String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Create an HTML formatted result of a query.
- formatProofResult(String, String, String, String, String, String, int) - Static method in class com.articulate.sigma.HTMLformatter
-
- formatProofResult(ArrayList<BasicXMLelement>, String, String, String, String, String, int) - Static method in class com.articulate.sigma.HTMLformatter
-
- formatSUMO(HashSet<String>) - Static method in class com.articulate.sigma.DependencyConverter
-
- formatTPTP3ProofResult(TPTP3ProofProcessor, String, String, String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
- formatWords(String, String, String, String) - Static method in class com.articulate.sigma.OMWordnet
-
HTML format a list of word senses
- formatWords(TreeMap<String, String>, String) - Static method in class com.articulate.sigma.WordNetUtilities
-
HTML format a TreeMap of word senses and their associated synset
- formatWordsList(TreeMap<String, ArrayList<String>>, String) - Static method in class com.articulate.sigma.WordNetUtilities
-
HTML format a TreeMap of ArrayLists word senses
- Formula - Class in com.articulate.sigma
-
Handle operations on an individual formula.
- Formula(Formula) - Constructor for class com.articulate.sigma.Formula
-
- Formula() - Constructor for class com.articulate.sigma.Formula
-
- Formula(String) - Constructor for class com.articulate.sigma.Formula
-
- FormulaArg(String, StackElement.StackState) - Constructor for class com.articulate.sigma.nlg.StackElement.FormulaArg
-
- formulaMap - Variable in class com.articulate.sigma.KB
-
A Map of all the Formula objects in the KB.
- formulaMap - Variable in class com.articulate.sigma.KIF
-
A HashMap of String keys representing the formula, and Formula values.
- FormulaMatchMemoMapKey(String, String) - Constructor for class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
-
- FormulaPreprocessor - Class in com.articulate.sigma
-
- FormulaPreprocessor() - Constructor for class com.articulate.sigma.FormulaPreprocessor
-
- formulaRole - Variable in class com.articulate.sigma.ProofStep
-
A String of the role of the formula
- formulas - Variable in class com.articulate.sigma.KB
-
A HashMap of ArrayLists of String formulae, containing all the
formulae in the KB.
- formulas - Variable in class com.articulate.sigma.KIF
-
A HashMap of ArrayLists of Formulas.
- formulasToArrayLists(List<Formula>) - Static method in class com.articulate.sigma.KB
-
Converts all Formula objects in the input List to ArrayList
tuples.
- formulateNaturalVerb(Sentence) - Method in class com.articulate.sigma.nlg.SumoProcess
-
Try to phrase the verb into natural language, setting this object's internal state appropriately.
- formulaType - Variable in class com.articulate.sigma.ProofStep
-
A String of the type clause or formula
- FormulaUtil - Class in com.articulate.sigma
-
Created by sserban on 2/17/15.
- FormulaUtil() - Constructor for class com.articulate.sigma.FormulaUtil
-
- FormulaUtil.FormulaMatchMemoMapKey - Class in com.articulate.sigma
-
- fromBase64(String, String) - Static method in class com.articulate.sigma.StringUtil
-
Given an input String encoded in base-64, decodes the String
and returns the original form of input in charset.
- fromKIFClauses(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Interpreter
-
- fromOMWsynset(String) - Static method in class com.articulate.sigma.OMWordnet
-
Convert a POS-suffix OMW synset to an 8-digit WordNet synset.
- fromXML(BasicXMLelement) - Method in class com.articulate.sigma.User
-
Read in an XML object
- FullStop - Static variable in class com.articulate.sigma.semRewrite.Lexer
-