TPTP Problem Domains


AGT ALG ANA BOO CAT COL COM
CSR FLD GEG GEO GRA GRP HAL
HEN HWC HWV KLE KRS LAT LCL
LDA MED MGT MSC NLP NUM PLA
PRO PUZ REL RNG ROB SET SEU
SEV SWC SWV SYN SYO TOP