Package nltk :: Package sem :: Module drt :: Class DrtNegatedExpression

Class DrtNegatedExpression

                            object --+    
                                     |    
                           AbstractDrs --+
                                         |
                    object --+           |
                             |           |
     logic.SubstituteBindingsI --+       |
                                 |       |
                  logic.Expression --+   |
                                     |   |
               logic.NegatedExpression --+
                                         |
drt_resolve_anaphora.NegatedExpression --+
                                         |
                                        DrtNegatedExpression

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.NegatedExpression: __eq__, __init__, free, 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.NegatedExpression: resolve_anaphora

Properties

[hide private]

Inherited from object: __class__