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

N

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

name - Variable in class com.articulate.sigma.dataProc.Infrastructure.Category

name - Variable in class com.articulate.sigma.dataProc.Infrastructure.Product

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

The name of the knowledge base.

name - Variable in class com.articulate.sigma.TaxoNode

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

A List of currently known namespace prefixes.

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

A List of currently known namespaces.

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

NEGATED_QUERY - Static variable in class com.articulate.sigma.ProofStep

NEGATIVE - Enum constant in enum class com.articulate.sigma.nlg.VerbProperties.Polarity

NER - Class in com.articulate.sigma

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

nerve - Variable in class com.articulate.sigma.dataProc.WikiMuscle.Record

nerveText - Variable in class com.articulate.sigma.dataProc.WikiMuscle.Record

newline() - Method in class com.articulate.sigma.ClientHttpRequest

newTree(String) - Static method in class com.articulate.sigma.TaxoModel

Remove the old tree and start over from termName.

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

Parses the next token from the input stream of this tokenizer.

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

NLGReadability - Class in com.articulate.sigma.nlg

NLGStringUtils - Class in com.articulate.sigma.nlg

String utilities related to NLG.

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

NLGUtils - Class in com.articulate.sigma.nlg

Utilities and variables used by LanguageFormatter and other NLG classes.

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

NOCCHECK - Enum constant in enum class com.articulate.sigma.CCheckManager.CCheckStatus

noConjecture - Variable in class com.articulate.sigma.trans.TPTP3ProofProcessor

nodeMap - Static variable in class com.articulate.sigma.TaxoModel

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

nonMatchingTaxonomy(String, String) - Static method in class com.articulate.sigma.wordNet.WNdiagnostics

nonRelationTermsWithoutSynsets() - Static method in class com.articulate.sigma.wordNet.WNdiagnostics

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

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

Is the given 9 digit sysnset one constructed from SUMO termFormat expressions?

NORMAL_PARSE_MODE - Static variable in class com.articulate.sigma.KIF

A numeric constant denoting normal parse mode, in which syntax constraints are enforced.

normalize(String) - Static method in class com.articulate.sigma.Mapping

Normalize a string by replacing all non-letter, non-digit characters with spaces, adding spaces on capitalization boundaries, and then converting to lower case

normalizeProofStepNumbers(List<ProofStep>) - Static method in class com.articulate.sigma.ProofStep

Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.

normalizeSentiment(String) - Static method in class com.articulate.sigma.dataProc.Hotel

normalizeSkolem(String) - Static method in class com.articulate.sigma.InferenceTestSuite

skolem terms in a string are converted to 'sK1'

normalizeVariables(String) - Static method in class com.articulate.sigma.Clausifier

Returns a String in which all variables and row variables have been normalized -- renamed, in depth-first order of occurrence, starting from index 1 -- to support comparison of Formulae for equality.

normalizeVariables(String, boolean) - Static method in class com.articulate.sigma.Clausifier

Returns a String in which all variables and row variables have been normalized -- renamed, in depth-first order of occurrence, starting from index 1 -- to support comparison of Formulae for equality.

normalizeVariables_1(String, int[], Map, boolean) - Static method in class com.articulate.sigma.Clausifier

An internal helper method for normalizeVariables(String input).

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

NOT - Static variable in class com.articulate.sigma.tp.GenPropFormulas

NOT_RUN - Enum constant in enum class com.articulate.sigma.tp.SZSStatus

note - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData

notRun(String, String) - Static method in class com.articulate.sigma.tp.ATPResult

Create an ATPResult indicating the prover was not run

Noun - Class in com.articulate.sigma.nlg

Provides functionality related to nouns and NLG.

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

NOUN - Static variable in class com.articulate.sigma.wordNet.WordNet

nounDocumentationHash - Variable in class com.articulate.sigma.wordNet.WordNet

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

Return the plural form of the noun.

nounRootForm(String, String) - Method in class com.articulate.sigma.wordNet.WordNet

Return the root form of the noun, or null if it's not in the lexicon.

nounSUMOHash - Variable in class com.articulate.sigma.wordNet.WordNet

nounSynsetFromTermFormat(String, String, KB) - Method in class com.articulate.sigma.wordNet.WordNet

Generate a new noun synset from a termFormat

nounSynsetHash - Variable in class com.articulate.sigma.wordNet.WordNet

noWorld - Static variable in class com.articulate.sigma.trans.Modals

numAnswers() - Method in class com.articulate.sigma.ProofProcessor

Return the number of answers contained in this proof.

number - Variable in class com.articulate.sigma.ProofStep

The number assigned to this proof step, initially by EProver and then normalized by ProofStep.normalizeProofStepNumbers()

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

numConstAxioms - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform

numericConstantCount - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform

numericConstantTypes - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform

numericConstantValues - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform

numericConstraints - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform

numericVars - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform

numOccurr - Variable in class com.articulate.sigma.dataProc.WikiMuscle.Record

numSynsets(char) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

numTypePromotion(Formula, String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform

if the formula is a numeric atom or variable or a function with a number range and that type is more specific that the parentType, promote it with $to_real or invalid input: '&to_rat'

nval - Variable in class com.articulate.sigma.StreamTokenizer_s

If the current token is a number, this field contains the value of that number.

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