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

W

waitForFOF(int) - Static method in class com.articulate.sigma.trans.TPTPGenerationManager

Wait for FOF generation to complete.

waitForTFF(int) - Static method in class com.articulate.sigma.trans.TPTPGenerationManager

Wait for TFF generation to complete.

waitForTHFModal(int) - Static method in class com.articulate.sigma.trans.TPTPGenerationManager

Wait for THF Modal generation to complete.

waitForTHFPlain(int) - Static method in class com.articulate.sigma.trans.TPTPGenerationManager

Wait for THF Plain generation to complete.

WARNING - Static variable in class com.articulate.sigma.ErrRec

warnings - Variable in class com.articulate.sigma.Formula

Warnings found during execution.

warnings - Variable in class com.articulate.sigma.FormulaAST

Warnings found during execution.

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

Warnings found during loading of the KB constituents.

warningSet - Variable in class com.articulate.sigma.KIF

warnings generated during parsing

warningSet - Variable in class com.articulate.sigma.KIFAST

warnings generated during parsing

wasAborted() - Method in exception class com.articulate.sigma.tp.ProverCrashedException

wasCpuLimitExceeded() - Method in exception class com.articulate.sigma.tp.ProverCrashedException

wasForciblyStopped() - Method in exception class com.articulate.sigma.tp.ProverCrashedException

wasKilledBySignal() - Method in exception class com.articulate.sigma.tp.ProverCrashedException

wasSegmentationFault() - Method in exception class com.articulate.sigma.tp.ProverCrashedException

whitespaceChars(int, int) - Method in class com.articulate.sigma.StreamTokenizer_s

Specifies that all characters c in the range low <= c <= high are white space characters.

WikiMuscle - Class in com.articulate.sigma.dataProc

WikiMuscle() - Constructor for class com.articulate.sigma.dataProc.WikiMuscle

WikiMuscle.Record - Class in com.articulate.sigma.dataProc

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

winnowAllTypes(FormulaAST) - Method in class com.articulate.sigma.parsing.Sortals

Find the most specific type constraint for each variable

winnowTypeList(Set<String>, KB) - Method in class com.articulate.sigma.FormulaPreprocessor

This method tries to remove all but the most specific relevant classes from a List of sortal classes.

