Skip navigation links
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 Z _ 

U

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
Encode using Base64-like encoding that is URL- and Filename-safe as described in Section 4 of RFC3548: http://www.faqs.org/rfcs/rfc3548.html.
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
 
A B C D E F G H I J K L M N O P Q R S T U V W Z _ 
Skip navigation links
Sigma API Specification