nltk.sem.logic.IndividualVariableExpression

class documentation

class IndividualVariableExpression(AbstractVariableExpression): (source)

Known subclasses: nltk.sem.drt.DrtIndividualVariableExpression, nltk.sem.logic.EventVariableExpression

Constructor: IndividualVariableExpression(variable)

View In Hierarchy

This class represents variables that take the form of a single lowercase character (other than 'e') followed by zero or more digits.

Method constants No summary
Method free No summary
Class Variable type Undocumented
Method _get_type Undocumented
Method _set_type :see Expression._set_type()

Inherited from AbstractVariableExpression:

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

Inherited from Expression (via AbstractVariableExpression):

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 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 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 constants(self): (source)
overrides nltk.sem.logic.Expression.constants
See Also
Expression.constants()
def free(self): (source)
overrides nltk.sem.logic.Expression.free
See Also
Expression.free()
type = (source)

Undocumented

def _get_type(self): (source)

Undocumented

def _set_type(self, other_type=ANY_TYPE, signature=None): (source)
overrides nltk.sem.logic.AbstractVariableExpression._set_type

:see Expression._set_type()