withoutSuffix(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform

withThoughtEmotion - Static variable in class com.articulate.sigma.wordNet.WordNetUtilities

withUserAssertionLock(Callable<T>) - Method in class com.articulate.sigma.KB

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

WNdiagnostics - Class in com.articulate.sigma.wordNet

A class that finds problems in WordNet to KB mappings.

WNdiagnostics() - Constructor for class com.articulate.sigma.wordNet.WNdiagnostics

wnMapping - Static variable in class com.articulate.sigma.VerbNet.VerbNet

wordChars(int, int) - Method in class com.articulate.sigma.StreamTokenizer_s

Specifies that all characters c in the range low <= c <= high are word constituents.

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

a HashMap of HashMaps where the key is a word sense of the form word_POS_num signifying the word, part of speech and number of the sense in WordNet.

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

a HashMap of HashMaps where the key is a word and the value is a HashMap of 9-digit POS-prefixed senses which is the value of the AVPair, and the number of times that sense occurs in the Brown corpus, which is the key of the AVPair

WordNet - Class in com.articulate.sigma.wordNet

This program finds and displays SUMO terms that are related in meaning to the English expressions that are entered as input.

WordNet() - Constructor for class com.articulate.sigma.wordNet.WordNet

WordNetRelations - Static variable in class com.articulate.sigma.wordNet.WordNetUtilities

wordnets - Variable in class com.articulate.sigma.wordNet.OMWordnet

This code is copyright Articulate Software (c) 2003.

WordNetUtilities - Class in com.articulate.sigma.wordNet

WordNetUtilities() - Constructor for class com.articulate.sigma.wordNet.WordNetUtilities

wordSensesInReviews(List<Hotel>) - Static method in class com.articulate.sigma.DB

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

A HashMap with words as keys and ArrayList as values.

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

wordWrap(String, int) - Static method in class com.articulate.sigma.DB

workers() - Static method in class com.articulate.sigma.EditorWorkerQueue

workingDirectory(String) - Method in class com.articulate.sigma.tp.ATPException.Builder

wrappedMetaFormat(FormulaAST) - Method in class com.articulate.sigma.parsing.TPTPWriter

write(char) - Method in class com.articulate.sigma.ClientHttpRequest

write(String) - Method in class com.articulate.sigma.ClientHttpRequest

writeCacheFile() - Method in class com.articulate.sigma.KBcache

Deprecated.

This is not needed since we have storeCacheAsFormulas()

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

Create the XML configuration element.

writeConfiguration() - Method in class com.articulate.sigma.KBmanager

Write the current configuration of the system.

writeCSVfile(PrintWriter) - Method in class com.articulate.sigma.trans.KIF2DB

writeDefsAsFiles() - Method in class com.articulate.sigma.trans.OWLtranslator

Write OWL format.

writeDisplayText(KB, String, String, String, String) - Static method in class com.articulate.sigma.KButilities

writeEquivalences(Set<String>, String, String) - Static method in class com.articulate.sigma.Mapping

Write synonymousExternalConcept expressions for term pairs given in cbset.

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

Write a KIF file consisting of all the formulas in the knowledge base.

writeFile(String) - Method in class com.articulate.sigma.KIF

Write a KIF file.

writeFile(String, Formula, boolean, PrintWriter) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB

Write all axioms in the KB to TPTP format.

writeHeader(PrintWriter, String) - Method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB

writeHotelAsXML(Hotel, PrintWriter) - Static method in class com.articulate.sigma.dataProc.Hotel

writeInferenceEngineFormulas(Set<String>) - Method in class com.articulate.sigma.KB

Save the contents of the current KB to a file.

writeIntegerTypes(KB, Writer) - Static method in class com.articulate.sigma.trans.THFnew

writeKB() - Method in class com.articulate.sigma.trans.KIF2SQL

Write SQL format.

writeKB() - Method in class com.articulate.sigma.trans.OWLtranslator

Write OWL format.

writeKB(String) - Method in class com.articulate.sigma.trans.OWLtranslator

Write OWL format.

writeKB(Connection, String) - Method in class com.articulate.sigma.trans.KIF2DB

writeln(String) - Method in class com.articulate.sigma.ClientHttpRequest

writeMinTPTP(List<TPTPFormula>) - Static method in class com.articulate.sigma.trans.TPTPutil

writeProlog(KB) - Method in class com.articulate.sigma.wordNet.WordNet

writePrologFile(String) - Static method in class com.articulate.sigma.Prolog

writeRelationSort(String, PrintWriter) - Method in class com.articulate.sigma.trans.SUMOKBtoTFAKB

Write signatures for relations

writeSort(String, PrintWriter) - Method in class com.articulate.sigma.trans.SUMOKBtoTFAKB

Write sort for a term

writeSorts(PrintWriter) - Method in class com.articulate.sigma.trans.SUMOKBtoTFAKB

Check if the relation has a numeric argument that isn't completely specific, so that it needs special treatment to create versions for integers, reals and rationals

writeSpreadsheet(List<List<String>>, boolean) - Static method in class com.articulate.sigma.DB

writeSpreadsheetLine(List<String>, boolean) - Static method in class com.articulate.sigma.DB

writeSQLfile(PrintWriter) - Method in class com.articulate.sigma.trans.KIF2DB

writeStatements(Set<String>, String) - Method in class com.articulate.sigma.tp.LEO

Write the statements to the temp-stmt.invalid input: '<'/> file

writeStatements(Set<String>, String) - Method in class com.articulate.sigma.tp.Vampire

Write all the strings in @param stmts to temp-stmt.[tptp|tff|thf]

writeSUMOOWLDefs(PrintWriter) - Method in class com.articulate.sigma.trans.OWLtranslator

Write OWL format.

writeSUMOTerm(PrintWriter, String) - Method in class com.articulate.sigma.trans.OWLtranslator

Write OWL format.

writeSUMOTerm(String) - Method in class com.articulate.sigma.trans.KIF2SQL

writeSUMOTerm(Connection, String) - Method in class com.articulate.sigma.trans.KIF2DB

writeSuoKifStatements(KB, String) - Static method in class com.articulate.sigma.DB

Writes to sourceFilePath all Formulae in kb that have sourceFilePath as source file.

writeSuoKifStatements(Set, PrintWriter) - Static method in class com.articulate.sigma.DB

writeTerm(PrintWriter, String) - Method in class com.articulate.sigma.trans.OWLtranslator

Write OWL format for a SUMO or WordNet term.

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

writeTHF(KB, List<String>) - Static method in class com.articulate.sigma.trans.THF

writeToStream(List<String>, OutputStream) - Static method in class com.articulate.sigma.DocGen

Writes a List of Strings to an OutputStream.

writeTPTPWordNet(PrintWriter) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities

Write TPTP format for WordNet

writeTypes(KB, Writer) - Static method in class com.articulate.sigma.trans.THFnew

writeTypesNonModal(KB, Writer) - Static method in class com.articulate.sigma.trans.THFnew

writeWordCoFrequencies(String, Map<String, Map<String, Integer>>) - Static method in class com.articulate.sigma.wordNet.WordNet

Write a HashMap of HashMaps where the key is a word sense of the form word_POS_num signifying the word, part of speech and number of the sense in WordNet.

writeWordNet() - Method in class com.articulate.sigma.trans.KIF2SQL

writeWordNet(PrintWriter) - Method in class com.articulate.sigma.trans.OWLtranslator

Write OWL format for SUMO-WordNet mappings.

writeWordNetG() - Method in class com.articulate.sigma.wordNet.WordNet

writeWordNetHyp() - Method in class com.articulate.sigma.wordNet.WordNet

writeWordNetProlog() - Method in class com.articulate.sigma.wordNet.WordNet

writeWordNetS() - Method in class com.articulate.sigma.wordNet.WordNet

Write WordNet data to a prolog file with a single kind of clause in the following format: s(Synset_ID, Word_No_in_the_Synset, Word, SS_Type, Synset_Rank_By_the_Word,Tag_Count)

writeXML() - Method in class com.articulate.sigma.wordNet.WordNet

WSD - Class in com.articulate.sigma.wordNet

WSD() - Constructor for class com.articulate.sigma.wordNet.WSD

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