A B C D E F G H I K L M N O P Q R S T U V W X Z

F

FALSE - Static variable in class ai.krr.BooleanSymbol

the BooleanSymbol for FALSE

FALSE - Static variable in class ai.krr.fol.TruthValue

the TruthValue for FALSE

FALSE - Static variable in class ai.krr.propositions.TruthValue

the TruthValue for FALSE

falseTT - Static variable in class ai.krr.KifSymbolAdaptor

token types used

falseTT - Static variable in class ai.krr.LispSymbolAdaptor

the token types used

falsifies(Sentence) - Method in class ai.krr.fol.KnowledgeBase

This function tests whether the given Sentence does not hold in this KnowledgeBase.

falsifies(Sentence) - Method in class ai.krr.propositions.Interpretation

This function tests whether the given propositional Sentence evaluates to false under this Interpretation.

fMap - Variable in class ai.krr.fol.Interpretation

the Map from functions to elements in the domain

follows(Sentence, Collection<Sentence>) - Method in class ai.krr.fol.HerbrandGenerator

follows(Sentence, Collection<Sentence>) - Method in interface ai.krr.fol.TheoremProver

This function tests whether the given Sentence logically follows from the given Collection of Sentences.

follows(Sentence, Collection<Sentence>) - Method in class ai.krr.propositions.DPSolverIE

This function tests whether the given Sentence logically follows from the given Collection of Sentences.

follows(Sentence, Collection<Sentence>) - Method in class ai.krr.propositions.InterpretationEnumerator

This function tests whether the given Sentence logically follows from the given Collection of Sentences.

follows(Sentence, Collection<Sentence>) - Method in class ai.krr.propositions.RTPSolverIE

This function tests whether the given Sentence logically follows from the given Collection of Sentences.

follows(Sentence, Collection<Sentence>) - Method in interface ai.krr.propositions.TheoremProver

This function tests whether the given Sentence logically follows from the given Collection of Sentences.

forallTT - Static variable in class ai.krr.fol.KifSentenceAdaptor

the token types used

function - Variable in class ai.krr.fol.FunctionTerm

functions - Variable in class ai.krr.fol.HerbrandGenerator.HerbrandUniverse

FunctionTerm - Class in ai.krr.fol

This class allows to build structured Terms that consist of a function symbol and a number of arguments.

FunctionTerm(Symbol, List<Term>) - Constructor for class ai.krr.fol.FunctionTerm

This constructor for a FunctionTerm takes a function Symbol and a List of argument Terms.

FunctionTerm(Symbol, Term...) - Constructor for class ai.krr.fol.FunctionTerm

This constructor for a FunctionTerm takes a function Symbol and a number of argument Terms; at least one.