Package nltk :: Package sem :: Module drt :: Class DrtLambdaExpression

Class DrtLambdaExpression

                           object --+    
                                    |    
                          AbstractDrs --+
                                        |
               object --+               |
                        |               |
logic.SubstituteBindingsI --+           |
                            |           |
             logic.Expression --+       |
                                |       |
   logic.VariableBinderExpression --+   |
                                    |   |
               logic.LambdaExpression --+
                                        |
drt_resolve_anaphora.LambdaExpression --+
                                        |
                                       DrtLambdaExpression

Instance Methods

[hide private]

toFol(self)

source code

Inherited from AbstractDrs: __add__, __and__, __call__, __gt__, __lt__, __neg__, __or__, applyto, draw, get_EqualityExpression, is_pronoun_function, make_VariableExpression, negate, tp_equals

Inherited from logic.LambdaExpression: str

Inherited from logic.VariableBinderExpression: __eq__, __init__, alpha_convert, free, replace, simplify, variables

Inherited from logic.Expression: __hash__, __repr__, __str__, substitute_bindings

Inherited from object: __delattr__, __getattribute__, __new__, __reduce__, __reduce_ex__, __setattr__

Inherited from drt_resolve_anaphora.LambdaExpression: resolve_anaphora

Properties

[hide private]

Inherited from object: __class__