TPTP Problem Domains


AGT ALG ANA ARI BIO BOO CAT
CML 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 SLH SWB
SWC SWV SWW SYN SYO TOP