No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2463-2463 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2462-2462 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2461-2461 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57584-57584 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57583-57583 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57582-57582 |
|