nltk.sem.hole.Constants

class documentation

class Constants(object): (source)

Undocumented

Constant	`ALL`	Undocumented
Constant	`AND`	Undocumented
Constant	`EXISTS`	Undocumented
Constant	`HOLE`	Undocumented
Constant	`IFF`	Undocumented
Constant	`IMP`	Undocumented
Constant	`LABEL`	Undocumented
Constant	`LEQ`	Undocumented
Constant	`MAP`	Undocumented
Constant	`NOT`	Undocumented
Constant	`OR`	Undocumented
Constant	`PRED`	Undocumented

ALL: str = (source) ¶

Undocumented

Value

'ALL'

AND: str = (source) ¶

Undocumented

Value

'AND'

EXISTS: str = (source) ¶

Undocumented

Value

'EXISTS'

HOLE: str = (source) ¶

Undocumented

Value

'HOLE'

IFF: str = (source) ¶

Undocumented

Value

'IFF'

IMP: str = (source) ¶

Undocumented

Value

'IMP'

LABEL: str = (source) ¶

Undocumented

Value

'LABEL'

LEQ: str = (source) ¶

Undocumented

Value

'LEQ'

MAP = (source) ¶

Undocumented

Value

{ALL: (lambda v, e: AllExpression(v.variable, e)),
 EXISTS: (lambda v, e: ExistsExpression(v.variable, e)),
 NOT: NegatedExpression,
 AND: AndExpression,
 OR: OrExpression,
 IMP: ImpExpression,
 IFF: IffExpression,
...

NOT: str = (source) ¶

Undocumented

Value

'NOT'

OR: str = (source) ¶

Undocumented

Value

'OR'

PRED: str = (source) ¶

Undocumented

Value

'PRED'