| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 439-439 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 164-164 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 436-436 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 217-217 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 165-165 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 282-282 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 484-484 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 317-317 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 440-440 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 314-314 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 441-441 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 490-490 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 292-292 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 442-442 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 417-417 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 438-438 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 350-350 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 283-283 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 485-485 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 443-443 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 166-166 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 444-444 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 167-167 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 288-288 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 316-316 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
ro