Package nltk :: Package inference :: Module tableau :: Class Categories

[frames] | no frames]

type Categories

object --+
         |
        Categories

Class Variables

ATOM = 0

PROP = 1

N_ATOM = 2

N_PROP = 3

APP = 4

N_APP = 5

N_EQ = 6

D_NEG = 7

N_ALL = 8

N_EXISTS = 9

AND = 10

N_OR = 11

N_IMP = 12

OR = 13

IMP = 14

N_AND = 15

IFF = 16

N_IFF = 17

EQ = 18

EXISTS = 19

ALL = 20