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

F

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.
f1 - Variable in class com.articulate.sigma.tp.GenPropFormulas
f2 - Variable in class com.articulate.sigma.tp.GenPropFormulas
facilities - Variable in class com.articulate.sigma.dataProc.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.
FAILURE - Enum constant in enum class com.articulate.sigma.tp.SZSStatus.Category
fax - Variable in class com.articulate.sigma.dataProc.Hotel
feedData - Variable in class com.articulate.sigma.dataProc.Hotel
file - Variable in class com.articulate.sigma.ErrRec
FILE_KEYS - Static variable in class com.articulate.sigma.KBmanager: Master file key cache for the config
filename - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData
filename - Variable in class com.articulate.sigma.KIF
filename - Variable in class com.articulate.sigma.KIFAST
files - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData
fill(String, int) - Static method in class com.articulate.sigma.DB
fill(List<String>, int, int) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Fill the indicated elements with "Entity", starting at start and ending at end-1
fill(List<String>, int, int, String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Fill the indicated elements with the given string, starting at start and ending at end-1
FILTER_SIMPLE_ONLY - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
filterAxiom(Formula, String, PrintWriter) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB: Deprecated.
filterAxiom(Formula, String, List<String>) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
filterExcludePredicates(Formula) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
filterMessage - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform
finalize(int, long, boolean) - Method in class com.articulate.sigma.tp.ATPResult: Finalize the result after prover execution.
findAllTypeRestrictions(Formula, KB) - Method in class com.articulate.sigma.FormulaPreprocessor
findArities(FormulaAST) - Method in class com.articulate.sigma.parsing.RowVar
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.
findDisconnectedGroups(HashMap<String, HashSet<String>>) - Static method in class com.articulate.sigma.Diagnostics: Finds all disconnected variable groups in the graph.
findEquationType(FormulaAST) - Method in class com.articulate.sigma.parsing.VarTypes: Go through the equation map of a formula.
findExplicitTypes(KB, Formula) - Method in class com.articulate.sigma.FormulaPreprocessor: Collect variable names and their types from instance or subclass expressions.
findExplicitTypesClasses(KB, Formula, Map<String, Set<String>>, Map<String, Set<String>>) - Method in class com.articulate.sigma.FormulaPreprocessor: Collect variable names and their types from instance or subclass expressions.
findExplicitTypesClassesInAntecedent(KB, 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(KB, 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(KB, Formula, boolean, Map<String, Set<String>>, Map<String, Set<String>>) - Static method in class com.articulate.sigma.FormulaPreprocessor: Recursively collect a variable name and its types.
findFormulaInBuffer(String, String[]) - Static method in class com.articulate.sigma.KifFileChecker: Find where a formula string appears in the buffer.
findLeaves(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Find all the leaf nodes for a particular relation in WordNet.
findLeavesInTree(Set<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Find all the leaf nodes for a particular relation in WordNet.
findLineInFormula(String, String) - Static method in class com.articulate.sigma.KifFileChecker: Find the relative line and column offset of a substring (e.g., error term) within a multi-line formula string.
findMultiWord(String, String, List<String>, List<String>) - Method in class com.articulate.sigma.wordNet.MultiWords
findMultiWord(List<String>) - Method in class com.articulate.sigma.wordNet.MultiWords
findMultiWord(List<String>, int, List<String>) - Method in class com.articulate.sigma.wordNet.MultiWords: Find the synset for a multi-word string, if it exists.
findOrphanVars(Formula) - Static method in class com.articulate.sigma.Diagnostics: Builds a map of variable co-occurrences in a formula
findPathsToRoot(List<String>, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Find the complete path from a given synset.
findPredVarTypes(Formula, KB) - Static method in class com.articulate.sigma.PredVarInst: Get a set of all the types for predicate variables in the formula.
findRelationsAsArgs(FormulaAST) - Method in class com.articulate.sigma.parsing.VarTypes: if a relation is used as an argument, add a suffix to that constant in the literal for the constant list.
findRowVars(Formula) - Static method in class com.articulate.sigma.RowVars
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.
findType(Formula) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
findType(KB) - Method in class com.articulate.sigma.Formula
findType(FormulaAST) - Method in class com.articulate.sigma.parsing.VarTypes: Go through the argument map of a formula, which consists of all predicates and their arguments in each position, within this formula, and find the type of that argument.
findTypeOfFunterm(SuokifParser.FuntermContext) - Method in class com.articulate.sigma.parsing.VarTypes: funterm : '(' FUNWORD argument+ ')' ; argument : (sentence | term) ;
findTypeOfTerm(SuokifParser.TermContext, String) - Method in class com.articulate.sigma.parsing.VarTypes: term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ; Since types are not instances, always remove any trailing '+' denoting a class
findTypeRestrictions(Formula, KB) - Method in class com.articulate.sigma.FormulaPreprocessor: Find all the type restrictions on the variables in a formula, including constraints from relation argument typing as well as explicitly stated types from instance and subclass expressions.
findTypes() - Method in class com.articulate.sigma.parsing.VarTypes
findTypesForSkolemTerms(KB) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Returns the most specific type for skolem variable.
findWordSenseInContext(String, List<String>) - Static method in class com.articulate.sigma.wordNet.WSD: Return the best guess at the synset for the given word in the context of the sentence.
findWordSenseInContextWithDomain(String, List<String>, String) - Static method in class com.articulate.sigma.wordNet.WSD: Return the best guess at the synset for the given word in the context of the sentence.
findWordSenseInContextWithPos(String, List<String>, int, boolean) - Static method in class com.articulate.sigma.wordNet.WSD: Return the best guess at the synset for the given word in the context of the sentence with the given POS.
findWordSensePOS(String, List<String>, int) - Static method in class com.articulate.sigma.wordNet.WSD: Return a list of scored guesses at the synset for the given word in the context of the sentence.
fixNegatedQuantifiers(List<String>) - Static method in class com.articulate.sigma.trans.THFutil: Wraps THF/TFF negated quantifiers so that "~ ? [..] : ..." becomes "~( ? [..] : ...
FLOORFN - Static variable in class com.articulate.sigma.Formula
floors - Variable in class com.articulate.sigma.dataProc.Hotel
FN_SUFF - Static variable in class com.articulate.sigma.Formula
FOL - Enum constant in enum class com.articulate.sigma.tp.Vampire.Logic
footerText - Variable in class com.articulate.sigma.DocGen: The document footer text to be used for HTML generation
force - Static variable in class com.articulate.sigma.KB: force regeneration of TPTP file
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.
formatCNF(List<String>) - Static method in class com.articulate.sigma.tp.GenPropFormulas: convert to a string
formatCollection(Collection<Formula>) - Static method in class com.articulate.sigma.FormulaUtil
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, List, 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 'invalid input: '&'%' to the URL that brings up that term in the browser.
formatErrorsWarnings(Set<String>, KB) - Static method in class com.articulate.sigma.HTMLformatter: hyperlink formulas in error messages.
formatFormulaList(List<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.
formatKif(String) - Static method in class com.articulate.sigma.KifFileChecker: Pretty-print KIF contents using the KIF parser and Formula.toString().
formatList(String, String) - Static method in class com.articulate.sigma.nlg.NLGUtils: Format a list of variables which are not enclosed by parens.
formatLongUrl(String) - Static method in class com.articulate.sigma.nlg.NLGUtils: Insert spaces into long URLs to improve readability in NL output.
formatStaticDocumentation(String, String, boolean) - Method in class com.articulate.sigma.KB: Hyperlink terms identified with 'invalid input: '&'%' to the URL that brings up that term in the ba static file Handle (and ignore) suffixes on the term.
formatTPTP3ProofResult(TPTP3ProofProcessor, String, String, String, String) - Static method in class com.articulate.sigma.HTMLformatter: Create HTML formatted output for a TPTP3 proof
formatTptpText(String, String) - Static method in class com.articulate.sigma.TPTPFileChecker: Format TPTP input text using tptp4X pretty-printing.
formatVerbs(Map<String, String>) - Static method in class com.articulate.sigma.VerbNet.VerbNet
formatVerbsList(Map<String, List<String>>) - Static method in class com.articulate.sigma.VerbNet.VerbNet
formatWikipedia(String) - Method in class com.articulate.sigma.KB: Hyperlink "[from Wikipedia]" if it occurs
formatWords(String, String, String, String) - Static method in class com.articulate.sigma.wordNet.OMWordnet: HTML format a list of word senses
formatWords(Map<String, String>, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: HTML format a TreeMap of word senses and their associated synset
formatWordsList(Map<String, List<String>>, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: HTML format a TreeMap of ArrayLists word senses
formToSUMO(String) - Static method in class com.articulate.sigma.trans.TPTP2SUMO: Convert a TPTP formula (without metadata) to SUMO, by wrapping it with dummy metadata
formula(String, int, String) - Method in class com.articulate.sigma.PythonAPI
Formula - Class in com.articulate.sigma: Handle operations on an individual formula.
Formula() - Constructor for class com.articulate.sigma.Formula
Formula(Formula) - Constructor for class com.articulate.sigma.Formula: Constructor to build a formula from an existing formula.
Formula(String) - Constructor for class com.articulate.sigma.Formula: Just set the textual version of the formula
FormulaArg(String, StackElement.StackState) - Constructor for class com.articulate.sigma.nlg.StackElement.FormulaArg
FormulaAST - Class in com.articulate.sigma
FormulaAST - Class in com.articulate.sigma.parsing
FormulaAST() - Constructor for class com.articulate.sigma.FormulaAST
FormulaAST() - Constructor for class com.articulate.sigma.parsing.FormulaAST
FormulaAST(FormulaAST) - Constructor for class com.articulate.sigma.parsing.FormulaAST
FormulaAST.ArgStruct - Class in com.articulate.sigma.parsing: A class for holding information about constants (non-variables) and the literal in which they appear
FormulaAST.Constant - Class in com.articulate.sigma
FormulaAST.ListTerm - Class in com.articulate.sigma
FormulaAST.Logop - Class in com.articulate.sigma
FormulaAST.NumberTerm - Class in com.articulate.sigma
FormulaAST.RegVar - Class in com.articulate.sigma
FormulaAST.RowStruct - Class in com.articulate.sigma.parsing: A class for holding information about row variables and the literal in which they appear
FormulaAST.RowVar - Class in com.articulate.sigma
FormulaAST.StringTerm - Class in com.articulate.sigma
FormulaAST.Term - Class in com.articulate.sigma
FormulaAST.UserTerm - Class in com.articulate.sigma
FormulaAST.Variable - Class in com.articulate.sigma
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.
formulaMap - Variable in class com.articulate.sigma.KIFAST: A HashMap of String keys representing the formula, and Formula values.
FormulaMatchMemoMapKey(String, String) - Constructor for class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
formulaPreds - Static variable in class com.articulate.sigma.trans.Modals
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.
formulas - Variable in class com.articulate.sigma.KIFAST: A HashMap of ArrayLists of Formulas.
formulas - Variable in class com.articulate.sigma.parsing.TPTPWriter
formulasOrdered - Variable in class com.articulate.sigma.KIF
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.
FormulaTranslationException - Exception Class in com.articulate.sigma.tp: Exception thrown when a formula cannot be translated from SUO-KIF to a target format (TPTP, TFF, THF).
FormulaTranslationException(String, String) - Constructor for exception class com.articulate.sigma.tp.FormulaTranslationException: Create a new FormulaTranslationException
FormulaTranslationException(String, String, int, int) - Constructor for exception class com.articulate.sigma.tp.FormulaTranslationException: Create a new FormulaTranslationException with position info
FormulaTranslationException(String, String, int, List<String>, List<String>) - Constructor for exception class com.articulate.sigma.tp.FormulaTranslationException: Create a new FormulaTranslationException with a std errors
FormulaTranslationException(String, String, Throwable) - Constructor for exception class com.articulate.sigma.tp.FormulaTranslationException: Create a new FormulaTranslationException with a cause
formulaType - Variable in class com.articulate.sigma.ProofStep: A String giving the type of the clause or formula, such as 'conjecture', 'plain' or 'axiom'
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
fp - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform
Frame - Class in com.articulate.sigma.VerbNet: This code is copyright Infosys 2019.
Frame() - Constructor for class com.articulate.sigma.VerbNet.Frame
Frame.Tuple - Class in com.articulate.sigma.VerbNet
frames - Variable in class com.articulate.sigma.VerbNet.Verb
fromDB(Connection, String) - Static method in class com.articulate.sigma.User: Load the object from a relational DB
fromExitCode(int, boolean) - Static method in enum class com.articulate.sigma.tp.SZSStatus: Determine SZS status from process exit code and timeout flag.
fromOMWsynset(String) - Static method in class com.articulate.sigma.wordNet.OMWordnet: Convert a POS-suffix OMW synset to an 8-digit WordNet synset.
fromString(String) - Static method in enum class com.articulate.sigma.tp.SZSStatus: Parse a string to an SZSStatus enum value.
funcIdCounter - Static variable in class com.articulate.sigma.dataProc.Infrastructure
functions - Variable in class com.articulate.sigma.KBcache
functionSpecializationAllowed(ParseTree, String) - Method in class com.articulate.sigma.parsing.VarTypes: The type specialization of MeasureFn is a special case funterm : '(' FUNWORD argument+ ')' ; argument : (sentence | term) ; term : (funterm | variable | string | number | FUNWORD | IDENTIFIER ) ;

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