nltk.sem.glue.GlueFormula

class documentation

class GlueFormula(object): (source)

Known subclasses: nltk.sem.glue.DrtGlueFormula

Constructor: GlueFormula(meaning, glue, indices)

View In Hierarchy

Undocumented

Method __eq__ Undocumented
Method __init__ Undocumented
Method __lt__ Undocumented
Method __ne__ Undocumented
Method __repr__ Undocumented
Method __str__ Undocumented
Method applyto self = (x.(walk x), (subj -o f)) arg = (john , subj) returns ((walk john), f)
Method compile From Iddo Lev's PhD Dissertation p108-109
Method lambda_abstract Undocumented
Method make_LambdaExpression Undocumented
Method make_VariableExpression Undocumented
Method simplify Undocumented
Instance Variable glue Undocumented
Instance Variable indices Undocumented
Instance Variable meaning Undocumented
def __eq__(self, other): (source)

Undocumented

def __init__(self, meaning, glue, indices=None): (source)
overridden in nltk.sem.glue.DrtGlueFormula

Undocumented

def __lt__(self, other): (source)

Undocumented

def __ne__(self, other): (source)

Undocumented

def __repr__(self): (source)

Undocumented

def __str__(self): (source)

Undocumented

def applyto(self, arg): (source)

self = (x.(walk x), (subj -o f)) arg = (john , subj) returns ((walk john), f)

def compile(self, counter=None): (source)

From Iddo Lev's PhD Dissertation p108-109

def lambda_abstract(self, other): (source)

Undocumented

def make_LambdaExpression(self, variable, term): (source)
overridden in nltk.sem.glue.DrtGlueFormula

Undocumented

def make_VariableExpression(self, name): (source)
overridden in nltk.sem.glue.DrtGlueFormula

Undocumented

def simplify(self): (source)

Undocumented

glue = (source)
overridden in nltk.sem.glue.DrtGlueFormula

Undocumented

indices = (source)
overridden in nltk.sem.glue.DrtGlueFormula

Undocumented

meaning = (source)
overridden in nltk.sem.glue.DrtGlueFormula

Undocumented