Package nltk :: Package sem :: Module drt :: Class AbstractDrs

Class AbstractDrs

object --+
         |
        AbstractDrs

Known Subclasses:

This is the base abstract abstract DRT Expression from which every DRT Expression extends.

Instance Methods

[hide private]

__call__(self, other, *additional)

source code

applyto(self, other)

source code

__neg__(self)

source code

negate(self)

source code

__and__(self, other)

source code

__or__(self, other)

source code

__gt__(self, other)

source code

__lt__(self, other)

source code

tp_equals(self, other, prover_name='tableau')
Pass the expression (self <-> other) to the theorem prover. source code

__add__(self, other)

source code

is_pronoun_function(self)
Is self of the form "PRO(x)"?

source code

get_EqualityExpression(self)

source code

make_VariableExpression(self, variable)

source code

draw(self)

source code

Inherited from object: __delattr__, __getattribute__, __hash__, __init__, __new__, __reduce__, __reduce_ex__, __repr__, __setattr__, __str__

Properties

[hide private]

Inherited from object: __class__

Method Details

[hide private]

tp_equals(self, other, prover_name=`'tableau'`)

source code

Pass the expression (self <-> other) to the theorem prover. If the prover says it is valid, then the self and other are equal.

Class AbstractDrs

tp_equals(self, other, prover_name='tableau')

tp_equals(self, other, prover_name=`'tableau'`)