Package nltk :: Package sem :: Module drt :: Class DrtIndividualVariableExpression

type DrtIndividualVariableExpression

                       object --+        
                                |        
                      AbstractDrs --+    
                                    |    
               object --+           |    
                        |           |    
logic.SubstituteBindingsI --+       |    
                            |       |    
             logic.Expression --+   |    
                                |   |    
 logic.AbstractVariableExpression --+    
                                    |    
        DrtAbstractVariableExpression --+
                                        |
               object --+               |
                        |               |
logic.SubstituteBindingsI --+           |
                            |           |
             logic.Expression --+       |
                                |       |
 logic.AbstractVariableExpression --+   |
                                    |   |
   logic.IndividualVariableExpression --+
                                        |
                                       DrtIndividualVariableExpression

Known Subclasses:

DrtEventVariableExpression

Instance Methods

[hide private]

Inherited from DrtAbstractVariableExpression: fol, get_refs

Inherited from DrtAbstractVariableExpression (private): _pretty

Inherited from AbstractDrs: __add__, __and__, __gt__, __neg__, __or__, applyto, draw, eliminate_equality, equiv, is_pronoun_function, make_EqualityExpression, make_VariableExpression, pprint, pretty, resolve_anaphora, typecheck

Inherited from AbstractDrs (private): _get_type

Inherited from logic.IndividualVariableExpression (private): _set_type

Inherited from logic.AbstractVariableExpression: __eq__, __init__, __str__, findtype, replace, simplify, str, visit

Inherited from logic.Expression: __call__, __hash__, __lt__, __neq__, __repr__, free, negate, normalize, substitute_bindings, tp_equals, variables

Properties

[hide private]

Inherited from AbstractDrs: type