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

L

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

lang - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB

lang - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB

langToExtension(String) - Static method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB

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

language - Variable in class com.articulate.sigma.KB

The natural language in which axiom paraphrases should be presented.

LanguageFormatter - Class in com.articulate.sigma.nlg

A class that handles the generation of natural language from logic.

LanguageFormatter(String, Map<String, String>, Map<String, String>, KB, String) - Constructor for class com.articulate.sigma.nlg.LanguageFormatter

LanguageFormatter.Keywords - Class in com.articulate.sigma.nlg

LanguageFormatter.RelationArgumentAnnotation - Class in com.articulate.sigma.nlg

LanguageFormatter.VariableAnnotation - Class in com.articulate.sigma.nlg

LanguageFormatterStack - Class in com.articulate.sigma.nlg

The stack which LanguageFormatter uses in its recursive operations.

LanguageFormatterStack() - Constructor for class com.articulate.sigma.nlg.LanguageFormatterStack

languageToCode(String) - Static method in class com.articulate.sigma.wordNet.OMWordnet

lastCCheck(String) - Method in class com.articulate.sigma.CCheckManager

Returns the timestamp of when the last consistency check was run on this KB.

lastModified - Variable in class com.articulate.sigma.dataProc.Hotel

lat - Variable in class com.articulate.sigma.dataProc.Hotel

launchEditor(String, int) - Static method in class com.articulate.sigma.HTMLformatter

Launch the jEdit editor with the cursor at the specified line number.

lChildren - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB

lcodes - Static variable in class com.articulate.sigma.wordNet.OMWordnet

leo - Variable in class com.articulate.sigma.KB

LEO-III inference engine process for this KB.

LEO - Class in com.articulate.sigma.tp

Class for invoking the latest version of LEO-III from Java.

LEO - Enum constant in enum class com.articulate.sigma.KBmanager.Prover

LEO() - Constructor for class com.articulate.sigma.tp.LEO

level - Static variable in class com.articulate.sigma.dataProc.Hotel

lexicalOrder() - Method in class com.articulate.sigma.KIF

Return an ArrayList of Formula in the same lexical order as their source file

line - Variable in class com.articulate.sigma.ErrRec

lineno() - Method in class com.articulate.sigma.StreamTokenizer_s

Return the current line number.

lineSeparator - Variable in class com.articulate.sigma.DocGen

listElements - Variable in class com.articulate.sigma.FormulaAST.ListTerm

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

Returns a non-negative int value indicating the top-level list length of this Formula if it is a proper listP(), else returns -1.

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

Test whether the Formula is a list.

listP() - Method in class com.articulate.sigma.FormulaAST

listP(String) - Static method in class com.articulate.sigma.Formula

Test whether the String is a list.

ListTerm() - Constructor for class com.articulate.sigma.FormulaAST.ListTerm

literal - Variable in class com.articulate.sigma.parsing.FormulaAST.ArgStruct

literal - Variable in class com.articulate.sigma.parsing.FormulaAST.RowStruct

literalListToFormula(List<String>) - Static method in class com.articulate.sigma.KB

Converts a literal (List object) to a Formula.

literalListToString(List<String>) - Static method in class com.articulate.sigma.KB

Converts a literal (List object) to a String.

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

lnames - Static variable in class com.articulate.sigma.wordNet.OMWordnet

lng - Variable in class com.articulate.sigma.dataProc.Hotel

loadEProver() - Method in class com.articulate.sigma.KB

Starts EProver and collects, preprocesses and loads all of the constituents into it.

loadEProver(String) - Method in class com.articulate.sigma.KB

Starts EProver and collects, preprocesses and loads all of the constituents into it.

loadFormatMaps(String) - Method in class com.articulate.sigma.KB

Populates the format maps for language lang.

loadFormatMapsAttempted - Variable in class com.articulate.sigma.KB

This List is used to limit the number of warning messages logged by loadFormatMaps(lang).

loadFormulas(Iterable<String>) - Method in class com.articulate.sigma.SInE

Loads formulas from given source.

loadKB(String, List<String>) - Method in class com.articulate.sigma.KBmanager

Loads the constituents of the KB from ~/.sigmakee/config.xml

loadKBforInference(KB) - Method in class com.articulate.sigma.KBmanager

loadLeo() - Method in class com.articulate.sigma.KB

Checks for a Leo executable, preprocesses all of the constituents.

loadLeo(String) - Method in class com.articulate.sigma.KB

Checks for a Leo executable, preprocesses all of the constituents.

loadNonKif(File) - Method in class com.articulate.sigma.SInE

Loads formulas from given source.

loadSerialized() - Static method in class com.articulate.sigma.KBmanager

Load the most recently saved serialized version.

loadSerialized() - Static method in class com.articulate.sigma.nlg.NLGUtils

Load the most recently save serialized version.

loadSerialized() - Static method in class com.articulate.sigma.wordNet.OMWordnet

Load the most recently save serialized version.

loadSerialized() - Static method in class com.articulate.sigma.wordNet.WordNet

Loads the most recently saved serialized version.

loadVampire() - Method in class com.articulate.sigma.KB

Checks for a Vampire executable, preprocesses all of the constituents.

loadVampire(String) - Method in class com.articulate.sigma.KB

Checks for a Vampire executable, preprocesses all of the constituents.

localCounter - Variable in class com.articulate.sigma.DocGen

LOG_FALSE - Static variable in class com.articulate.sigma.Formula

LOG_OPS - Static variable in class com.articulate.sigma.Diagnostics

LOG_TRUE - Static variable in class com.articulate.sigma.Formula

logic - Variable in class com.articulate.sigma.tp.Vampire

LOGICAL_OPERATORS - Static variable in class com.articulate.sigma.Formula

The SUO-KIF logical operators.

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

Tests if this is logically equal with the parameter formula.

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

Deprecated.

login() - Method in class com.articulate.sigma.PasswordService

Login - Class in com.articulate.sigma

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

Logop() - Constructor for class com.articulate.sigma.FormulaAST.Logop

logOpValences - Static variable in class com.articulate.sigma.KBcache

lowerCaseMode(boolean) - Method in class com.articulate.sigma.StreamTokenizer_s

Determines whether or not word token are automatically lowercased.

lowestCommonParent(String, String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

lowRate - Variable in class com.articulate.sigma.dataProc.Hotel

LP - Static variable in class com.articulate.sigma.Formula

LT - Static variable in class com.articulate.sigma.Formula

LTET - Static variable in class com.articulate.sigma.Formula

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