Home       Trees       Indices       Help   
nltk 0.9.5
Package nltk :: Package sem :: Module drt :: Class DrtIndividualVariableExpression
[hide private]
[frames] | no frames]

Class DrtIndividualVariableExpression

source code

                             object --+        
                                      |        
                            AbstractDrs --+    
                                          |    
                     object --+           |    
                              |           |    
      logic.SubstituteBindingsI --+       |    
                                  |       |    
                   logic.Expression --+   |    
                                      |   |    
               logic.VariableExpression --+    
                                          |    
drt_resolve_anaphora.VariableExpression --+    
                                          |    
                      DrtVariableExpression --+
                                              |
                     object --+               |
                              |               |
      logic.SubstituteBindingsI --+           |
                                  |           |
                   logic.Expression --+       |
                                      |       |
               logic.VariableExpression --+   |
                                          |   |
         logic.IndividualVariableExpression --+
                                              |
    drt_resolve_anaphora.VariableExpression --+
                                              |
                                             DrtIndividualVariableExpression
Instance Methods [hide private]
 
toFol(self) source code
 
get_refs(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.IndividualVariableExpression: free

Inherited from logic.VariableExpression: __eq__, __init__, replace, simplify, str, 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.VariableExpression: resolve_anaphora

Properties [hide private]

Inherited from object: __class__

Method Details [hide private]

toFol(self)

source code 
Overrides: DrtVariableExpression.toFol

get_refs(self)

source code 
Overrides: DrtVariableExpression.get_refs

   Home       Trees       Indices       Help   
nltk 0.9.5
Generated by Epydoc 3.0beta1 on Wed Aug 27 15:08:56 2008 http://epydoc.sourceforge.net