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

H

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

A bit of a hack to produce the statements that would result from the only two axioms in SUMO with two predicate variables

handleHOL3pred(Formula, KB, Integer) - Static method in class com.articulate.sigma.trans.Modals

Handle the predicates given in regHOL3pred, which have a parameter followed by a formula.

handleHOLpred(Formula, KB, Integer) - Static method in class com.articulate.sigma.trans.Modals

Handle predicates in regHOLpred that take an individual and a formula argument, e.g.

handleModalAttribute(Formula, KB, Integer) - Static method in class com.articulate.sigma.trans.Modals

Handle the predicate modalAttribute: (modalAttribute F M) is read as: "F holds in all worlds accessible via modality M".

harvestLocalFacts(Formula, Set<String>, Set<String>) - Static method in class com.articulate.sigma.KifFileChecker

Recursively collect local individuals and subclasses from formulas.

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

hasCorrectArity(Formula, KB) - Static method in class com.articulate.sigma.PredVarInst

If arity is correct, return null, otherwise, return the predicate that has its arity violated in the given formula.

hasCorrectTypes(KB, Formula) - Static method in class com.articulate.sigma.KButilities

Checks for consistent typing in the given formula

hasError() - Method in class com.articulate.sigma.tp.EProver

Check if there was an error during execution.

hasError() - Method in class com.articulate.sigma.tp.LEO

Check if there was an error during execution.

hasError() - Method in class com.articulate.sigma.tp.Vampire

Check if there was an error during execution.

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

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

should never be called so throw an error.

hashCode() - Method in class com.articulate.sigma.Formula

If equals is overridden, hashCode must use the same "significant" fields.

hashCode() - Method in class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey

hashCode() - Method in class com.articulate.sigma.VariableMapping

hasNumber - Variable in class com.articulate.sigma.parsing.SuokifVisitor

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

Check if at least one of the types in the list is a numeric type

hasNumericArg(String) - Method in class com.articulate.sigma.trans.SUMOKBtoTFAKB

Test whether the given relation has an argument that is a subclass of Quantity

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

The arg type list requires expansion since it contains a superclass of Integer, and therefore could be used with more than one TF) numerical type.

hasNumericSuperArg(String) - Method in class com.articulate.sigma.trans.SUMOKBtoTFAKB

Test whether the given relation has an argument that could be a number

hasPosition() - Method in exception class com.articulate.sigma.tp.FormulaTranslationException

hasPredVar - Variable in class com.articulate.sigma.parsing.SuokifVisitor

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

hasRowVar - Variable in class com.articulate.sigma.parsing.SuokifVisitor

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

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

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

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

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

Returns true if term has syntactic subcomponents such as XML elements or XML attributes in kb, else returns false.

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

hideNumbers - Static variable in class com.articulate.sigma.trans.SUMOformulaToTPTPformula

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

HOL - Enum constant in enum class com.articulate.sigma.tp.Vampire.Logic

Hotel - Class in com.articulate.sigma.dataProc

Hotel() - Constructor for class com.articulate.sigma.dataProc.Hotel

Hotel.JSONElement - Class in com.articulate.sigma.dataProc

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

Compute concept sentiment and store as a side effect.

HotelDBImport(boolean) - Static method in class com.articulate.sigma.dataProc.Hotel

hotelReviewSUMOasSparseMatrix(ArrayList<Hotel>) - Static method in class com.articulate.sigma.dataProc.Hotel

hotelReviewSUMOSentimentAsSparseMatrix(ArrayList<Hotel>, boolean) - Static method in class com.articulate.sigma.dataProc.Hotel

hotelSentiment(ArrayList<Hotel>) - Static method in class com.articulate.sigma.dataProc.Hotel

html - Variable in class com.articulate.sigma.InferenceTestSuite.OneResult

htmlDivider - Static variable in class com.articulate.sigma.HTMLformatter

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

Create the HTML for the labeled divider between the sections of the term display.

htmlFormat(KB, String) - Method in class com.articulate.sigma.Formula

Format a formula for HTML presentation.

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

Format a formula for HTML presentation.

HTMLformatter - Class in com.articulate.sigma

A utility class that creates HTML-formatting Strings for various purposes.

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

htmlizeSUMOTFA(String, String) - Static method in class com.articulate.sigma.trans.TPTPutil

Take a plain SUMOtoTFAform string and wrap every s__ token in a hyperlink, similar to htmlTPTPFormat().

htmlParaphrase(String) - Method in class com.articulate.sigma.nlg.LanguageFormatter

Hyperlink terms in a natural language format string.

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

Hyperlink terms in a natural language format string.

htmlTPTPFormat(Formula, String, boolean) - Static method in class com.articulate.sigma.trans.TPTPutil

Format a formula for either text or HTML presentation by inserting the proper hyperlink code, characters for indentation and end of line.

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