TPTP Problem Domains


AGT ALG ANA ARI BIO BOO CAT
COL COM CSR DAT FLD GEG GEO
GRA GRP HAL HEN HWC HWV ITP
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