FieldOfStudy(field of study) |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 447-447 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 481-481 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 930-930 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 446-446 |