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`	`MVA`	`NLP`	`NUM`	`NUN`	`PHI`
`PLA`	`PRD`	`PRO`	`PRV`	`PUZ`	`QUA`	`RAL`
`REL`	`RNG`	`ROB`	`SCT`	`SET`	`SEU`	`SEV`
`SWB`	`SWC`	`SWV`	`SWW`	`SWX`	`SYN`	`SYO`
`SYP`	`TIM`	`TOP`