nltk.sem.logic.AbstractVariableExpression

class documentation

class AbstractVariableExpression(Expression): (source)

Known subclasses: nltk.sem.drt.DrtAbstractVariableExpression, nltk.sem.logic.ConstantExpression, nltk.sem.logic.FunctionVariableExpression, nltk.sem.logic.IndividualVariableExpression

Constructor: AbstractVariableExpression(variable)

View In Hierarchy

This class represents a variable to be used as a predicate or entity

Method __eq__ Allow equality between instances of AbstractVariableExpression subtypes.
Method __init__ No summary
Method __lt__ Undocumented
Method __ne__ Undocumented
Method __str__ Undocumented
Method findtype :see Expression.findtype()
Method predicates No summary
Method replace No summary
Method simplify No summary
Instance Variable variable Undocumented
Method _set_type :see Expression._set_type()

Inherited from Expression:

Class Method fromstring Undocumented
Method __and__ Undocumented
Method __call__ Undocumented
Method __gt__ Undocumented
Method __hash__ Undocumented
Method __neg__ Undocumented
Method __or__ Undocumented
Method __repr__ Undocumented
Method applyto Undocumented
Method constants Return a set of individual constants (non-predicates). :return: set of Variable objects
Method equiv Check for logical equivalence. Pass the expression (self <-> other) to the theorem prover. If the prover says it is valid, then the self and other are equal.
Method free Return a set of all the free (non-bound) variables. This includes both individual and predicate variables, but not constants. :return: set of Variable objects
Method make_VariableExpression Undocumented
Method negate If this is a negated expression, remove the negation. Otherwise add a negation.
Method normalize Rename auto-generated unique variables
Method substitute_bindings No summary
Method typecheck Infer and check types. Raise exceptions if necessary.
Method variables Return a set of all the variables for binding substitution. The variables returned include all free (non-bound) individual variables and any variable starting with '?' or '@'. :return: set of Variable objects...
Method visit Recursively visit subexpressions. Apply 'function' to each subexpression and pass the result of each function application to the 'combinator' for aggregation:
Method visit_structured Recursively visit subexpressions. Apply 'function' to each subexpression and pass the result of each function application to the 'combinator' for aggregation. The combinator must have the same signature as the constructor...
Class Variable _logic_parser Undocumented
Class Variable _type_checking_logic_parser Undocumented
def __eq__(self, other): (source)
overrides nltk.sem.logic.Expression.__eq__

Allow equality between instances of AbstractVariableExpression subtypes.

def __init__(self, variable): (source)
Parameters
variableVariable, for the variable
def __lt__(self, other): (source)
overrides nltk.sem.logic.Expression.__lt__

Undocumented

def __ne__(self, other): (source)
overrides nltk.sem.logic.Expression.__ne__

Undocumented

def __str__(self): (source)
overrides nltk.sem.logic.Expression.__str__

Undocumented

def findtype(self, variable): (source)
overrides nltk.sem.logic.Expression.findtype

:see Expression.findtype()

def predicates(self): (source)
overrides nltk.sem.logic.Expression.predicates
See Also
Expression.predicates()
def replace(self, variable, expression, replace_bound=False, alpha_convert=True): (source)
overrides nltk.sem.logic.Expression.replace
See Also
Expression.replace()
def simplify(self): (source)
overrides nltk.sem.logic.Expression.simplify
Returns
beta-converted version of this expression
variable = (source)

Undocumented

def _set_type(self, other_type=ANY_TYPE, signature=None): (source)
overrides nltk.sem.logic.Expression._set_type
overridden in nltk.sem.logic.ConstantExpression, nltk.sem.logic.IndividualVariableExpression

:see Expression._set_type()