nltk.inference.tableau.Categories

class documentation

class Categories(object): (source)

View In Hierarchy

Undocumented

Constant ALL Undocumented
Constant AND Undocumented
Constant APP Undocumented
Constant ATOM Undocumented
Constant D_NEG Undocumented
Constant EQ Undocumented
Constant EXISTS Undocumented
Constant IFF Undocumented
Constant IMP Undocumented
Constant N_ALL Undocumented
Constant N_AND Undocumented
Constant N_APP Undocumented
Constant N_ATOM Undocumented
Constant N_EQ Undocumented
Constant N_EXISTS Undocumented
Constant N_IFF Undocumented
Constant N_IMP Undocumented
Constant N_OR Undocumented
Constant N_PROP Undocumented
Constant OR Undocumented
Constant PROP Undocumented
ALL: int = (source)

Undocumented

Value
20
AND: int = (source)

Undocumented

Value
10
APP: int = (source)

Undocumented

Value
4
ATOM: int = (source)

Undocumented

Value
0
D_NEG: int = (source)

Undocumented

Value
7
EQ: int = (source)

Undocumented

Value
18
EXISTS: int = (source)

Undocumented

Value
19
IFF: int = (source)

Undocumented

Value
16
IMP: int = (source)

Undocumented

Value
14
N_ALL: int = (source)

Undocumented

Value
8
N_AND: int = (source)

Undocumented

Value
15
N_APP: int = (source)

Undocumented

Value
5
N_ATOM: int = (source)

Undocumented

Value
2
N_EQ: int = (source)

Undocumented

Value
6
N_EXISTS: int = (source)

Undocumented

Value
9
N_IFF: int = (source)

Undocumented

Value
17
N_IMP: int = (source)

Undocumented

Value
12
N_OR: int = (source)

Undocumented

Value
11
N_PROP: int = (source)

Undocumented

Value
3
OR: int = (source)

Undocumented

Value
13
PROP: int = (source)

Undocumented

Value
1