- unify(Clause) - Method in class com.articulate.sigma.semRewrite.Clause
-
The argument to this method is the rule and this is the sentence
- unify(CNF) - Method in class com.articulate.sigma.semRewrite.CNF
-
Unify this CNF with the argument.
- unifyWith(Formula) - Method in class com.articulate.sigma.Formula
-
- universalsOut(Formula) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- unquote(String) - Static method in class com.articulate.sigma.StringUtil
-
- upcaseFirstVisibleChar(String, boolean, String) - Static method in class com.articulate.sigma.nlg.NLGUtils
-
Capitalizes the first visible char of htmlParaphrase, if
possible, and adds the full stop symbol for language at a
workable place near the end of htmlParaphrase if addFullStop is
true.
- updateCNF(int, CNF, RuleSet) - Static method in class com.articulate.sigma.semRewrite.RewriteRuleUtil
-
update a Ruleset's indexed rule's CNF
- updateUser(User) - Method in class com.articulate.sigma.PasswordService
-
- updateWNversion() - Method in class com.articulate.sigma.WordNetUtilities
-
Port the mappings from one version of WordNet to another.
- updateWNversionProcess(String, String, String) - Method in class com.articulate.sigma.WordNetUtilities
-
This is a utility routine that should not be called during
normal Sigma operation.
- updateWNversionReading(String, String, String) - Method in class com.articulate.sigma.WordNetUtilities
-
Read the version mapping files and store in the HashMap
called "mappings".
- UQUANT - Static variable in class com.articulate.sigma.Formula
-
- url - Variable in class com.articulate.sigma.Hotel
-
- URL_SAFE - Static variable in class com.articulate.sigma.Base64
-
- USE_CACHE - Static variable in class com.articulate.sigma.KBmanager
-
A numeric (bitwise) constant used to signal whether the closure
of instance and subclass relastions should be "cached out" for
use by the inference engine.
- USE_HOLDS_PREFIX - Static variable in class com.articulate.sigma.KBmanager
-
A numeric (bitwise) constant used to signal whether holds
prefixes should be added during formula preprocessing.
- USE_TPTP - Static variable in class com.articulate.sigma.KBmanager
-
A numeric (bitwise) constant used to signal whether formulas
should be translated to TPTP format during the processing of KB
constituent files.
- USE_TYPE_PREFIX - Static variable in class com.articulate.sigma.KBmanager
-
A numeric (bitwise) constant used to signal whether type
prefixes (sortals) should be added during formula
preprocessing.
- User - Class in com.articulate.sigma
-
A class that encrypts a string and checks it against another stored
encrypted string, in order to validate a user login.
- User() - Constructor for class com.articulate.sigma.User
-
- USER_ROLE - Static variable in class com.articulate.sigma.PasswordService
-
- userExists(String) - Method in class com.articulate.sigma.PasswordService
-
- Utilities - Class in com.articulate.sigma.semRewrite.datesandnumber
-
- Utilities() - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.Utilities
-