TPTP Problem Domains

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