No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 221-221 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 222-222 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 225-225 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 227-227 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 230-230 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 232-232 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 236-236 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 239-239 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 241-241 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 243-243 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 244-244 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 245-245 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 251-251 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 252-252 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 258-258 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 259-259 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 260-260 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 263-263 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 264-264 |
|
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-it.txt 267-267 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 268-268 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 285-285 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |