nltk.sem.logic.Tokens

class documentation

class Tokens(object): (source)

Known subclasses: nltk.sem.drt.DrtTokens

View In Hierarchy

Undocumented

Constant ALL Undocumented
Constant ALL_LIST Undocumented
Constant AND Undocumented
Constant AND_LIST Undocumented
Constant BINOPS Undocumented
Constant CLOSE Undocumented
Constant COMMA Undocumented
Constant DOT Undocumented
Constant EQ Undocumented
Constant EQ_LIST Undocumented
Constant EXISTS Undocumented
Constant EXISTS_LIST Undocumented
Constant IFF Undocumented
Constant IFF_LIST Undocumented
Constant IMP Undocumented
Constant IMP_LIST Undocumented
Constant LAMBDA Undocumented
Constant LAMBDA_LIST Undocumented
Constant NEQ Undocumented
Constant NEQ_LIST Undocumented
Constant NOT Undocumented
Constant NOT_LIST Undocumented
Constant OPEN Undocumented
Constant OR Undocumented
Constant OR_LIST Undocumented
Constant PUNCT Undocumented
Constant QUANTS Undocumented
Constant SYMBOLS Undocumented
Constant TOKENS Undocumented
ALL: str = (source)

Undocumented

Value
'all'
ALL_LIST: list[str] = (source)

Undocumented

Value
['all', 'forall']
AND: str = (source)

Undocumented

Value
'&'
AND_LIST: list[str] = (source)

Undocumented

Value
['and', '&', '^']
BINOPS = (source)

Undocumented

Value
AND_LIST + OR_LIST + IMP_LIST + IFF_LIST
CLOSE: str = (source)

Undocumented

Value
')'
COMMA: str = (source)

Undocumented

Value
','
DOT: str = (source)

Undocumented

Value
'.'
EQ: str = (source)

Undocumented

Value
'='
EQ_LIST: list[str] = (source)

Undocumented

Value
['=', '==']
EXISTS: str = (source)

Undocumented

Value
'exists'
EXISTS_LIST: list[str] = (source)

Undocumented

Value
['some', 'exists', 'exist']
IFF: str = (source)

Undocumented

Value
'<->'
IFF_LIST: list[str] = (source)

Undocumented

Value
['iff', '<->', '<=>']
IMP: str = (source)

Undocumented

Value
'->'
IMP_LIST: list[str] = (source)

Undocumented

Value
['implies', '->', '=>']
LAMBDA: str = (source)

Undocumented

Value
'\\'
LAMBDA_LIST: list[str] = (source)

Undocumented

Value
['\\']
NEQ: str = (source)

Undocumented

Value
'!='
NEQ_LIST: list[str] = (source)

Undocumented

Value
['!=']
NOT: str = (source)

Undocumented

Value
'-'
NOT_LIST: list[str] = (source)

Undocumented

Value
['not', '-', '!']
OPEN: str = (source)

Undocumented

Value
'('
OR: str = (source)

Undocumented

Value
'|'
OR_LIST: list[str] = (source)

Undocumented

Value
['or', '|']
PUNCT = (source)
overridden in nltk.sem.drt.DrtTokens

Undocumented

Value
[DOT, OPEN, CLOSE, COMMA]
QUANTS = (source)

Undocumented

Value
EXISTS_LIST + ALL_LIST
SYMBOLS = (source)
overridden in nltk.sem.drt.DrtTokens

Undocumented

Value
[x for x in TOKENS if re.match('^[-\\\\.(),!&^|>=<]*$', x)]
TOKENS = (source)
overridden in nltk.sem.drt.DrtTokens

Undocumented

Value
BINOPS + EQ_LIST + NEQ_LIST + QUANTS + LAMBDA_LIST + PUNCT + NOT_LIST