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

[frames] | no frames]

type DrtNegatedExpression

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

Instance Methods

fol(self)

source code

get_refs(self, recursive=False)
Return the set of discourse referents in this DRS.

source code

_pretty(self)

source code

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.NegatedExpression: __eq__, __init__, __str__, findtype, negate, str, visit

Inherited from logic.NegatedExpression (private): _set_type

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

Properties

Inherited from AbstractDrs: type

Method Details

get_refs(self, recursive=False)

Return the set of discourse referents in this DRS.

Parameters:

recursive - boolean Also find discourse referents in subterms?

Returns:

list of Variables

Overrides: AbstractDrs.get_refs

See Also: AbstractExpression.get_refs()