ro |
appearance as argument number 1 |
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 |