No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 315-315 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 408-408 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 504-504 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 489-489 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 445-445 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 251-251 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 252-252 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 293-293 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 446-446 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 289-289 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 287-287 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 482-482 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 447-447 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 312-312 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 414-414 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 318-318 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 406-406 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 448-448 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 171-171 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 168-168 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 170-170 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 169-169 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 449-449 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 416-416 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 450-450 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |