| No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 265-265 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 1029-1029 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 302-302 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 252-252 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 457-457 |
|
SkinFn