- V_PREF - Static variable in class com.articulate.sigma.Formula
-
- valences - Variable in class com.articulate.sigma.KBcache
-
The number of arguments to each relation.
- validArgs(String, Integer) - Method in class com.articulate.sigma.Formula
-
Test whether the Formula uses logical operators and predicates
with the correct number of arguments.
- validArgs() - Method in class com.articulate.sigma.Formula
-
Test whether the Formula uses logical operators and predicates
with the correct number of arguments.
- validatePictureList() - Static method in class com.articulate.sigma.KButilities
-
- validateUser(String, String) - Static method in class com.articulate.sigma.Login
-
Trivial case for now that allows only "admin" userId and everything
else is given read-only priviledges.
- value - Variable in class com.articulate.sigma.AVPair
-
- valueOf(String) - Static method in enum com.articulate.sigma.CCheckManager.CCheckStatus
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum com.articulate.sigma.nlg.CaseRole
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum com.articulate.sigma.nlg.StackElement.StackState
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum com.articulate.sigma.nlg.SVOElement.NUMBER
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum com.articulate.sigma.nlg.VerbProperties.Polarity
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum com.articulate.sigma.semRewrite.EntityType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum com.articulate.sigma.semRewrite.LHS.LHSop
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum com.articulate.sigma.semRewrite.Rule.RuleOp
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum com.articulate.sigma.CCheckManager.CCheckStatus
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values - Variable in class com.articulate.sigma.Hotel
-
- values() - Static method in enum com.articulate.sigma.nlg.CaseRole
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum com.articulate.sigma.nlg.StackElement.StackState
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum com.articulate.sigma.nlg.SVOElement.NUMBER
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum com.articulate.sigma.nlg.VerbProperties.Polarity
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum com.articulate.sigma.semRewrite.EntityType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum com.articulate.sigma.semRewrite.LHS.LHSop
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum com.articulate.sigma.semRewrite.Rule.RuleOp
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- Vampire - Class in com.articulate.sigma
-
Class for invoking the KIF version of Vampire from Java.
- Vampire.VampireFactory - Class in com.articulate.sigma
-
- VampireFactory() - Constructor for class com.articulate.sigma.Vampire.VampireFactory
-
- Var - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- variableReplace(String, Map<String, Set<String>>, HashMap<String, Set<String>>, KB, String) - Static method in class com.articulate.sigma.nlg.LanguageFormatter
-
Replace variables in a formula with paraphrases expressing their
type.
- VERB - Static variable in class com.articulate.sigma.WordNet
-
- verbDocumentationHash - Variable in class com.articulate.sigma.WordNet
-
- verbFrames - Variable in class com.articulate.sigma.WordNet
-
A HashMap where keys are 8 digit
WordNet synset byte offsets or synsets appended with a dash and a specific
word such as "12345678-foo".
- verboseAnswer - Static variable in class com.articulate.sigma.semRewrite.Interpreter
-
- verboseParse - Static variable in class com.articulate.sigma.semRewrite.Interpreter
-
- verboseProof - Static variable in class com.articulate.sigma.semRewrite.Interpreter
-
- verbPlural(String) - Static method in class com.articulate.sigma.WordNetUtilities
-
Return the plural form of the verb.
- VerbProperties - Interface in com.articulate.sigma.nlg
-
An interface for obtaining verb behavior in specific situations, e.g.
- VerbProperties.Polarity - Enum in com.articulate.sigma.nlg
-
- VerbPropertiesSimpleImpl - Class in com.articulate.sigma.nlg
-
A first-blush attempt at implementing the VerbProperties interface.
- VerbPropertiesSimpleImpl() - Constructor for class com.articulate.sigma.nlg.VerbPropertiesSimpleImpl
-
- verbRootForm(String, String) - Method in class com.articulate.sigma.WordNet
-
Return the present tense singular form of the verb, or null if
it's not in the lexicon.
- verbRootToThirdPersonSingular(String) - Static method in class com.articulate.sigma.nlg.SumoProcess
-
- verbSUMOHash - Variable in class com.articulate.sigma.WordNet
-
- verbSynsetFromTermFormat(String, String, KB) - Method in class com.articulate.sigma.WordNet
-
Generate a new verb synset from a termFormat
- verbSynsetHash - Variable in class com.articulate.sigma.WordNet
-
- VerbTags - Static variable in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
-
- VVAR - Static variable in class com.articulate.sigma.Formula
-
- VX - Static variable in class com.articulate.sigma.Formula
-