| No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 197-197 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 193-193 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 406-406 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 235-235 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 187-187 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 379-379 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 380-380 |
|
name