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 MED MGT MSC
NLP NUM NUN PHI PLA PRD PRO
PUZ QUA REL RNG ROB SCT SET
SEU SEV SWB SWC SWV SWW SYN
SYO TOP