| No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 66-66 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 100-100 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 362-362 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 773-773 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 107-107 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 392-392 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 148-148 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 149-149 |
|
deathTime