Meaning

Inference

ParallelProverBuilder	This class stores both a prover and a model builder and when either prove() or build_model() is called, then both theorem tools are run in parallel.
ParallelProverBuilderCommand	This command stores both a prover and a model builder and when either prove() or build_model() is called, then both theorem tools are run in parallel.
CfgReadingCommand
DiscourseTester	Check properties of an ongoing discourse.
DrtGlueReadingCommand
ReadingCommand
Mace
MaceCommand	A MaceCommand specific to the Mace model builder.
Prover9
Prover9Command	A ProverCommand specific to the Prover9 prover.
ResolutionProver
ResolutionProverCommand
TableauProver
TableauProverCommand

Semantics

Boxer	This class is an interface to Johan Bos's program Boxer, a wide-coverage semantic parser that produces Discourse Representation Structures (DRSs).
DRS	A Discourse Representation Structure.
DrtExpression	This is the base abstract DRT Expression from which every DRT Expression extends.
Assignment	A dictionary which represents an assignment of values to variables.
Model	A first order model is a domain D of discourse and a valuation V.
Undefined
Valuation	A dictionary which represents a model-theoretic Valuation of non-logical constants.
arity(rel)	Check the arity of a relation.
is_rel(s)	Check whether a set represents a relation (of any arity).
read_valuation(s[, encoding])	Convert a valuation string into a valuation.
set2rel(s)	Convert a set containing individuals (strings or numbers) into a set of unary tuples.
FStructure
ApplicationExpression	This class is used to represent two related types of logical expressions.
Expression	This is the base abstract object for all logical expressions
LogicalExpressionException
Variable
binding_ops()	Binding operators
boolean_ops()	Boolean operators
equality_preds()	Equality predicates
read_logic(s[, logic_parser, encoding])	Convert a file of First Order Formulas into a list of {Expression}s.
clause(reldict, relsym)	Print the relation in clausal form.
extract_rels(subjclass, objclass, doc[, ...])	Filter the output of semi_rel2reldict according to specified NE classes and a filler pattern.
rtuple(reldict[, lcon, rcon])	Pretty print the reldict as an rtuple.
skolemize(expression[, univ_scope, ...])	Skolemize the expression and convert to conjunctive normal form (CNF)
evaluate_sents(inputs, grammar, model, ...)	Add the truth-in-a-model value to each semantic representation for each syntactic parse of each input sentences.
interpret_sents(inputs, grammar[, semkey, trace])	Add the semantic representation to each syntactic parse tree of each input sentence.
parse_sents(inputs, grammar[, trace])	Convert input sentences into syntactic trees.
root_semrep(syntree[, semkey])	Find the semantic representation at the root of a tree.