TPTP Problem Domains


AGT ALG ANA ARI BIO BOO CAT
COL COM CSR DAT FLD GEG GEO
GRA GRP HAL HEN HWC HWV KLE
KRS LAT LCL LDA LIN MED MGT
MSC NLP NUM NUN PHI PLA PRD
PRO PUZ QUA RAL REL RNG ROB
SCT SET SEU SEV SWB SWC SWV
SWW SYN SYO TOP