No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11465-11465 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11464-11464 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 776-776 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11463-11463 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 794-794 |
|
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 793-793 |
|